3 ms·
"Beware of bugs in the above code; I have only proved it correct, not tried it."
by afhof 13y ago
"Beware of bugs in the above code; I have only proved it correct, not tried it."
- sigstoat 13y agospewing this quote with no context or further comment is just tedious FUD.
- eru 13y agoUnfortunately, yes. For those knowing the context, the comment is actually a compliment: comparing the authors with Knuth.
- jacquesm 13y agoIt serves as a reminder that even though this implementation has been proven correct that does not rule out bugs in the proof or in the method used to create the proof.
- gsnedders 13y agoOr that your compiler produces code equivalent to the (proven) correct C.
- derleth 13y agoThis was said by Donald Knuth, in case anyone here doesn't know that specific bit of trivia.
- Someone 13y agoFull story at http://staff.science.uva.nl/~peter/knuthnote.pdf http://staff.science.uva.nl/~peter/knuthnote.pdf. Does anybody know what the piece of typical Dutch furniture is?
- stingraycharles 13y agoI've read the article you've referenced but am unable to find the furniture you mention. At which page should I look?
- jacquesm 13y agoAt $10 my guess would be a milking stool.
- Someone 13y agoThat was my initial guess, too, but a) IMO, that is borderline furniture and b) it would surprise me if it were typically Dutch. Google gave me zillions of patents for milking stools (bucket attachments seem popular), but no definite answer to the latter question.