At the desk
Writing
Essays. Long-form, sparingly published.
Freedom as a Protocol Property
The politics of computation is often hidden in what the protocol remembers.
The Birthday Paradox
An entire family of attacks on cryptographic hash functions hides inside a parlour-trick about shared birthdays.
Rate Limits Without Identity
A good credential system lets a service say no without first learning who you are.
Proofs as Infrastructure
Formalization turns mathematical trust from a mood into a maintenance discipline.
The Collatz Map in Binary
Strip the zeros, then watch a carry ripple: the most famous open problem in arithmetic is a statement about bit-strings.
Demon-Oriented Methodology
The right lens for language models is not any modern technology. It is the ancient art of demon summoning.
Privacy vs. Security
The oldest argument against privacy is that it costs us security. The argument has it backwards.