3 ms·

This is thorough and overall really well done, but after reading through Part 1, I can't help but trot out Brian Cantwell Smith's "The Limits of Correctness" ht

• skybrian 9y ago
  Or as the poet put it, at best we have "imaginary gardens with real toads in them."
• pron 9y ago
  I'm the author of the post, and just last year I wrote a long post about the difficulty -- both theoretical and practical -- of software correctness[1]. People who understand formal methods know this, and treat the task with humility and pragmatism. Nobody's claiming that we can "just" write "correct" software whenever we like with just a few tricks. [1]: https://pron.github.io/posts/correctness-and-complexity https://pron.github.io/posts/correctness-and-complexity