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…

Type Variances (or, Why Maps Are Invariant in Its Key Type)

October 06, 2020

This is a short explo­ration of vari­ances, with some hope­ful­ly easy-to-grok exam­ples to elu­ci­date some intu­ition, espe­cial­ly on the…