[afhof]

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

[sigstoat]

spewing this quote with no context or further comment is just tedious FUD.

[jacquesm]

It 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]

Or that your compiler produces code equivalent to the (proven) correct C.

[eru]

Unfortunately, yes. For those knowing the context, the comment is actually a compliment: comparing the authors with Knuth.

[Shish2k]

There are people on HN who don't know the context of Knuth? :(

[eru]

People acquire culture, they aren't born with it.

Let's be welcoming.

[derleth]

This was said by Donald Knuth, in case anyone here doesn't know that specific bit of trivia.

[Someone]

Full story at http://staff.science.uva.nl/~peter/knuthnote.pdf. Does anybody know what the piece of typical Dutch furniture is?

[jacquesm]

At $10 my guess would be a milking stool.

[Someone]

That 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.

[stingraycharles]

I've read the article you've referenced but am unable to find the furniture you mention. At which page should I look?

[adsche]

Last page, third-to-last paragraph. (i.e. Figure 10, Page 2 of van Emde Boas's response.)

[jacquesm]

3rd to last paragraph at the bottom, last page.