Donald Knuth Quotes
Beware of bugs in the above code; I have only proved it correct, not tried it.
Knuth, Donald E. Letter to Peter van Emde Boas. 22 Mar. 1977.
This principle is very important in all kinds of human activity. We design and test or pilot test products and programs of all kinds—governmental and not. The testing may uncover a flaw or problem, but the failure to find flaws or problems does NOT mean that they are not inherent in the program—they may well be there and have not been uncovered by the tests. Often when this occurs, we refer to them as “unintended consequences.”
Donald Ervin Knuth is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer science. Knuth has been called the "father of the analysis of algorithms".