| ▲ | Formal Methods and the Future of Programming(blog.janestreet.com) | |||||||
| 3 points by dcre 6 days ago | 2 comments | ||||||||
| ▲ | Jtsummers 6 days ago | parent [-] | |||||||
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active. | ||||||||
| ||||||||
| ▲ | Formal Methods and the Future of Programming(blog.janestreet.com) | |||||||
| 3 points by dcre 6 days ago | 2 comments | ||||||||
| ▲ | Jtsummers 6 days ago | parent [-] | |||||||
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active. | ||||||||
| ||||||||