3 ms·
Is this basically what Dijkstra was saying? I've been thinking how his approach was considered impractical, but may eventually become necessary for security/sta
by andai 6mo ago
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 6mo agoThere was a good blog post recently along these lines: https://aybabt.me/blog/correctness-agentic-world https://aybabt.me/blog/correctness-agentic-world