10 min read
Claude Just Formalized Fermat's Last Theorem in Lean
Anthropic says an internal Claude research model formalized Fermat's Last Theorem in Lean over 11 days. Here is…
The Lab · Written in the open
Lab.
Working notes from the studio. The tools I build, the workflows I keep, the mistakes I paid for.
468 entries · latest 2026-10-21
9 min read
The Security Review Every RAXXO Tool Passes Before Launch
Every RAXXO tool, free or paid, passes the same five-check security review before launch. Here is the checklist…
9 min read
The Status Page Every RAXXO Tool Gets Before Its Landing Page
Why every RAXXO tool gets a public status page before it gets marketing copy, the five states it…
9 min read
The Sunset Checklist Every RAXXO Tool Gets Before I Retire It
The fixed checklist I run before I sunset any RAXXO tool, why three flat cycles beat one bad…
8 min read
GPT-6 Astra Runs 30.9 Minute Tasks. Codex Cannot Yet
UK AISI measured GPT-6 Astra at a 30.9 minute autonomous task horizon against 3.6 for Sol. Most solo…
15 min read
OpenAI Made Astra Harder to Watch and Shipped It
GPT-6 Astra is the first model OpenAI rates Critical for cyber. It also monitors worse than the model…
9 min read
GPT-6 Astra Costs 2.5x Sol. Here Is What You Get
OpenAI's GPT-6 Astra ships at 10 USD in and 50 USD out per 1M tokens. The benchmark wins…
9 min read
The Error Boundary Strategy That Keeps One Broken Widget From Taking Down the Page
One error boundary per widget, not one per page, keeps failures local
10 min read
Why Every RAXXO Tool Ships in Dark Mode First
A midnight screenshot showed a light-first build glowing like a broken browser tab. Why every RAXXO screen starts…
9 min read
Claude Fable 5.1 and Mythos 5.1: What Changed on September 1
Anthropic shipped Fable 5.1 and Mythos 5.1 on September 1. Here is what actually changes for Claude Code…
10 min read
The Empty State Every RAXXO Tool Needs Before I Call It Shipped
A blank screen on day one reads as broken, not empty. The three-part rule I now write before…
8 min read
NIGHTMILE Is Out: Apple Rejected It for a Leaderboard It Does Not Have
My iPhone drift racer is live. 27 days, 273 commits, two rejections, and the one about a leaderboard…