Hacker News new | ask | show | jobs
Soundness Pledge (raphlinus.github.io)
3 points by joebadmo 2347 days ago