Mathematics

Why Identity Is the Hardest Problem in Programming

Get identity wrong and it won't blow up where you wrote it

Aug 02, 2026

From seeing type checks as compiler hurdles to reading type systems as logic

Jan 25, 2026

Functors and monads: the magic that solves the problems ruining function composition

Jan 27, 2020

Math is just a tool — good developers grow through logic

Jul 17, 2019

Implementing a celestial simulation using Kepler's equation

May 03, 2017