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.

103 points by nextos 132 days ago blog.janestreet.com 4 comments

Summary not yet generated for this article.

Loading more comments... ⌛

Scroll down to load more comments

No comments available.