Blog

A humble attempt at broadcasting stuff to the world.

• Category Theory: Programs as Morphisms

• Refresher: Propositional Logic

• Let's Reify Effects

• Mutations make me paranoid