Rust LT #2 に参加してきました。 rust.connpass.com Rust書いたことなくて難しかったですがいい刺激になりました。Rustでなにか書いてみようと思いました。 タイトル 発表者 Rustを支えるインタープリター qnighy Rust の安全性を数学的に証明する 〜最新の…