Formal methods and the future of programming
(blog.janestreet.com)
377 points
by eatonphil
5 days ago |
126 comments
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
