-
Intro to string diagrams for monads
December 12, 2021String diagrams are a tool for reasoning about operations in monoidal categories. This post gives a basic introduction to the subject, particularly to visualize the bind operation and the Kleisli laws.
-
Yes, monads are container-like
November 13, 2021Monads are often compared to containers (among a thousand other things). This post explores the analogy rigorously.
-
Using Hakyll as a Lightweight CMS
March 21, 2020Building the UPenn PL Club website with Hakyll and elbow grease.
-
How Nix Derivation Instantiation Works
March 20, 2020Nix uses a complex algorithm to determine store paths. I recreate some of these calculations in full detail.