『進捗大陸 02』
from
進捗大陸
https://booth.pm/ja/items/666792
自作言語
Rill
と
WebAssembly
LLVM
を使ったWASMサポートとランタイム移植の話
再帰を持つ関数型言語の符号解析
抽象解釈を使って関数型言語の符号を解析するpart2
証明付き分散システムを作ろう！
Coq
の分散システム実装フレームワーク
Verdi
の紹介