Poddar
Topplistan
Prova Storytel gratis i 30 dagar
Ett universum fyllt av ljudböcker, klicka här för att komma igång
Reklam
#99: The Prusti Project: Formal Verification for Rust
Spela upp
Rust で使える静的検証ツールの論文を向井が読みました。
Om Podcasten
森田と向井がコンピュータサイエンス周辺の論文をなんとなく読んで感心する Podcast です。