Hacker News Reader

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 a few bugs"

View on HN

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.

This is the first time I've heard someone argue that undocumented bugs are better than well-documented ones.

What can I say? There is a difference between errors of commission and omission. I much prefer the latter.

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

Compcert is great (it's by the same team who do OCaml). Unfortunately however it's not free software.

Reply on news.ycombinator.com