Formal methods and the future of programming

Formal Methods and the Future of Programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
340 points by eatonphil 129 days ago blog.janestreet.com 117 comments
Summary not yet generated for this article.

Comments (117 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open