Hacker Neus
Formal Methods and the Future of Programming
(blog.janestreet.com)
84 points
by eatonphil
6 hours ago |
24 comments
