3 ms·Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video]2 points by matt_d 2y ago