Why formalize mathematics – more than catching errors

Why do Stanford math professors still use chalk? (2021)

Traveling Salesman Game

Every Artist Has a Favorite Subject. For Some, That's Math

KaTeX – The fastest math typesetting library for the web

OpenAI researcher announced GPT-5 math breakthrough that never happened

Lobsters community interview about programming, math, distractions, time management and computing for fun

Fast calculation of the distance to cubic Bezier curves on the GPU

Unfair Flips World Record Strategy

Unfair Flips World Record Strategy