Formal Methods and the Future of Programming

2 comments

• Jtsummers 12 hours ago ago

  https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.

  [-]
  • dcre 10 hours ago ago

    Thanks, missed it!