◈ 文章存档

写给 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 里用得顺手的那些，全是从这条河的上游流下来的。溯源走一趟，再把思想带回你自己的语言。含真类型推断、真惰性求值、真收缩引擎。

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

你以为你在修改一个对象，其实你只是让一个名字指向了另一个值。你的第一反应应该是「那不就是每次都复制一份吗，那得多慢」——这本书第 2 章就回答它：100 万个元素的向量改掉一个，整棵树 32,258 个节点里只新建 4 个，其余 32,254 个两个版本共用，顺便比复制一遍数组快 600 多倍。全书每个数字都和真 Clojure 1.12.4 逐字符核对过。

Elixir 与 BEAM 的生命体征

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

亲手造一门会跑的语言

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

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

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

插件系统是怎么造出来的

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

写给每次 rebase 都紧张的人的 Git 小书

你每天都在用 Git，闭着眼睛也不会错。但只要有人说一句「你 rebase 一下再推」，心里就会咯噔一下。问题出在一个几乎所有人都有的误解上：你以为 Git 存的是「每次改了什么」。其实它一条 diff 都没存——它存快照，而分支只是一张 41 字节的贴纸。把这两句吃透，Git 会当场从一堆要背的命令，变成一个你能推理的系统。

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

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

一本浮点数与数值稳定性的小书

你写下 0.1 的那一刻，机器已经欠了你 5.55×10⁻¹⁸。这个数小得可笑，所以大多数人对浮点数的认识止步于「0.1+0.2 有点怪」。可 1991 年同样的一次抹零让一枚拦截弹的窗口偏出 575 米；一份每笔都精确的一百万条流水，最自然的那种写法把账算差了 1.08 元。问题从来不是抹了多少，是它会不会被放大——而放大倍数一半写在问题里，一半写在你的算法里。

一本关于频域的小书

「傅里叶变换把信号分解成不同频率的正弦波」——这句话每个字都对，而且几乎没用。它没告诉你凭什么拆得开，没告诉你拆完为什么值得，更没告诉你为什么一台每秒采四万四千次的机器会听见一个根本不存在的声音。这本书只有一台机器：把一段信号缠到圆上，看质心跑到哪。二十章讲的都是这一件事，以及它每次被现实修正时你要付的账单。

一本反馈控制的小书

同一双手、同样的拧法，只把水管从一米换成八米：一种情况 28 秒调好水温，另一种永远调不好。你没变笨，水龙头也没变差——变的只有「你看到的水温是多久以前流出来的」。这本书讲一件事：你调的不是那台机器，是一个环；而让环失控的从来不是力气不够，是你看到的是过去。招牌是四个控制器，稳态误差全是 0、报表上一模一样，路上却是 0.0% / 0.0% / 44.4% / 回不来了。

一本排队与拥塞的小书

你的服务器还有 20% 的富余，用户已经在骂了。你的第一反应大概是加机器、优化代码、换更快的数据库——三件事都在打同一个靶子：速度。而你打错靶了。慢不是速度问题，是余量问题：等待 = 满的程度 × 不齐的程度 × 一次要多久，三个因子里只有一个是速度。招牌是同一份工作量的四种走法——同样忙 80%、同样吞吐、同样快的机器，平均等待从 0 到 22 个服务时长。

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

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

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

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

网络基础到 OpenWRT 实战

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

一本信息论小书

「明天太阳会从东边升起」和「明天奥克兰会下雪」，哪句含的信息多？差别不在句子里，在你脑子里。信息就是意外——你已经料到的部分，一个比特都不值。接受这一句之后，压缩、交叉熵损失、WiFi 提速、二维码抗污、内幕消息的价格、KPI 为什么必然失效，全都从同一个公式里长出来。招牌是一台真压缩器：同一个模型，算交叉熵得 352.4 比特，真编出来 354 比特。

一本因果推断小书

「相关不是因果」这句话你早就会背了。但它是一句止损的话，不是一句能用的话——它告诉你什么时候该闭嘴，从没告诉你什么时候可以开口。全书只有一个动作：看 ≠ 拨，而「拨」在图上就是把所有指向它的箭头剪断。招牌是同一份两万人的数据，四种控制变量的选法给出 −3.32、+4.96、+3.31、−4.81，真值是 +5.00——数据一个字节都没变。

一本博弈论与机制设计小书

你解过很多题，那些题有一个共同点：答案只由你决定。可是一旦桌上坐着第二个会算账的人，「最优解」这三个字就失去了意义，剩下的只有「最优应对」——而所有人的最优应对撞在一起的那一格，往往不是任何人想要的地方，只是没人能靠自己走开。招牌是一个纹丝不动的数字：把违规罚款从 10 提到 30，违规率稳稳停在 25%，掉下去的是查处率，从 33.33% 到 14.29%。

