写给 Kotlin/Java 工程师的 Go 小书

你写了很多年做加法的语言。Go 反过来——没有继承、没有异常、没有构造函数、连循环都只剩一个 for。学 Go 不是学新东西，是一次「卸载」：把 Kotlin 塞给你的每个反射一个个放下，删到最后它只郑重塞回你一样东西——便宜到能开一万个的并发。

写给每次都被劝退的人的 Rust 小书

你不是学不会 Rust，你是每次都在同一堵墙前被弹回来。这本书把那堵墙拆开：墙后只有一句话——一个值任一时刻只有一个所有者，要么很多人一起读、要么一个人独自写。招牌是一台真的借用检查器，你改一行它当场重判。

写给 Android 老兵的 Kotlin 进阶小书

写给「已经会用、但没吃透」的 Kotlin 老手：反编译看真身、value class 的装箱边界、inline 与非局部返回、协程状态机与 Job 树、Flow 背压，以及 K2 之后你错过的一切（2.0 → 2.4）。

你用过的每个好特性的原产地

sealed class、Optional、模式匹配、不可变集合——你在 Kotlin/TS 里用得顺手的那些，全是从这条河的上游流下来的。溯源走一趟，再把思想带回你自己的语言。含真类型推断、真惰性求值、真收缩引擎。

Elixir 与 BEAM 的生命体征

从语言入门一路通向「在线 Debug」那个传说：模式匹配、管道与 Enum，进程、GenServer 与监督树，最终连进一个活着的生产节点，掏状态、下追踪、热换代码。

亲手造一门会跑的语言

通往《Crafting Interpreters》的最短一程。从扫描器、递归下降解析器、树遍历求值器，一路造到字节码虚拟机——整台解释器用 JS 真写出来、就在网页里跑，你敲一段 Lox，亲眼看它源码 → 记号 → 语法树 → 值 走完全程。

从 Racket 出发，重新理解你每天写的语言

不是让你转去写 Lisp，是让你看穿自己每天在写的东西：闭包捕获的是盒子不是值，async/await 的祖先叫续延（Kotlin 的 Continuation 就是它）。最后你会亲手写出一个能跑 (fact 5) 的元循环求值器。与《解释》成对。

插件系统是怎么造出来的

作者互不相识、代码没一起编译过，凭什么装上就能用？答案是：插件系统是一笔关于信任的交易。先拆开 Mihon、Chrome、VS Code、IntelliJ、Obsidian 五家，再亲手造一台真宿主——你会真的看着一个插件用三行代码逃出沙箱。

写给应用层工程师的操作系统小书

你的程序有一个从没被质疑过的信念：这台机器是我的。CPU 是我的，内存是我的。这些全是假的——你的循环每秒被打断上千次，而你这辈子一个真实的物理地址都没碰过。操作系统的全部工作，就是维持这个骗局。这本书把它一层层拆开，最后交给你一张价目表：每一次跨越那道线，到底要付多少钱。

并发、异步与同步的一本小书

先把六个被混用了二十年的词钉死：同步/异步、阻塞/非阻塞、并发/并行是三组正交的问题。再一路拽到底——内核的 epoll、CPU 的缓存行与竞态、Kotlin 的 suspend 状态机、Go 的 GMP 与 channel 背压、Python 的 GIL 与 asyncio。

从凯撒到量子的密码学小书

面向 Android 开发者的密码学入门到精通：古典密码、AES、哈希、RSA、椭圆曲线、TLS，落到 Android 实战，再走到 Web3 与后量子。

网络基础到 OpenWRT 实战

从 TCP/IP 分层、路由与 NAT 一路讲到亲手配一台 OpenWRT 路由器——把「网络」这个词从抽象名词变成你机柜里那个会闪灯的东西。

写给会 MySQL 的人的 PostgreSQL 小书

MySQL 是个好脾气的伙伴——非法日期悄悄变 0000-00-00、超长字符串悄悄截断，把你的错误吞下去若无其事。PostgreSQL 只有一种脾气：不合规就当场拒绝。招牌是两台真引擎：查询计划器与 MVCC 事务模拟器，正文里每个成本都是它当场算的。

写给 AI 学习者的线性代数

向量、矩阵、行列式、特征值、SVD、PCA，一路讲到神经网络前向传播、Attention 与 LoRA。每个概念都回答同一个问题：这在 AI 里到底用在哪。14 个可拖拽的 Demo，公式与画布双色互指。

一个智能体的自我拆解

一本由 AI Agent 亲自口述的 Agent 开发小书：从模型、工具、循环，到 MCP、上下文工程、多智能体、提示注入、成本工程与编码 Agent 的原理，并落到 Android 接入与 Agent × Web3。

从一个念头到一款做完的游戏

你看完了 Godot 教程，会拖节点、会写 _process。然后你新建一个空项目，坐了二十分钟，什么也没写出来。问题不在你：「好玩」不是形容词，是可以拆开的。招牌是一台真的平台跳跃引擎——十二个手感开关全关全开，物理常数一个都没改。

写给回归者的 Android 架构小书

离开一年半回来，你会发现骨架没变、地基全换了：返回栈被 Navigation 3 还给了你自己，Compose 编译器并进了 Kotlin。用 Now in Android、Mihon、DroidKaigi 三个真实项目对照三档流派，最后给一份可直接抄的项目骨架。

从 Android 工程师到 Web3 全栈开发者

以 Android 开发者的直觉入门并深入 Web3：区块链原理、Solidity 与 EVM、Foundry 工程化、dApp 前端、Android 原生集成、DeFi 与 L2。

GLSL 着色器小书

从 GPU 的心智模型到 Android 实战：SDF、噪声、乐高马赛克、毛玻璃、AGSL 与游戏 Shader。37 个 Demo 全部可实时编辑，改一行当场看见。

写给 AI 时代的测试小书

AI 只会给你它「确信」的答案——它不知道对错，只知道它以为的对错。你无法证明代码是对的，只能想办法让它当场露馅，这就是证伪。从单元测试一路走到属性测试、变异测试与覆盖率的谎言，落到 Android 与 Web 的具体工具链。

一本能出声的乐理小书

副歌一起来就起鸡皮疙瘩，走调了立刻皱眉——这些判断全是对的，只是没人告诉过你它们叫什么名字。这本书是会响的：纯律和平均律差在哪？直接放那个「哇——哇——」的拍频给你听。全程浏览器现场合成，不加载任何音频文件。