my emacs config.
Following an embarassing conversation, I must remind the reader that horology != astrology. ↩︎
Solving Knights and Knaves with Z3
Notes on Category Theory for Programmers
Emacs Config
Faster Command Line Tools in Golang?
A guide to disassembling the Ricoh GR for sensor cleaning
A mathematician, a physicist and an engineer...