Intro to string diagrams for monads
December 12, 2021

String 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, 2021

Monads are often compared to containers (among a thousand other things). This post explores the analogy rigorously.

Using Hakyll as a Lightweight CMS
March 21, 2020

Building the UPenn PL Club website with Hakyll and elbow grease.

How Nix Derivation Instantiation Works
March 20, 2020

Nix uses a complex algorithm to determine store paths. I recreate some of these calculations in full detail.