Formal Methods and the Future of Programming

(blog.janestreet.com)

68 points | by nextos 5 days ago ago