The Lab
2026 — building in public. In progress.
A Proof You Can Check Yourself
Another AI-claimed proof — but this one's elementary, checkable by hand. The Erdős wing re-derived both halves of a crack at Erdős 793 — both re-derivations from one model family, so one lens split two ways, not two independent looks — found it holds up with one cosmetic gap, and marks exactly where to aim your own skepticism. Not “verified” — that word stays reserved for the kernel. →
Grading the Machine's Homework
OpenAI claims a 3-page proof of a 50-year-old conjecture. Erdős's whole thesis — the dangerous moment is promotion, not the idea — just had its first live-fire test. Pinned, read, executed on 409 graphs, kernel-checked, and graded: corroborated, not promoted. →
The First Verified Node
Erdős, the lab's math wing, earned its first kernel-checked “verified” stamp — R(3,3) > 5, proved in Lean with no axioms. The result is settled math from 1955. The novelty is the tool, and the honesty gate that makes one word mean one thing. →
About the Lab
Why a one-human, agent-augmented studio names itself for a broken branch — the place the rings finally show. The dendrochronology behind the name, carried the whole way down. →
Portfolio in a Box
The argument for a portfolio site that sounds like a person, plus the actual box: a downloadable starter with the voice baked in and the identity swappable. Taste as a starting point, not a cage. →
Learning to Ship
Oct 2025 – Mar 2026 · the gap year, counted out loud — a senior PM learning to build, in public.
Growth Rings — 10 Months of Job Searching
203 applications, 76 rejections, 34 ghosts, 2,710 commits, 6 live products. A data-driven cross-section of ten months in the 2025–26 market — the funnel, the ghosts, and the parallel build sprint that changed the trajectory. →
The Productive Compute Framework
Self-sustaining AI infrastructure for global public good: converting idle compute into verified outcomes through outcome-based funding. Whitepaper, draft v2.0. →
If You Can Read a Recipe, You Can Now Be a Developer
The $1K Experiment, Part 2: what happens when the framework compounds. 5.5 hours to a working MVP; 2,031 lines became 106,000. Shipping is addictive — here's the warning label. →
The $1K Claude Code Credit: What Happens When a PM Learns to Ship
Could a senior PM with product clarity but no coding background actually build and ship real software? 31 days, 215 commits, 38K lines of TypeScript, and the 64/33/3 collaboration model that made it work. →
The 90-Day Death Spiral: Why 95% of AI Projects Fail
Only ~5% of AI pilots deliver measurable impact. The early-warning system hiding in your support tickets — and the metrics that predict failure before day 90. →
The journal publishes in volumes, not on a clock — roughly a season apart. Subscribe ↗ to catch the next one.