深入理解计算机系统
Randal E. Bryant
斯坦福算法博弈论二十讲
Tim Roughgarden
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Digital Minimalism: Choosing a Focused Life in a Noisy World
Cal Newport