The ancients had only the books which they themselves wrote, but we have all their books and moreover all those which have been written from the beginning until our time.… Hence we are like a dwarf perched on the shoulders of a giant. The former sees further than the giant, not because of his own stature, but because of the stature of his bearer. Similarly, we see more than the ancients, because our writings, modest as they are, are added to their great works.
— William of Conches
Backlog
- Category Theory by Steve Awodey
- Practical SQL by Anthony DeBarros
- Static Program Analysis by Andres Møller and Michael Schwartzbach
- Logical Foundations by Benjamin Pierce and thirty-two others
- Compiler Optimizations for Scalable Parallel Systems by Pande and Agrawal
- TCP/IP Illustrated by W. Richard Stevens
- C++ Concurrency in Action by Anthony Williams
- Parallel and Concurrent Programming in Haskell by Simon Marlow
- Parallel Programming for FPGAs by Ryan Kastner, Janarbek Matai, and Stephen Neuendorffer
In progress
- Linux Kernel Development by Robert Love
- Introduction to Linear Algebra by Gilbert Strang
- Pearls of Functional Algorithm Design by Richard Bird
- The Little Book of Semaphores by Allen Downey
- Retrocomputing with Clash by Gergo Erdi
Done
2025
- 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