书库
这里整理完整译文、技术导读和长期阅读笔记。内容按主题分组，优先保留可以持续校对和复用的材料。
语言与函数式编程
- Category Theory for Programmers Scala Edition：范畴论与函数式编程。
- Programming in Haskell, Second Edition：Haskell 系统教程中文翻译。
- Learn Haskell by Example：通过示例学习 Haskell。
- Real World OCaml, Second Edition：面向工程实践的 OCaml 中文翻译。
- Elixir in Action, Third Edition：Elixir 中文翻译与学习笔记。
运行时与并发
- Crafting Interpreters：完整中文翻译与解释器实现导读。
- Rust Atomics and Locks：原子操作、内存模型与锁。
- Understanding the Odin Programming Language：Odin 中文摘录与读书笔记。
- xv6 RISC-V：操作系统源码导读与读书笔记。
系统、数据与桌面应用
- Practical File System Design with the Be File System：文件系统设计中文翻译。
- Database Design and Implementation, Second Edition：数据库内核设计与实现。
- Readings in Database Systems, 5th Edition：数据库经典论文导读。
- The Garbage Collection Handbook, Second Edition：垃圾回收中文摘录与读书笔记。
- GPUI 实战教程：用 Rust 构建高性能桌面应用。