coord-e

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TemplateHaskell #-}

import Data.Functor ( void )
import Data.Vector ( Vector, (!?), fromList )
import qualified Data.Map.Strict as Map ( Map, lookup, insert, empty )
import Control.Monad ( forever, unless )
import Control.Monad.State.Strict ( MonadState, modify, get, put, evalStateT )

coord-e

• https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
• http://archive.dimacs.rutgers.edu/pub/challenge/sat/benchmarks/cnf/
• http://archive.dimacs.rutgers.edu/pub/challenge/satisfiability/benchmarks/cnf/
• https://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html

generator

• https://massimolauria.net/cnfgen/

coord-e

ラーメン

• 志恩
• 鶏々
• むじゃき
  • 美味しかった
• 清六屋
  • 味の評判はそんなによくないらしい？
    • が、ファンもいるらしい

• 遅くまでやっている

coord-e

for file in $(find . -name '*.hs' | grep src/); do sed -i 's/^module .*$/module '$(sed -e 's/.*src\/\(.*\)\.hs/\1/g' <<< "$file" | tr '/' '.')'/' $file; done

coord-e

git ls-files | grep '.hs' | grep -v -e '/Main.hs' | xargs -I% bash -c "cat % | grep where -n | head -n 1 | awk -F':' '{print \$1}' | xargs -I{} sed -n '1,{}p' % | grep -q '(' || echo %"

coord-e

IMAGE_NAME := amutake/satysfi:nightly
DIST_DIR := dist

SUDO := sudo
DOCKER := $(SUDO) docker
DOCKER_RUN := $(DOCKER) run --rm -v $(CURDIR):/satysfi $(IMAGE_NAME)

MAIN := main
SOURCES := $(MAIN).saty Makefile $(shell find sections/ -name '*.saty')

coord-e

class Num a {
  zero :: a
  sub :: a -> a -> a,
  neg :: a -> a = sub zero,
} in
instance (Num Int) {
  zero = 0,
  sub = sub_int,
  neg = neg_int,
} in

coord-e

Keybase proof

I hereby claim:

• I am coord-e on github.
• I am coorde (https://keybase.io/coorde) on keybase.
• I have a public key whose fingerprint is 08FB 6C8F 0FC9 A3F8 298E 407E 2538 9604 EFCF EC3C

To claim this, I am signing this object:

coord-e

uconv -x hiragana | xargs -I{} curl -s 'http://www.google.com/transliterate?langpair=ja-Hira|ja&text={}' | jq -r '[.[][1][0]] | join("")'

coord-e

The Lightweight Interactive View Representation

(pronounced as 'liver'!?)

Fast to show, in every platform.

Use cases

• Browser Rendering daemon which produces Livr from html