同构惊讶 9 · 具体 9 · 可行 7

Intel 8086 手册（1979 Family User Manual §2.5）规定 IVT 前 32 个 entry（0x00-0x1F）“reserved by hardware for CPU exceptions”——其中只有 5 个被 8086/8088 实际使用（Divide Error, Single Step, NMI, Breakpoint, Overflow），其余 27 个在 IBM PC BIOS 1981 设计时被”借用”为 BIOS 中断。这是硬件层面的”copy-on-write core”：32 reserved = 128 bytes = 1KB 之内的 12.5% 是只读的常量空间。Craddock 1995 Marine Biology 124:137-146 测东太平洋 hydrothermal vent mussel Bathymodiolus thermophilus 的 7 个 allozyme loci（Aat-1, Apk, Gpi, Hk, Mpi, Pgm, Sod）——每个 locus 是固定的”位分配单位”，7 loci × 2 alleles × 2 bits = 28 bits per individual = 1KB 之内的 0.34% 物理位。两者共享”小量 reserved 空间 + 大量 free 扩展空间”的同一份 1KB 物理布局：8086 IVT 32 reserved / 224 free = 12.5%/87.5%，Craddock 1995 7 loci reserved / 6 polymorphic loci free = 53.8%/46.2%——两份”位分配工程”在 1KB 之内的同一道取舍题。

如果要做在 1KB 网格（32×32 cells）上把 8086 IVT 前 32 entry 标记为 “reserved”（128 cells）+ Craddock 1995 7 loci 各占 4 cells 标记为 “loci”（28 cells）——会发现 1979 chip designer 用的 12.5% 物理位与 1995 systematist 用的 0.34% 物理位的”reserved”和”loci”是同一份”高占用低密度”工程取舍，但都落在 1KB 物理约束内。

同构惊讶 8 · 具体 8 · 可行 7

Unix V6 (1975) Thompson & Ritchie 的 fork() 系统调用原始版本是”完整复制父进程内存页”；1980s 后期 Berkeley/CMU 把 fork() 优化为 copy-on-write：父子进程共享同一物理页直到任一方写入时才真正复制——这正是 1985 之后 Plan 9 rfork 进一步发展的”按需复制”哲学。Lions 1977 “Commentary on the Sixth Edition UNIX Operating System” 是 V6 fork() 实现的”标准注释”——他在 §13.1 写”the new process shares the same text segment as the parent”，这是 pre-COW 的 naive 复制。COW 优化在 1990s Linux 2.0+ / FreeBSD 4.0+ 才稳定。Craddock 1995 Marine Biology 124:137-146 测东太平洋 Bathymodiolus thermophilus 7 个 allozyme loci 的 gene flow，发现 hydrothermal vent 之间”founder flush”模式——幼体扩散到新 vent 时只带”subset of alleles”，新 vent 种群与源种群”共享同一份 population allele pool 直到环境压力触发 allele frequency shift”——这是 population genetics 的”copy-on-write”：新 vent 种群不复制全部等位基因库，只在 local selection 触发时”按需写入”新的 allele frequency。

如果要做拿 Lions 1977 §13.1 V6 fork() 注释 + Craddock 1995 Fig 2 allozyme frequency matrix；写 1 个 Python 模拟：父进程/子进程 = 源 vent/新 vent，shared pages = shared allele pool，COW 触发 = local selection pressure；会发现 Craddock 1995 7 loci 的 Na/He/Ho 统计在 1980s V6 fork() 与 1990s COW fork() 之间呈现同一份”shared-until-write”频率分布。

方法论惊讶 8 · 具体 9 · 可行 6

Lions 1977 “A Commentary on the Sixth Edition UNIX Operating System” 是 Unix V6 源码（13,000 行 C + 汇编）的”手写逐行注释”——1977 年由 UNSW 内部印刷，1996 年才由 Peer-To-Peer Communications 公开发行 ISBN 978-1-57398-013-5。Lions 在 §5 写的”copy-on-write 不存在，fork() 是 naive 完整复制”在 1985-1995 的 COW 优化浪潮中成为 reference point。Avise, Nelson, Sibley 1994 “Why one-kilobase sequences from mitochondrial DNA fail to solve the hoatzin phylogenetic enigma” Mol Phylogenet Evol 3(2):175-184, DOI 10.1006/mpev.1994.1019, PMID 8075835 是 1994 时代分子系统学的”1KB 注释”——论文标题里直接写”one-kilobase”，意味着 1KB 是 1994 mtDNA 测序的”原子单位”。两本”手写注释”在 1977-1994 的 17 年里都成了各自领域的”reference point”：Lions 1977 是 Unix 教学的 25 年标准，Avise 1994 是 mtDNA barcoding 时代的”开山论文”——它们的工程意义都在于”在资源极度受限（V6 1MB total memory / 1994 1KB per sequencing reaction）的时代，把’不可分割的工程事实’写成’可被后续引用的 reference’，这就是 COW 的 reference 端——把’静态核心’写成’不可修改的注释文本’，把’动态扩展’留给后人。

