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