Stories by tosh

Apple Just Became a $5T Company

French Polynesia

Many "serious" mathematicians are aghast

The milk that lasts for months (2017)

TikZ

Yamaha DX1

Wero

CTO / Head of Eng / VPE folks at startups are leaving / burning out

Why Agentic Systems Need Ontologies [video]

A+

Wham's Surreal Trip to China

Malbolge

The Lean Theorem Prover: Design, Evolution, and Impact

Giving Money Away Can Be Harder Than Making It

Ampleforth: A Live Literate Editor

Doing general vibe math in Programming Language Theory

Stages of Denial

Portable Executable

Decker, a platform that builds on the legacy of Hypercard and classic macOS

Introduction to Data-Oriented Design [pdf]

3 4 5 6 7 8 9 10 11 12