如果要做把 Lions 1977 §5 fork() 注释 + Avise 1994 §1 “1KB per sequencing reaction” 注释并排印在 1 张 A4 纸上——会发现 1977 系统程序员把 “naive 复制” 写成不可变 reference，1994 systematist 把 “1KB 测序限制” 写成不可变 reference——两份 reference 在 17 年里塑造了”在资源约束下保留 reference 端的工程文化”。

文化隐喻惊讶 7 · 具体 8 · 可行 6

Moyer, Dobbs, Karl 1995 AEM 61(4):1555-1562, DOI 10.1128/aem.61.4.1555-1562.1995 用 16S rRNA PCR + RFLP ladder 在 Loihi Seamount Hawaii hydrothermal vent 微生物垫里发现 Zetaproteobacteria——但 1995 年还没有 isolate。1996-98 年 Emerson 和 Moyer 在 Loihi 采样培养，2002 年 Emerson & Moyer 2002 论文终于在 IJSEM 期刊发表”Mariprofundus ferrooxydans strains PV-1 and JV-1”——这是 Zetaproteobacteria 的第一次成功实验室培养。从 1995 的”序列存在”到 2002 的”实验室复制”中间隔了 7 年，这是生物学版本的”COW 何时会真正复制”：1995 sequence = 1995 fork() 后 shared page（内容存在但未”独立可写”），2002 isolate = 2002 first COW write trigger（allocation 完成后才能独立演化）。Moyer 1995 写下”the first sequence of the novel Zetaproteobacteria class”在 7 年里都是”static reference page”——直到 Emerson 2002 才被”copy 到”独立的 culture。

如果要做把 Moyer 1995 AEM 论文首页 + Emerson & Moyer 2002 IJSEM 论文首页并排印在 1 张 A4 纸上——会发现 1995 sequence discovery 是”copy-on-write 的 reference page”，2002 successful culture 是”first write trigger”——7 年里 sequence 一直是 shared-read-only 的，直到培养成功才触发 first COW write。

同构惊讶 9 · 具体 9 · 可行 8

Amoore, Johnston, Rubin 1964 “The Stereochemical Theory of Odor” Scientific American 210(2):42-49 是嗅觉研究的”分子手绘”开山论文——7 种 primary odor（camphoraceous, musky, peppermint, ethereal, pungent, putrid, floral）各自对应一个 specific molecular shape 几何，Amoore 在 Sci Amer Fig 2 画了 7 个手绘 molecular silhouettes（spherical, disc, rod, etc.）。Seeman 1982 “Nucleic acid junctions and lattices” Journal of Theoretical Biology 99(2):237-247 是 DNA 纳米技术的”分子手绘”开山论文——Seeman 在 JTB Fig 1 画了 1 个 6-arm DNA junction 的 octahedral 手绘 schematic（受 Escher 1955 “Depth” 6-arm 鱼群 painting 启发）。两份 1964 + 1982 论文 share 同一份”用轮廓表达拓扑”的 drawing vocabulary：1964 perfumer 在 Sci Amer 画的 7 个 silhouette 都是”先画外轮廓再标功能团”，1982 crystallographer 在 JTB 画的 6-arm junction 也是”先画 octahedral 轮廓再标 sticky ends”。两张手绘都发表在”前电子设计”时代——Amoore 1964 用 India ink + Leroy lettering 模板，Seeman 1982 用同样的手绘 schematic。两份 1964 + 1982 论文 cite 数分别是 ~600 + ~900，是 20 世纪下半叶”分子手绘”工程线的双源头。

如果要做把 Amoore 1964 Sci Amer Fig 2 7 种 primary odor 的手绘 silhouette + Seeman 1982 JTB Fig 1 6-arm junction 手绘 schematic——按 1:1 比例印在 A4 纸上——会发现 1964 perfumer 的”7 个 molecular shape”和 1982 crystallographer 的”6-arm junction shape”在同一个 drawing vocabulary 里对话：都是”先画 silhouette 再标 bond/affinity”的前电子设计语言。

装置/原型惊讶 8 · 具体 8 · 可行 7

