text-is-saved

Gitlab-runnerでpdfをデプロイ

emacs(magit) -> git push -> gitlab-runner -> make -> nextcloud

macOS上のパッケージマネージャーnixの状況2017夏

Abor と rap: 6には勝てぬ

lua(la)texjaで細いフォントを使おう

newjfontfamilyでの設定について

Beamerで明朝

beamer + lualatexja-fontspec + Noto Sans CJK + Noto Serif CJK

Beamerでの行間の自動調整

そしてfontsizeによる自由なフォントサイズの調整

Lens memo

Control.Lensについてのメモ

Control.Lensについて以下のようなことを調べました：

• すぐ忘れてしまうLensによるリストやタプルに対す…

Version SAT とは

via reddit /r/haskell

A memo on `Haskell Type Equality Constraints’

Yet another thing to know in GHC type reasoning

A memo on `Speeding up a distributed computation in Haskell’

A story on Linux system calls: select, poll, epoll