Hacker News new | ask | show | jobs
Formal Methods for Rust Unsafe (antithesis.com)
4 points by wwilson 153 days ago