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

Thirty-two

read more

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