ciphertext.blog

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

  1. Leanly, Lightly: Proving IsZero
    ยท What a tiny program can teach us about machines and correctness