- The Lawless Guide to Monads - March 29, 2024 - functional programming
- Cryptographic protocol analysis with Verifpal - December 27, 2023 - cryptography, formal methods
- A couple of Readline incantations - June 10, 2023 - cli
- Avoid pushing in-progress changes - May 23, 2023 - git
- Short Introduction to SJCL - September 9, 2014 - cryptography, javascript
- Congratulations Adventurer - September 7, 2014