Posts tagged "programming"
understanding higher-kinded types - February 27, 12022
a little type theory
simple, type-safe string formatting in Haskell - November 8, 12021
without even dependent types
fromMaybe is Just a fold - July 29, 12021
I realized something neat today
happy-space: a whitespace-sensitive calculator - December 30, 12020
Is it terrible, or a bit cute?
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.