Recent Posts

One Weird Trick To Improve Development Culture

read more

You Could Have Invented Booleans

read more

Running Agda with Nix

read more

All Problems Are Hard

read more


read more


Untriggered traps in zsh

Smoke v2.1 is out!

What to expect in an Interview Technical Test

Mean Time To Recovery, as a lifestyle

All Posts