Blog Posts:

Why Functional Programming: My Emotions Laid Bare

A friend asks a harmless question and I ramble for 30 minutes.

On Profunctors, Abruptly

Disclaimer: This post reqiures a working understanding of functors in Haskell terms.

An Algebraic Data Type's Monad

I watched Dr. Emily Reihl’s Compose Conf talk1 last night and a new intuition emerged. The purpose of the talk was to explicate the categorical notion of a monad, and while watching it, I was struck with the realization of how a monad arises from an algebraic data type.

Homotopy Type Theory Desiderata

This is a thing I do. I like to learn things by finding the thing I want to learn, and then work my way down as I encounter unknowns, exposing layers like an epistemological onion — a truth vegetable.

On Descartes and Microservices

And other annoying shit I’ve just made up.

blog archive

In Brief:

I occasionally write things down for didactic reasons—or, simply because they're interesting to me—and they aren't always necessarily full blog post worthy. Those things are separated by weeks, can be found here.

Week of June 11th, 2018

Feb 19 2018

  • The Strange and Twisted Life of "Frankenstein"

Week of February 12th, 2018

  • The Art of Listening

Week of February 5th, 2018

  • Reading Bad
  • Poincaré on Intuition in Mathematics

Week of January 15th, 2018

  • "A Single Wand of Rusted Quince": On the Visionary Poetry of Bohuslav Reynek
  • Giants Add Another Face of Another Franchise
  • 2017: Two Cents
  • The RIO Monad