2026

Infinite Lists in Lean
March 20, 2026

2025

Haskelling My Typst
December 27, 2025
Cosine in the BEST LANGUAGE EVER
May 9, 2025
RNG and Cosine in Nix
April 12, 2025
Haskelling My Python
April 5, 2025