Formal Methods and the Future of Programmingblog.janestreet.com
65 points by eatonphil 5 hours ago | 19 comments