ciphertext.blog

Slow notes on unraveling opaque things: cryptography, typography, compilers, and whatever else looks like ciphertext until it doesn't.

XOR, Clifford, and Bottled Nonlinearity
Feb 16, 2026 · Stabilizers, Magic States, and Why T Gates Are Expensive
Leanly, Lightly: Proving IsZero
Jan 25, 2026 · What a tiny program can teach us about machines and correctness