4 ms·

I like how the author rants that the existence of this bug as totally unacceptable then suggests instead using clang compiler "for those who [...] can tolerate

• btilly 16y ago
  And yet from my point of view there is a world of difference between, We have bugs that cause problems that we have decided we don't care about and We have bugs we are not yet aware of, but we are responsive when you find them. Even though I may encounter more bugs in the latter situation, I feel less pain when I encounter them. And I have the satisfaction that I'm somehow making the world a better place.
  • nervechannel 16y ago
    This is the first time I've heard someone argue that undocumented bugs are better than well-documented ones.
    • btilly 16y ago
      What can I say? There is a difference between errors of commission and omission. I much prefer the latter.
• primodemus 16y ago
  He also points to Compcert: a certified compiler for a subset of C. The compiler is specified, programmed and proved in Coq. It is a really impressive project: http://compcert.inria.fr/compcert-C.html http://compcert.inria.fr/compcert-C.html
  • rwmj 16y ago
    Compcert is great (it's by the same team who do OCaml). Unfortunately however it's not free software.