B blog.janestreet.com Formal methods and the future of programming 378 points eatonphil 4 months ago 126 comments
