Formal Methods and the Future of Programming

(blog.janestreet.com)

35 points by nextos4 days ago

1 comments

  • Taikonerd1 hour ago
    Dupe of <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48526633">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48526633</a>