Infinite Lists in Lean March 20, 2026

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