2022.07.25
https://gyazo.com/839831e7f65c0c9ac14fcfe95f2c2d3a
モーダス・ポネンス
#Dall-E
前：
2022.07.24
後：
2022.07.26
#日報
読んだ
テスト駆動開発から証明駆動開発へ JTF2019 / July Tech Festa 2019
https://speakerdeck.com/ytaka23/july-tech-festa-2019
チェシャ猫(@y_taka_23)
Verdi
https://github.com/uwplse/verdi
分散システム
の妥当性を
Coq
で証明するためのフレームワーク
Raft
が証明されている
いいね
バグで有名な大山のぶ代はブロック崩しゲームアルカノイドがうまい
人生を、“全面クリア”できます。
読んだ
東方智霊奇伝 反則探偵さとり 第四章 第四話
霊夢 こわすぎる