3 ms·
"Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth https://news.ycombinator.com/item?id=12761986 https://news.ycom
by raverbashing 6mo ago
"Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth
https://news.ycombinator.com/item?id=12761986 https://news.ycombinator.com/item?id=12761986 (being this link more than 10yrs old is not surprising)