4 ms·

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

• eru 13y ago
  Unfortunately, yes. For those knowing the context, the comment is actually a compliment: comparing the authors with Knuth.
  • Shish2k 13y ago
    There are people on HN who don't know the context of Knuth? :(
    • eru 13y ago
      People acquire culture, they aren't born with it. Let's be welcoming.
• jacquesm 13y ago
  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 13y ago
    Or that your compiler produces code equivalent to the (proven) correct C.