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…

Grand Seiko Steel Bracelet Adjustment

September 19, 2020

Adjust­ing a Grand Seiko steel bracelet is fairly straight­for­ward once you know how to do it. All you need is a 1.2mm screw­driv­er. I…

Custom Jooq Types

September 07, 2020

This is the second part of the two-part series on writ­ing a custom Scala class to rep­re­sent the tstzrange column type in Post­gres. Find…