Jtsummers
12 hours ago
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.
dcre
10 hours ago
Thanks, missed it!
Formal Methods and the Future of Programming
3 pointsposted 12 hours ago
by dcre12 hours ago
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.
10 hours ago
Thanks, missed it!