前回に引き続き、Wantedly に最近入社した @fetburner をゲストに迎えて、Coq を利用した定理証明について話しました。
https://github.com/fetburner/TypeInfer
https://github.com/fetburner/compelib/blob/master/lib/Regexp.v
https://github.com/AbsInt/CompCert
https://github.com/mperham/sidekiq/blob/v6.1.2/lib/sidekiq/launcher.rb#L126
59:43
コメント
こちらもおすすめ
-
Sideshow 2. Testing Programmers' Loyalty
texta.fm
-
14. 人のコードを読む
Today I Learned -シリコンバレーの現場から-
-
57: 料理で面倒くさいのは料理以外の全て with @ u_1f419
Pod de Engineer
-
39. 聴いているポッドキャスト、読んでるブログなどなど
Today I Learned -シリコンバレーの現場から-
-
#39 Keen / 雑談(Discord を Rust で作り直す / Node.jsのスーパープログラマの今 / FiraCode 文字だけでプログレスバーの表現を可能に) / 最高の一日を描いたら不安から抜け出せた！？(ep21前半)
ココナッツテック fm.Coconuts.tech
-
43: CPU は農業 with @fetburner
Pod de Engineer
スクロール