Posts
Promises are Almost Monads
Posted on:November 8, 2020Promises in JavaScript are almost monads. With ordinary values, they behave like monads. However, they have some edge behaviour that…
Deriving The Y Combinator
Posted on:October 23, 2020To 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
Posted on:October 16, 2020I’m continuously iterating on this recipe to get better results. My idea of perfect meatballs is a crispy coat, and the inside being just the…
Intuiting the Halting Problem
Posted on:October 12, 2020I’ve always struggled to understand an intuition of the proof behind the Halting problem. Reading the Little Schemer this weekend fixed that…
Type Variances (or, Why Maps Are Invariant in Its Key Type)
Posted on:October 6, 2020This is a short exploration of variances, with some hopefully easy-to-grok examples to elucidate some intuition, especially on the various…
Grand Seiko Steel Bracelet Adjustment
Posted on:September 19, 2020Adjusting a Grand Seiko steel bracelet is fairly straightforward once you know how to do it. All you need is a 1. 2mm screwdriver. I used the…
Custom Jooq Types
Posted on:September 7, 2020This is the second part of the two-part series on writing a custom Scala class to represent the tstzrange column type in Postgres. Find the…
Collocations
Posted on:August 31, 2020２年半間日本語を学んでいますが、語彙を増やす間、どんな自然な言い方ずっと迷います。例えば、英語は「going into madness」より「descend into madness」のほうがもっと自然な言い回しです。同様に、「descend into shock」より「going…