📖 经典技术书籍
Designing Data-Intensive Applications
分布式系统与数据库内核的必读经典，深入剖析数据模型、存储引擎与分布式一致性。
分布式系统Computer Systems: A Programmer's Perspective
从程序员视角深入理解计算机系统，涵盖内存层次、链接、异常控制流等核心主题。
系统编程Engineering a Compiler
编译器工程的实践指南，从词法分析到代码优化，理论与实践完美结合。
编译原理Operating Systems: Three Easy Pieces
操作系统三大核心：虚拟化、并发与持久化，以清晰易懂的方式讲解 OS 原理。
操作系统Computer Networking: A Top-Down Approach
计算机网络经典教材，从应用层到物理层逐层剖析网络协议栈。
网络协议Introduction to Quantum Computing
量子计算与量子信息的权威教材，从量子比特到量子算法全面覆盖。
量子计算🛠️ 推荐工具
Rust 编程语言
零成本抽象、内存安全、无畏并发，适合构建高性能、高可靠性的系统软件。
编程语言Linux eBPF
无需修改内核源码即可安全运行沙箱程序，实现零侵入可观测性与网络处理。
Linux 内核TLA+ 形式化验证
用数学语言描述并发系统，通过模型检验发现设计缺陷，确保分布式协议正确性。
形式化方法LLVM 编译器基础设施
提供可复用的编译器组件，支持自定义编程语言快速构建优化编译器。
编译原理Coq 证明助手
基于依赖类型理论的交互式定理证明器，用于形式化验证程序正确性。
形式化验证Vulkan 图形 API
新一代跨平台高性能图形与计算 API，提供对 GPU 的精细控制。
GPU 编程