- A Sad Story About the Meaning of 'Constant Time' [dsp-4S2I]
- Zeros, Stacks, and Paranoia [dsp-7M4Z]
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions [dsp-0014]
- The Hauntology of Functional Programming [dsp-0008]
- On Descartes and Microservices [dsp-0004]