Rust で使える静的検証ツールの論文を向井が読みました。
Misreading Chat は Jetpack Podcast で作成されています。 https://misreading.chat/ での完全なショーノートとすべてのエピソード
