News for hackers. Stuff that matters.
Re:AI is forcing us to pay off 40 years of technical debt by phorkyas82 on Thursday November 05, 2026 @02:53AM (#50376368)
Were you aiming for this? “Program testing can be used to show the presence of bugs, but never to show their absence!” ― Edsger W. Dijkstra

Or the second one, that I would have attributed to Dijkstra, too: “There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies.” C.A.R. Hoare, The 1980 ACM Turing Award Lecture

Re:AI is forcing us to pay off 40 years of technical debt by raphlinus on Thursday November 05, 2026 @03:32AM (#50376659)
No, it's Knuth. The exact quote is "Beware of bugs in the above code; I have only proved it correct, not tried it." [1]

[1]: https://staff.fnwi.uva.nl/p.vanemdeboas/knuthnote.pdf