Hacker News new | ask | show | jobs
by ElectricalUnion 1024 days ago
I thought that the current wave of compiler correctness checking, zero-cost abstractions, JIT compilers and speculative processor behaviour were all about removing those "unnecessary" runtime asserts and invariant checks to get better performance.