Comment on Formal Methods and the Future of ProgrammingComments−Taikonerd2moDupe of https://news.ycombinator.com/item?id=48526633−gnabgib2moOther way around. Just an SCP fail (promoting an already popular story)
Comments
Dupe of https://news.ycombinator.com/item?id=48526633
Other way around. Just an SCP fail (promoting an already popular story)