Backlog
- Category Theory by Steve Awodey
- Compiler Optimizations for Scalable Parallel Systems by Pande and Agrawal
- Parallel and Concurrent Programming in Haskell by Simon Marlow
- TCP/IP Illustrated by W. Richard Stevens
- Retrocomputing with Clash by Gergo Erdi
- Analysis I by Terence Tao
In progress
- Introduction to Graph Theory by Douglas West
- Introduction to the Theory of Computation by Michael Sipser
- Modern C++ Programming Cookbook by Marius Bancila
Done
2025
- Static Program Analysis by Andres Møller and Michael Schwartzbach
- Linux Kernel Development by Robert Love
- Introduction to Linear Algebra by Gilbert Strang
- Operating Systems: Three Easy Pieces by Andrea and Remzi Arpaci-Dusseau
- xv6 by Russ Cox, Frans Kaashoek, Robert Morris
- Principles and Structures of FPGAs by Hideharu Amano
- Haskell Programming from First Principles by Christopher Allen and Julie Moronuki
2024
- The Book of Kubernetes by Alan Hohn
- Advanced Digital Design with the Verilog HDL by Michael Ciletti
- Computer Systems: An Integrated Approach to Arch and OS by Ramachandran and Leahy
- Designing Data-Intensive Applications by Martin Kleppmann
- Getting Started with FPGAs by Russell Merrick
- Rust for Rusteceans by Jon Gjengset
- 100 Go Mistakes and How to Avoid Them by Teiva Harsanyi
- Learn Go With Tests by Chris James
- Algorithms by Sanjoy Dasgupta, Christos Papadimitriou, and Umesh Vazirani
- The C Programming Language by Brian Kernighan and Dennis Ritchie
- A Philosophy of Software Design by John Ousterhout
- The Rust Programming Language by Steve Klabnik and Carol Nichols