B blog.janestreet.com Formal Methods and the Future of Programming 107 points nextos 4 months ago 4 comments