写给会 MySQL 的人的 PostgreSQL 小书

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

写给 AI 学习者的线性代数

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

写给「看 AI 玩游戏看入迷」的人的强化学习小书

一个小人在屏幕上抽搐、翻滚、脸着地，一分钟后它跑得比你还稳，而没有人教过它任何一步。这件事迷人和危险的地方是同一个：你不告诉它怎么做，你只告诉它什么算好——于是你唯一真正在写的代码，就是那个打分函数。给它「往前走就加分」，它学会一头栽出去；姿态分只看最后一帧，它学会当场趴下把身体摆正。它没有作弊，是你的规格写漏了。

一个智能体的自我拆解

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

写给开发者的 UI 设计小书

你写完一个界面，感觉「不太对」，但说不出哪里不对。问题不在那个蓝色：把一份真实业务代码丢进计数器，六个界面 44 个元素里有 18 个字号、24 种间距、25 个颜色——110 个当时随手定的数。设计师不是每次都选得比你好，是他们不每次都选。招牌是随手按 M 键，整页浮出红线，把这本书自己的间距、字号、对比度当场量给你看。

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

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

写给「会写 Compose，但不知道它什么时候重跑」的人

输入框每敲一个字整个列表都在重组，退出页面后上传任务还跑了十几秒，切到后台四秒白算四十次，旋转屏幕 Snackbar 又弹一遍——这四个 bug 是同一个问题的四个侧面。主线只有一句：你写的不是界面，是一个会被反复调用的函数，你要操心的是重跑时什么活下来、什么重算、什么被取消。

写给回归者的 Android 架构小书

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

写给 Compose 工程师的 Flutter 小书

你已经会一半了：声明式 UI 的思维方式不用重学。Flutter 要你多学的只有一件事——那棵你看不见的树。你每帧写的只是一张平摊的纸（Widget），框架照着折痕（Element）折出真正会量会画的东西（RenderObject）。招牌是一台真的 Element 同步器：一次 setState 之后，零个 Element 被销毁、零个 RenderObject 被重建；还有一台会算出「RenderFlex overflowed by 500 pixels」的约束求解器。补卷「手上」再补四章手上的活：两个类怎么写、一个页面怎么搭、外观怎么调、VS Code 怎么用——三台新引擎与本机 Flutter 3.44.8 逐位核对。

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

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

GLSL 着色器小书

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

写给 AI 时代的测试小书

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

一本能出声的乐理小书

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

一本会出声、也会量你手指的节奏小书

玩节奏天国老是懵掉，多半不是手慢。人听到声音再按下去要 150 毫秒，那是 9 帧、0.3 拍，而判定窗只有几帧宽——「听见了才动」在算术上就是死的。这本书会当场量你的手指，把「我打不好」拆成偏移、抖动、走位三个数：其中一个不用练，改个设置十分钟就能白拿九个百分点。

写给「相机一直挂在自动挡」的人的摄影小书

晚上朋友冲你挥手，拍出来手是糊的、脸偏橙、暗部全是颗粒——你说不出哪里不对，于是怪相机不好。但这四件事里只有一件和器材有关。主线只有一句：相机上没有一个旋钮只做一件事，你以为在调亮度，其实同时在决定时间被压扁多少、空间有多薄、画面有多脏。

写给零基础的日语小书

一本零基础日语小书，但它不假装你真的从零开始：日语常用汉字两千来个，你六岁就会写了——而读音接近于零。你的起点不是零，是歪的。所以第 0 步就是书名：把音和字对上。之后只要两台机器——助词是贴在词屁股后面的标签，活用是词尾在五十音图上滑一格。招牌是一台真的逆活用引擎，把「食べさせられなかった」一层层扒回「食べる」，这正是 Yomitan 的原理。

把判断换成规则的投资小书

你已经在定投了，这一步做对了——它把「什么时候买」变成了规则。问题出在另一半：「感觉高了就卖」，以及卖掉之后什么时候买回来。「稳」不是某个策略的属性，是你的方案里还剩几个需要你临场判断的零件。全书跑在沪深 300 全收益指数 2005–2026 的 258 个月真实数据上，一个数字都没编，包括那些对结论不利的。

写给 INFOSYS 722 的数据挖掘小书

这门课看起来像技术课，其实是流程与写作课：八个步骤 100 分里，真正跑模型的三步只占 40 分，而「解释」一步就吃掉 20 分。同一个 SDG 问题还要在 SPSS Modeler、Python 生态、AWS 上的 PySpark 三条产线上各挖一遍——所以那份 0 分的提案，决定了后面 100 分怎么走。28 个真引擎 Demo，正文里每个数字都是它们当场算的，包括那些对我不利的。