Formal Methods and the Future of Programming

1 comments

• Taikonerd 8 hours ago
  Dupe of https://news.ycombinator.com/item?id=48526633
  [-]
  • gnabgib 2 hours ago
    Other way around. Just an SCP fail (promoting an already popular story)