知识编译(Knowledge Compilation)
把理解成本从查询期搬到写入期的范式:源材料编译成持久结构后长期复用,而非每次提问重新推导。代价是写入变贵、偏差会被固化。
一句话定义
知识编译 = 用写入期的一次性算力换查询期的重复推导。理解发生在一个源进来时,产物长期有效;后续提问只读产物,不再从零重推。
比喻的来源与含义
实测事实:出自 Karpathy 原文两句 —— "The knowledge is compiled once and then kept current, not re-derived on every query.",以及 "Obsidian is the IDE; the LLM is the programmer; the wiki is the codebase."
中文圈把它升格为术语「编译型知识库」「知识复利」,这两个词原文都没有,属转述者包装。"知识复利"在原文里的对应表述是形容词:"the wiki is a persistent, compounding artifact."
编译器类比带来的工程推论
比喻不是修辞,它直接规定了要补哪些件:
| 编译器概念 | wiki 层对应物 | 状态 |
|---|---|---|
| 增量编译 | 源文件 mtime / SHA256 缓存,跳过未变材料 | nashsu、jackwener 均已实现;本库未实现 |
| 编译单元依赖 | sources: [] 溯源 + 双链图 | 本库 sources 字段刚引入,历史页待回填 |
| 重新编译 / 失效判定 | stale_after、date_modified 比对更新的源 | 本库只有原则,无自动检查 |
| 死代码消除 | 孤儿页、被取代内容折进 ## History | 本库 LINT 未跑过 |
| 版本控制 | "The wiki is just a git repo of markdown files." | 本库仅 1 个 commit,红利未取 |
| 结构校验 | 确定性 lint(坏链/frontmatter/basename 冲突) | 待落 90_SYSTEM/Scripts/ |
| 静态检查 vs 人工 review | Lint 标记矛盾 ↔ 人裁决 | 裁决权不能交给 agent |
成本模型:搬家,不是消失
- 朴素 RAG:写入 ~便宜(切块 + embedding,Cohere Embed v3 约 0.002/次,但每次查询重新理解。
- 知识编译:写入 ~贵(单源两步推理 + 联动改 5-15 页,我的推断:一篇 5k token 材料约耗 2-5 万 token 处理量),查询便宜且更快收敛。
原文给的真正成本不是钱,是簿记负担:"Humans abandon wikis because the maintenance burden grows faster than the value."
⚠️ 关键警告:编译不消灭成本,只是把它前移并集中。前移的代价是——写入期的错误也被前移并长期化了。所以编译型知识库必须自带保守通道(允许 agent 直接读原始材料)和人类终审。
组织级实证(目前最完整的一份)
Meta 工程博客(2026-09-02,明确引用 Karpathy):"We treat that maintenance as a compilation problem and automate it." 做法 = 可编译 diff + 并发影响分析 + 对抗式评审 + 确定性结构 lint + 盲回放 + SME 审批。规模 200+ 文件,每次查询省约 80% token。
这是"每查询省 token"方向唯一有量级的组织级数据;反面数据同样存在:语料扩到 20 万篇时工具调用次数 38.5→86.9、延迟翻倍以上(arXiv.05242)。
与相邻概念的分工
- RAG:检索期技术,不做持久理解。可与编译共存(长尾兜底)。
- Agent Memory:面向 agent 自身运行时状态,常为人不可读;编译产物要求人也读得懂。
- Context Engineering:更宽的父集——决定窗口里放什么。Context Engineering(上下文工程) 是运行时装配,知识编译是它的持久前置层。
- Zettelkasten:结构同源(原子卡片 + 链接 + emergeing 网络),但卡片盒要求亲手写卡即思考;本范式保留链接结构、外包写作。学术上游见 A-MEM(arXiv.12110,2025-02):"Following the basic principles of the Zettelkasten method, we designed our memory system…"
相关
LLM Wiki 范式 · Context Engineering(上下文工程) · Harness Engineering(代理治理工程) · 认知债务(Cognitive Debt)(编译掉的是簿记,别把判断力也编译掉)
互链
链接来自概念卡正文里的双链,编译时能解到本期词条集的才成为站内链接。
- 认知债务(Cognitive Debt)相关概念
- Context Engineering(上下文工程)正文引用
- Context Engineering(上下文工程)相关概念
- Harness Engineering(代理治理工程)相关概念
- LLM Wiki 范式相关概念
反链(2)
- LLM Wiki 范式正文引用
- LLM Wiki 范式相关概念
出现在哪些课时里(0)
判据与「课时正文里能不能点出来」是同一个:那一节确实提到了它。点课时走当前页跳转, 它是导航,不是词条链接。
还没有课时讲到这一条。它是词条跑在课程前面的那一部分,不是错链。
关联图
只画这一条与它直接相连的词条,边与上面两区同源。可拖拽、可缩放,点节点是新标签。
出处
路径是本地知识库(Obsidian 库)里的位置,正文与概念卡逐字对应。
- 概念卡原文知识编译(Knowledge Compilation)
03_RESOURCES/概念/knowledge-compilation.md - 所属知识地图栏目概念页索引 · 知识库与方法论
03_RESOURCES/概念/Index.md - 该卡声明的来源LLM Wiki 范式调研:使用、构建,以及与 RAG 的区别
03_RESOURCES/问答输出/llm-wiki-vs-rag-2026-10-02.md
编译入库:2026年11月2日。词条由知识库编译而来, 修正要回到概念卡改,再重新编译。