COMONO.id
Home Writing Contact
  • 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.

Links

  • Return to top
  • Tealeaves (Coq library)

Connect

  • dunnla@seas.upenn.edu
  • lawrence@comono.id
  • dunnl
  • Lawrence Dunn
Copyright © 2017—2021 by Lawrence Dunn.