ParentFull threadChrisGreenHeur·they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)View on HN