Recent Posts

What to refactor

One Weird Trick To Improve Development Culture

You Could Have Invented Booleans

read more

Running Agda with Nix

read more

All Problems Are Hard

More

Thirty-two

Untriggered traps in zsh

Smoke v2.1 is out!

What to expect in an Interview Technical Test

All Posts