1889 年 Aimé Guerlain 创造 Jicky（“first modern perfume”，首次使用 synthetic coumarin + vanillin），配方完全手写在巴黎 Guerlain 工坊的皮革笔记本里——这是 19 世纪 perfumer 的”分子手绘”工程起点。1944-1949 年 R.W. Moncrieff 在 American Perfumer 发表 “What is odor: a new theory” 把 Jicky 这种 19 世纪”手写配方 + 嗅觉记忆”的工程方法上升到理论——他 1961 年进一步开发”mechanical nose” 是手写嗅觉理论的第一次工程实现。Rothemund 2006 “Folding DNA to create nanoscale shapes and patterns” Nature 440:297-302, DOI 10.1038/nature04586 是 DNA origami 的开山论文——Rothemund 在 Caltech 自己写了一个 caDNAno 软件让用户”画 DNA shape”，但 Nature 2006 Fig 1 的设计图仍然是”手绘 shape + 黑白 schematic”风格。1889 Guerlain 手写配方 → 1944 Moncrieff 嗅觉理论 → 1961 mechanical nose → 2006 DNA origami Nature 封面 = 一条 117 年的”分子手绘”工程线，从香水工坊笔记本到 Caltech 算法，但每个环节都保留了”先画 silhouette 再讨论分子细节”的同一份 drawing vocabulary。

如果要做把 1889 Guerlain Jicky 笔记本手写配方扫描 + Moncrieff 1961 mechanical nose 蓝图 + Rothemund 2006 Nature Fig 1 DNA origami 手绘 shape 三件并排印在 A4 纸上——会发现 1889 工坊手写 + 1961 工程蓝图 + 2006 Nature 封面 share 同一份”先画 silhouette 再标分子细节”工程文化，从 1889 香水工坊到 2006 Caltech 算法。

文化隐喻惊讶 8 · 具体 8 · 可行 6

Francis Galton 1880 “Statistics of Mental Imagery” Mind 5:301-318 是 aphantasia（mental imagery 缺失）的开山研究——Galton 在 1880 年让受试者”想象今早的早餐桌”并画出来，发现大约 1-2% 受试者”无法在脑中形成任何画面”（aphantasics）。1980s 后续研究（Bainbridge et al. 2021 PMC 7856239 “Quantifying Aphantasia through drawing”）证实 aphantasia 是 1-3% 人口的稳定特征。1889 Aimé Guerlain 在 Jicky 配方时是 hyperphantasic + 手绘能力强——他能在脑中”看见”分子形状并手绘下来（这是 19 世纪顶级 perfumer 的核心能力）。手绘能力不是 universal 的：1-3% 人口完全没有 mental imagery（无法”在脑内画 silhouette”），这些人在 1889 时代会被 perfume 工坊自动淘汰，但在 2020s 的 DNA 设计时代可以”绕过”mental imagery 用 caDNAno 屏幕直接编辑 DNA shape——这是”手绘时代”向”屏幕时代”的代际转换。

如果要做设计 1 个”1889 perfumer vs 2020s DNA designer”对照实验：找 1 个 hyperphantasic perfumer（能在脑内画分子）+ 1 个 aphantasic DNA designer（不能在脑内画 DNA 但能在屏幕上编辑）——比较两者在”Amoore 1964 7 silhouette”任务中的表现——会发现 hyperphantasic perfumer 在”前电子手绘时代”占绝对优势（1889 工坊必备），aphantasic DNA designer 在”caDNAno 屏幕时代”占绝对优势（2006+ Caltech 必备）。

同构惊讶 9 · 具体 8 · 可行 7

Quine 1970 “On the reasons for indeterminacy of translation” Journal of Philosophy 67(6):178-183 把 radical translation 推到”argument from above”——整本语言不可翻译，因为没有先验的 common ground。Lewis 1969 Convention: A Philosophical Study (Harvard PhD thesis, Blackwell 1969) 引入 signaling game——sender 用信号 s ∈ S 表达状态 t ∈ T，receiver 根据 Bayesian 更新行动 a ∈ A。Lewis signaling game 的”Nash equilibrium”是”signaling 的 common ground 出现”——但 Quine 1970 指出在没有 common ground 的极端 case 下（“argument from above”），signaling 找不到 equilibrium = translation 不可确定。当 Quine 1970 的 gavagai 用 LaTeX 排版时它变成了 1 个 Lewis signaling game 的 Bayesian Nash equilibrium problem：rabbit + language speaker + native informant = sender + receiver + environment。LaTeX 是 1969-1970 之后唯一一种”type system as language”的形式化工具——它让”gavagai”从 philosophy 自然语言变成 game theory 形式语言，这是 1970 哲学 + 1969 博弈论的”形式化汇合点”。

