Recent Posts

Running Agda with Nix

read more

All Problems Are Hard

read more


read more

Untriggered traps in zsh

read more

Smoke v2.1 is out!

read 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