A minimal Astro blog.https://blog.calcraft.org/https://blog.calcraft.org/blog/haskell-and-category-theory-by-example/https://blog.calcraft.org/blog/haskell-and-category-theory-by-example/A practical tour through functors, natural transformations, Yoneda, and adjunctions in Haskell.Sat, 06 Jun 2026 00:00:00 GMThttps://blog.calcraft.org/blog/a-proof-of-yonedas-lemma/https://blog.calcraft.org/blog/a-proof-of-yonedas-lemma/A compact proof of Yoneda's Lemma with KaTeX-rendered notation.Tue, 02 Jun 2026 00:00:00 GMThttps://blog.calcraft.org/blog/keeping-a-small-surface/https://blog.calcraft.org/blog/keeping-a-small-surface/A note on choosing fewer moving parts when a project is still young.Sun, 31 May 2026 00:00:00 GMThttps://blog.calcraft.org/blog/notes-on-maintenance/https://blog.calcraft.org/blog/notes-on-maintenance/Maintenance gets easier when the ordinary path is also the documented path.Mon, 18 May 2026 00:00:00 GMT