A complete visual teardown of LLVM 23, taught from zero, where you run the real optimizer in a notebook, modify it with a pass plugin in ten seconds, and a solver proves whether the optimization you wrote is correct. Blueprints generated from TableGen, and a conformance scorecard attached.
visualization education compiler notebook optimization llvm ssa jit clang teaching colab code-generation formal-verification llvm-ir learning-resources manim tablegen alive2 compiler-internals llvm-internals
-
Updated
Sep 2, 2026 - Python