Compilers

A compiler can hide a backdoor in itself with no trace in any source. The limit of source-code review, and what reproducible builds do about it.

Your hardware and compiler reorder your program. What, fences, and acquire/release actually guarantee.

A named theory result sitting in the middle of every compiler backend, plus why the NP-hardness does not stop anyone. Part V's counterweight to all the type theory.

Sound approximation, made rigorous. The principled answer to the tradeoff Rice's theorem forces on you.

Two very different-looking formalisms, exactly the same power. Explains how a regex engine really works.

Four grammar classes, four machine classes, one ladder. Why you can't parse HTML with a regex, stated as a theorem.