Formal Methods and the Future of Programming
Posted 2 hours ago by
osener
2
points
https://blog.janestreet.com/formal-methods-at-jane-street-index/
0
comments