✺ 跨域灵感日志 · CROSS-DOMAIN SPARK LOG

Wonderland 把两个陌生的领域撞在一起,
看会冒出什么火花。

一个跨领域灵感的常态化实验:每日遴选两个看似无关的领域, 引入一项约束命题,检索相关文献锚点,记录所产生的火花。 此处不展示创作过程,只呈现最终的火花与参考文献。

最新一期

2026-11-09

古文字学与文字起源 × 密码学与信息安全 + 如果必须先把答案公布出去,才能知道正确答案,且公布之后不能撤回免疫学与疫苗学 × 保险精算与尾部风险定价 + 如果必须一次成功,不能重来城市规划与交通流 × 音乐理论与声音设计 + 如果只能用一块固定浇铸的金属或石头发声,不能调音、不能搬走

归档

往期日志

2026 年 十一月 2026-11

  1. 07 整座 ZFC 被写成一个符号文件:验证它只需要 500 行 Python
  2. 05 第二个 checker 是 1995 年就有人想过的事:只是那时没人写第二个 Mizar
  3. 03 同一个 bug 必须在所有内核里同时存在:把检查器写成另一种语言
  4. 01 把整个证明扔掉,只留一个能重放的小检查器

2026 年 十月 2026-10

  1. 31 电话网每秒往数据里塞 8000 个 1,只为了让时钟别断
  2. 29 PC 里有两只钟,一只是电视给的,一只是电话给的
  3. 27 PC 的心跳是电视色副载波除下来的数
  4. 25 同一颗定时器芯片上,节拍器和音箱是邻居
  5. 23 断裂史有两种写法:刻在晶体里的包裹体,和长在裂纹尖端的氧化层
  6. 21 钢转子的海滩纹和石英的解理面,是同一张彩虹
  7. 19 Intel 8086 IVT 头 32 条 reserved = Bathymodiolus 7 allozyme loci:COW 的硬件原版与生物原型在同一份 1KB 之内
  8. 17 Intel 8086 IVT 1KB 内存 = 1995 RFLP ladder 1KB 内存:4 bytes per ISR = 1 bit per ladder band
  9. 15 Avise 1994 把 "one-kilobase" 写进标题 = 1994 时代分子系统学对 1KB 内存约束的"主动签名"
  10. 13 1995 时代的 RFLP ladder 读图 = 1982 时代的 register allocator 看图:分子系统学家与编译器在"数 ladder"这件笨事上同步了 13 年
  11. 11 8086 IVT 的 16x16 手绘 layout = SU(2) 自旋-127/2 表示的 256 维空间的 paper-and-pencil 投影:1978 年 Intel 工程师的 napkin 上算的是有限群表示论
  12. 09 8086 的 IVT 是有限群的基本表示:256 字节表里只有 224 字节可被自由定义
  13. 07 Aumann 共同知识在 8-bit AVR 上是 3 个状态:population protocols 把"无法歧义"压成 majority consensus
  14. 05 0 元翻译是不可能长期歧义的:Aumann 共同在先 + 公共知识 = 译本必然收敛
  15. 03 张力完整性是同一份受力图在米与纳米两个尺度上的两次实现
  16. 01 密钥不必被存起来,只需被"养"出来:一块培养皿就是一台不可克隆的密钥派生装置

2026 年 九月 2026-09

  1. 29 2KB 里只放得下检查器,放不下证明者:De Bruijn 判据就是 Simon 的 satisficing 判据
  2. 27 陶筹到楔文把符号表从 1000+ 压到 600,而 SectorLISP 把一门语言压到 512 字节:这是同一个寄存器分配问题
  3. 25 IBNR 是一条"已发生但尚未提交"的日志条目:链梯法是 1933 年为延迟日志设计的第一套补偿算法
  4. 23 GSSP 金钉:全球地质年代尺是唯一把共识铸进一根黄铜钉、并物理植入岩层的分布式系统
  5. 21 生发中心暗区 = CoW 写缓冲;明区 = 提交验证器:亲和力成熟 = 一次 commit-validate 循环
  6. 19 8086 中断向量表 = 硅晶的 Ediacara Hills:boot 时刻留下的 256 个死亡面具
  7. 17 Lean 4 的 6,000 行 C++ kernel 与量子力学的 5 条 operational axioms 都是各自领域的"最小 1KB"
  8. 15 MELTS 1995 = 行星地质学的 GCC 2.7:Gibbs 最小化就是 constant-folding pass
  9. 13 HathiTrust 17M → 170B = 10000x:CRDT 取代 Paxos 的临界点
  10. 11 Stare decisis 与 Btrfs 共享同一个 fork-on-write 不变量
  11. 09 PMDL(2025)与 ILT(2025)是同一最短描述问题
  12. 07 Damasio 1994 的"躯体标志"是 1995 年建筑的失传入门书
  13. 05 纯文本 IR = Benjamin 的"纯语言"
  14. 03 法令即编译器:Catala 语言的 COW 语义
  15. 01 寄存器分配 = 对称性自发破缺:COW 即真空态

2026 年 八月 2026-08

  1. 31 IVT 真空探测仪:8086 中断向量表的实时监听装置
  2. 29 有形式证明的编译器 = 1995年空等了20年的技术
  3. 27 自然数游戏 = PSPACE完备的证明博弈
  4. 25 群论作为 QFT 和进化的通用考古学语法
  5. 23 COW 文件系统 = 基因组作为只读共享基底
  6. 21 赋格主题 = 8086 中断向量表
  7. 19 巴比伦 Jupiter 追踪 = Feynman 的手绘积分
  8. 17 判例传播 = 分布式系统的 Raft 共识协议
  9. 15 微生物半导体工厂:Shewanella 的受控衰变 Fab
  10. 13 Catala 税收编译器 = 判例汇编程序
  11. 11 MMO-CHIP:die shot 是人类的最后一个手工分析区
  12. 09 判决是 read-only commit,引用是 hard-link 到 precedent blob
  13. 07 流程图模板=1950年的可视化编程语言
  14. 05 MIDI 1.0 = 1983 年的分布式音乐总线:事件驱动、31.25kbaud、40 年未死
  15. 03 安提基特拉是物理化的文献校勘:齿轮、铭文与不可实验的过去
  16. 01 芯片退层仪是物理考古的 git log

2026 年 七月 2026-07

  1. 31 基因电路加扰是细菌的限时谜题
  2. 30 代谢通量即 AST:每条代谢路径都是一次"编译产物"