Hacker News new | ask | show | jobs
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes (gavinhoward.com)
2 points by gavinhoward 177 days ago