Recent Posts

Running Agda with Nix

read more

All Problems Are Hard

read more

Thirty-two

read more

Untriggered traps in zsh

read more

Smoke v2.1 is out!

read more

More

What to expect in an Interview Technical Test

Mean Time To Recovery, as a lifestyle

Teaching a Machine to Code, at NewCrafts Paris 2019

Running Swift without Xcode

All Posts