Representable Functors

December 23, 2020

It took me a long time to grok rep­re­sentable func­tors (Chap­ter 14 of Cat­e­go­ry Theory for Pro­gram­mers), so I hope this post will…

Recent Git Branches

December 04, 2020

EDIT: A friend of mine sug­gest­ed an improve­ment to the below: which also has the added ben­e­fit of high­light­ing the cur­rent branch…

Promises are Almost Monads

November 08, 2020

Promis­es in JavaScript are almost monads. With ordi­nary values, they behave like monads. How­ev­er, they have some edge behav­iour that…

Deriving The Y Combinator

October 23, 2020

To this day I remain in awe of a book that con­tains both a whole page ded­i­cat­ed to peanut butter jelly stains and a deriva­tion of the Y…

Meatballs

October 16, 2020

I’m con­tin­u­ous­ly iter­at­ing on this recipe to get better results. My idea of per­fect meat­balls is a crispy coat, and the inside being…

Intuiting the Halting Problem

October 12, 2020

I’ve always strug­gled to under­stand an intu­ition of the proof behind the Halt­ing prob­lem. Read­ing the Little Schemer this week­end…