Writing

Two registers

One set of pieces explains Croom to anyone who can follow school algebra. The other is for people who want the arguments, the failure modes and the numbers. Nothing is simplified in the first set that is contradicted in the second.

Plain language

A price nobody decides

9 min

There is a global lottery that publishes an unriggable random number every three seconds. This is how you turn that into a price chart that behaves like a market — and why one stubborn rule about rounding is the thing holding the whole idea up.

Technical

We nearly broke our own fraud proof

11 min

We replaced an interactive bisection game with a one-shot disproof, and the argument for doing so was sound. The premise it rested on was not. An account of how a correct deduction from a false assumption nearly shipped.

More coming

Queued: what a stale floor costs you and why the specification has it backwards; what it costs to verify a beacon round on Monad and why that single number decided the architecture; and why three implementations in three languages agreeing bit-for-bit is a weaker claim than it sounds, unless you are careful about who wrote them.