Formal methods and the future of programming

 (blog.janestreet.com)

376 points | by eatonphil 3 days ago ago

128 comments