

It vomits a black box
no, it generates readable source code.


It vomits a black box
no, it generates readable source code.


The same argument can be made about calculators.


A JIT compiler generates code depending on the hot path driven by user actions - which are non-deterministic. The same happens when a compiler is deterministic but in a different way than developers think. Developers think they know what code is generated, but they don’t. A compiler translates a double loop or a stream into just one SIMD instruction - they think they know what code the compiler generates, but they don’t - so their trust in the compiler is for the wrong reasons. And even if compilers would be fully deterministic, and people would know the code they generate, compilers are so complex that determinism is not useful for verification - just because ‘someone’ looks at compiler output does not mean it’s correct.
https://www.tabulamag.com/p/non-determinism-is-not-the-problem
We have nurtured a culture of radical tolerance.
Some people have nurtured a radical intolerance against funding right extremism.
Conveniently ignoring the rest of the text. People don’t know what a c compiler will generate either, a minimal code change can trigger a different optimization, generating completely different output.