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

Feb 15, 2018

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

Aug 2, 2017

I watched Dr. Emily Reihl’s Compose Conf talk^{1} 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.

May 23, 2017

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.

Feb 2, 2015

I finally got around to watching the SyncFree consortium’s talk about their work on CRDTs at RICON 2014. Or at least half of it, rather, and I was really struck by their Bounded CRDTs idea. The idea of a bounded CRDT is this: using a predefined *invariant*, you allow a certain count of “interactions” per replica. They are likened to leases or reservations in the talk. I like reservations better: