Papers and manuals
- An Introduction to Programming in Emacs Lisp
- Bitcoin
- Computer Science from the Bottom Up
- Ethereum
- GNU Emacs Lisp Reference Manual
- GNU Emacs Manual
- GNU Guix Reference Manual
- Hack The College
- Hints for computer system design
- Live Migration of Virtual Machines
- NixOS - A Purely Functional Linux Distribution
- Organising knowledge with multi-level content
- Proceedings of the Linux Symposium
- Specialized Emacs Features
- The Design of Text Editors
- The Operating System
- The Purely Functional Software Deployment Model
- The UNIX-HATERS Handbook