top | item 46935369 (no title) ChrisGreenHeur | 21 days ago they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers) discuss order hn newest whoisthemachine|21 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?
whoisthemachine|21 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?
whoisthemachine|21 days ago