Explore

Pick a direction. Each one below is a real, connected path through work that's already built and verified — not a flat list of pages, a story with a beginning and an end.

The Poker Engine

Generate a realistic population, then watch tilt actually get detected in real time — two real, interconnected tools, plus the story of a bug found in one and fixed live.

1. Population synthesis→ 2. Generate one yourself→ 3. The tilt detector, and the real bug in it→ 4. Watch it run live

The Proof Chain

The full mathematical argument, in the order it was actually built — including the honest gaps in the version history and a real, hand-checked correction to a formal theorem.

1. v1.0 — where it started→ 2. v3.7 — the current proof→ 3. The real lineage to Pearl's do-calculus→ 4. Where the theorem had a real gap, and the fix

The Verification Trail

Not "trust the architecture" — watch it get attacked. A real adversarial test against two alternatives, then five separate claims wired together and tested as one system.

1. What gets audited, and how→ 2. 500 adversarial calls, real numbers→ 3. Five claims, one real scenario

The Teaching Engine

The reasoning discipline the whole site runs on, then the real curriculum built from it, then the actual working tutoring system, then the argument for why constraint made all of it better rather than worse.

1. Core Principles→ 2. The 12-week curriculum→ 3. Wayfinder, working→ 4. Why the constraints were the point

The Backtesting Engine

Why "it worked on past data" is the wrong question, explained plainly, then two real, honestly-scoped examples of doing it right — including one with a synthetic-data disclosure stated up front.

1. Why walk-forward, plainly→ 2. Build and test a real strategy→ 3. A second domain, disclosure stated up front

← Or just browse everything from the homepage