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