Every significant text I’ve read in chronological order.
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
- «Семья шпиона» Тацуи Эндо 🪆
- Modern C++ Programming Cookbook by Marius Bancila
Done
2025
- Introduction to the Theory of Computation by Michael Sipser 🐝
- Introduction to Graph Theory by Douglas West 🐝
- Goodbye, Eri by Tatsuki Fujimoto 🥈
- 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
Icon Legend
- 🥇,🥈,🥉: top texts of the year
- 🐝: was a textbook for a class
- 🎧: audiobook
- 🪆: in Russian
- 🗑️: unrecommendable