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