Formal Methods and the Future of Programming
68 points
5 days ago
| 1 comment
| blog.janestreet.com
| HN
▲
Taikonerd
5 hours ago
[-]
Dupe of https://news.ycombinator.com/item?id=48526633
reply
▲
gnabgib
18 minutes ago
[-]
Other way around. Just an SCP fail (promoting an already popular story)
reply