Formal Methods and the Future of Programming

 (blog.janestreet.com)

80 points | by eatonphil 5 hours ago

23 comments