Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
零信任网络: 在不可信网络中构建安全系统
Evan Gilman