[andai]

Is this basically what Dijkstra was saying? I've been thinking how his approach was considered impractical, but may eventually become necessary for security/stability reasons the way things are going. (Seems like new zeroday on HN front page every day now.)

[pramodbiligiri]

There was a good blog post recently along these lines: https://aybabt.me/blog/correctness-agentic-world