Hacker News new | ask | show | jobs
Formal Methods and the Future of Programming (blog.janestreet.com)
3 points by osener 44 days ago