Formal Methods and the Future of Programming

Posted 7 hours ago by eatonphil
100 points

https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1

14 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..