Hacker News new | ask | show | jobs
by ChrisGreenHeur 138 days ago
they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)
1 comments
whoisthemachine 138 days ago
Ok, but we treat them as bugs that we can reproduce and assume that they are solvable? We don't just assume that it's intrinsic to the compiler that it must have bugs, and that they will occur in random, non-deterministic ways?
link