Deriving The Y Combinator
To this day I remain in awe of a book that contains both a whole page dedicated to peanut butter jelly stains and a derivation of the Y…
Meatballs
I’m continuously iterating on this recipe to get better results. My idea of perfect meatballs is a crispy coat, and the inside being…
Intuiting the Halting Problem
I’ve always struggled to understand an intuition of the proof behind the Halting problem. Reading the Little Schemer this weekend…
Type Variances (or, Why Maps Are Invariant in Its Key Type)
This is a short exploration of variances, with some hopefully easy-to-grok examples to elucidate some intuition, especially on the…
Grand Seiko Steel Bracelet Adjustment
Adjusting a Grand Seiko steel bracelet is fairly straightforward once you know how to do it. All you need is a 1.2mm screwdriver. I…
Custom Jooq Types
This is the second part of the two-part series on writing a custom Scala class to represent the tstzrange column type in Postgres. Find…