“Beware of bugs in the above code; I have only proved it correct, not tried it.”

— Donald Ervin Knuth

Donald Knuth's webpage http://www-cs-faculty.stanford.edu/~knuth/faq.html states the line was used to end a memo entitled Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977)

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Beware of bugs in the above code; I have only proved it correct, not tried it." by Donald Ervin Knuth?

Donald Ervin Knuth32

American computer scientist 1938

Paul DiLascia (1959–2008) American software developer

1995/6
About Microsoft

“The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.”

C. A. R. Hoare (1934) British computer scientist

How Did Software Get So Reliable Without Proof? Lecture Notes in Computer Science vol 1051 1996 pp. 1-17 : FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings.

“In the months before I made wiki, we had been having an argument. I think Kent Beck and I were on one side. People who had a lot of faith in the prevailing dogma of software engineering were on the other side. We said, "Collective code ownership is good." They said, "That's ridiculous. You'll never get responsibility. You'll never get quality if you don't have responsibility. And the only way you'll get responsibility is ownership. You have to pin the bugs back on somebody if you want them to ever rise above producing bugs."”

Ward Cunningham (1949) American computer programmer who developed the first wiki

And I said, "Well that's wrong."
A Conversation with Ward Cunningham (2003), Collective Ownership of Code and Text

“No moral code is right, correct, true. That's nihilism. And we have to accept it.”

Alexander Rosenberg (1946) American philosopher

The Atheist's Guide to Reality (2011)
Context: Scientism starts with the idea that the physical facts fix all the facts, including the biological ones. These in turn have to fix the human facts—the facts about us, our psychology, and our morality. After all, we are biological creatures, the result of a biological process that Darwin discovered but that the physical facts ordained. As we have just seen, the biological facts can't guarantee that our core morality (or any other one, for that matter) is the right, true, or correct one. If the biological facts can't do it, then nothing can. No moral code is right, correct, true. That's nihilism. And we have to accept it.

“When program developers are not territorial about their code and encourage others to look for bugs and potential improvements, progress speeds up dramatically.”

Gerald M. Weinberg (1933–2018) American computer scientist

M. B. Douthwaite (2002) Enabling Innovation: A Practical Guide to Understanding and Fostering Technological Change. p. 116