Stories by godelski

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad

It's Not the Incentives (2018)

Only Glass Nuclear Reactor [video]

Fundamental Components of Deep Learning (category theory) [pdf]

The Mechanical Integrator – A Machine That Does Calculus

Android leaks some traffic even when 'Always-on VPN' is enabled

Modern CLI Tools

Training Compact Transformers from Scratch in 30 Minutes with PyTorch

Nicolas Bourbaki: The Greatest Mathematician That Never Existed

Visualizing Voting Methods and Spoiler Effect

STAR Voting

Arrow's Impossibility Theorem (Voting Mathematics)

The Fable of the Dragon-Tyrant (CGP Grey)

Ask HN: Does your iPhone's hotspot stay on?

Please, John Oliver, Please Talk to a Real Nuclear Scientist

Ask HN: Missing FCC comments?