Rustconf
Attended RustConf 2026 and gave a talk on Verifying the Rust Standard Library, where I announced the winners from the past year. Recording coming soon.
Attended RustConf 2026 and gave a talk on Verifying the Rust Standard Library, where I announced the winners from the past year. Recording coming soon.