Formal methods and the future of programming
Article URL: https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1
Comments URL: https://news.ycombinator.com/item?id=48526633
Points: 148
# Comments: 50
Article URL: https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1
Comments URL: https://news.ycombinator.com/item?id=48526633
Points: 148
# Comments: 50