Formal Methods and the Future of Programming(blog.janestreet.com)36 points by nextos 4 days ago | 1 comment