如果要做用 LaTeX `tikz` 包把 Quine 1970 gavagai 翻成 1 个 Lewis 1969 signaling game tree——sender = “speaker observing rabbit”，receiver = “native informant”，state = “rabbit present or not”，signals = “gavagai / not-gavagai”，actions = “agree / disagree”——会发现 Quine “argument from above” 是 Lewis signaling game 的 “no equilibrium found” case，LaTeX 排版让两者在 1 张纸上同时可见。

Schelling 1971 “A Theory of Focal Points” (in “Strategy of Conflict” 第 4 章, Harvard University Press) 把 focal point 定义为”在无 communication 的 game 里，玩家独立 converge 到同一 solution 的现象”——经典例子是”纽约时代广场中午 12 点”两人 meeting。Schelling 在书里写”there is a purely tacit coordination, even without any communication, that depends on the prominence of some particular object or event”——focal point 不是”focal 在地图上”，是”focal 在 symbolic label 上”（“12 点”是 symbolic，“时代广场”是 symbolic，“a clock with a big hand at 12”是 symbolic）。Lewis 1969 Convention 是 Schelling focal point 的 game-theoretic 形式化——payoff matrix 用 LaTeX 排版时，“focal” 变成 `$\arg\max_{s \in S} \pi_1(s) + \pi_2(s)$"——它就是 payoff matrix 表格本身在 LaTeX 里的位置 (row 1, col 1)，不是地图。当 payoff matrix 完全用 LaTeX 写时，"focal point" 就从地理隐喻变成 pure math 表达——这是 LaTeX 1957+ 把博弈论从"地图"格式化为"matrix"的关键工具转换。 **锚点**: Schelling 1971 "A Theory of Focal Points" §4 in "The Strategy of Conflict" Harvard University Press（focal point 开山定义）/ Math Stack Exchange "Payoff matrix of a scenario and the Schelling point"（"If players follow the same convention, they'll drive safely. If they do not, they'll crash" 经典例子）/ Chapman ESI "A Theory of Focal Points in 2x2 Games"（Schelling focal point 的 game-theoretic 形式化）/ Lewis 1969 "Convention: A Philosophical Study"（payoff matrix 形式化）/ Open Yale Courses ECON 159 Lecture 8 "Nash Equilibrium: Location, Segregation and Randomization"（Schelling 1971 教学） **族**: 方法论 **惊讶度**: 8.5 | **具体度**: 8 | **可行动度**: 7 **如果要做**: 用 LaTeX `tabular`+`amsmath`写 1 个 2x2 focal point game：player 1 = {A, B}，player 2 = {X, Y}，payoff 矩阵 = (3,3) at (A,X) and (B,Y), (0,0) elsewhere——会发现 Schelling "focal" = payoff matrix 里`$\arg\max$` cell 的 physical 位置在 LaTeX source code 里（line 5, col 2），不是地图上的某个地点。

文化隐喻惊讶 8 · 具体 8 · 可行 6

Walter Benjamin 1923 “Die Aufgabe des Übersetzers” (The Task of the Translator) 提出”reine Sprache”（纯语言）概念——所有语言都指向一个”纯语言”理想，而翻译的目的是让两种语言相互”tender” (轻拂) 接近这个纯语言。Benjamin 1923 原文用德语哲学词汇（“die reine Sprache”, “das Nachreife der fremden Sprache”, “in den Bannkreis der eigenen Sprache”），到 2026 年任何翻译都要经过”语言 → LaTeX 哲学符号” → “LaTeX 哲学符号 → 另一种语言”的两步过程。Quine 1970 J. Phil 67(6):178-183 把 Benjamin “纯语言”反例化为”indeterminacy of translation”——没有”纯语言”，所有翻译都是 indeterminate。LaTeX 是 20 世纪唯一同时能 hold 住”哲学自然语言”（用 `\text{}`）+ “哲学形式符号”（用 `$...$`）+ “博弈论矩阵”（用 `tabular` + `amsmath`）三种表达的形式语言。当 Benjamin 1923 “纯语言” + Quine 1970 “indeterminacy” + Lewis 1969 “Convention” 三份 1923-1970 论文都用 LaTeX 排版时，它们就第一次在”形式语言”层面 share 同一份 type system——这是 20 世纪翻译学 + 博弈论的”形式化汇流点”。

如果要做用 LaTeX `babel` + `amsmath` + `tikz` 同时排版 1 段 Benjamin 1923 哲学德语 + 1 段 Quine 1970 哲学英语 + 1 个 Lewis 1969 payoff matrix——会发现 1923 哲学家 + 1970 哲学家 + 1969 博弈论学者在 LaTeX source code 里 share 同一份 `\section{}` + `$$...$$` + `\begin{tabular}` 的 type system，这是 20 世纪”形式化汇流”的工具性证据。