Empirical Boundaries of Undecidability, Compiler Limit Archaeology & Hardware Memory Models — type-level Turing machines, differential soundness research across 11 compilers, and litmus science on Apple Silicon, Linux x86 & GPU
linux typescript clang rustc turing-completeness random-matrix-theory memory-models differential-testing type-systems riemann-hypothesis soundness apple-silicon quantum-chaos compiler-bugs compiler-engineering
-
Updated
Sep 29, 2026 - TypeScript