water you thinking about / aqua penses-tu ?
aka the dannals
what i use - March 21, 12022
a list of the software that i rely on
understanding higher-kinded types - February 27, 12022
a little type theory
investment vs speculation - January 30, 12022
presenting two definitions from my dictionary
Singer's dilemma - November 27, 12021
Are other animals like humans, or aren't they?
simple, type-safe string formatting in Haskell - November 8, 12021
without even dependent types
the issues I wish we cared about - September 27, 12021
in which I unironically make proclamations about what's really important
fromMaybe is Just a fold - July 29, 12021
I realized something neat today
the politics of fair representation - July 14, 12021
why history repeats itself
happy-space: a whitespace-sensitive calculator - December 30, 12020
Is it terrible, or a bit cute?
When markets don't work - August 20, 12020
How many roads must a plan knock down?
git branch --delete master - August 4, 12020
Renaming a git default branch is easy.
Strict aliasing in GCC - December 22, 12019
How often do you defend your compilers?
How to stop yourself from force-pushing to `master` - August 30, 12019
Be a better team player with git hooks.
The correct answer to `8 ÷ 2(2+2)` is 1 - August 5, 12019
Finally, I put an end to this misconception.
A better way of thinking about proportional representation - December 1, 12018
A topical post related to the B.C. referendum
What is absolute pitch? - November 16, 12018
I use a colourful analogy to explain my understanding of this phenomenon.
danso.ca and this blog - April 14, 12018
I made a website.
Maybe you would rather see all topics?
Subscribe using Atom.