Grasping the last moment of silence that concludes a violent year.
Latest blog posts
Trying to add a proper lock to your favorite toolchain manager.
Convince the prover that your function will terminate.
The extremely simple macOS input source switching daemon behind the scenes.
Same scratchpad, different day.