Posts

The Boeing Engineer and the 700 GitHub Math Proofs

OpenAI released 700 mathematical proofs to GitHub this week. The math community is debating legitimacy. The engineers are already running simulations. They always decide first.
Read more

Boston Dynamics Through the Years: A Timeline

Boston Dynamics has spent thirty-four years building robots the world couldn't stop watching — and couldn't figure out how to buy. Three owners later, that may finally be changing.
Read more

The Trial of Impuro

A complete transcript of the trial of Impuro, who generated, before the Third Chamber of the Walled City. The Judge had strong opinions about figs. The sentence was severe. Lunch was discussed.
Read more

Outside the Gates

A deadpan historical inquiry into ritual impurity, ancient settlement customs, and the special designation reserved for those who publish AI-generated content.
Read more

Kagan and Soai Win the 2026 Nobel Prize in Chemistry

Henri B. Kagan and Kenso Soai win the 2026 Nobel Prize in Chemistry for solving a 160-year-old mystery about why the molecules of life choose one mirror image over the other — and transforming the entire architecture of modern medicine in the process.
Read more

OpenAI: The Mathematical Proof Machine

OpenAI has released machine-verified proofs of hundreds of open mathematics problems to GitHub, bypassing traditional peer review with Lean 4 certificates anyone can run. The pace of mathematical publication has never looked like this before.
Read more