Hacker News new | ask | show | jobs
Formal Methods and the Future of Programming (blog.janestreet.com)
3 points by dcre 44 days ago
1 comments
Jtsummers 44 days ago
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.
link
dcre 44 days ago
Thanks, missed it!
link