Posts tagged "math"

• understanding higher-kinded types - February 27, 12022

  a little type theory

• happy-space: a whitespace-sensitive calculator - December 30, 12020

  Is it terrible, or a bit cute?

• The correct answer to `8 ÷ 2(2+2)` is 1 - August 5, 12019

  Finally, I put an end to this misconception.

• What is absolute pitch? - November 16, 12018

  I use a colourful analogy to explain my understanding of this phenomenon.