From seeing type checks as compiler hurdles to reading type systems as logic
Jan 25, 2026
Math is just a tool — good developers grow through logic
Jul 17, 2019
