主要领域
技术
在 主要领域 分类下，技术 按主要领域组织行业情报，帮助读者聚焦互联网基础设施、治理、连接市场或数字资本等方向。页面汇集了相关文章、公开证据、机构、公司、人物、区域关联、运营依赖和市场环境，这些内容可能分散在多个分类页面中。页面解释了该领域、可能的行为主体类型、市场或治理背景，以及读者比较信号时应使用的参考来源。运营商、分析师和治理领域的读者可以观察同一领域如何在事件、档案、市场变化、公开来源证据、区域依赖和更长周期的基础设施决策中随时间显现。
领导者
Cristiano Amon 的 Oryon 账本：从收购控制到商业证据
一宗已完成的收购、一颗进入平台的 CPU、二十多款已宣布的电脑，以及一份有利的法院判决，都可以同时为真。它们证明的却不是同一件事。判断 Cristiano Amon 的 Nuvia 决策，需要把每张“收据”放回自己的栏位。
学者
Robin Milner：搜索不能自行铸造的定理
一个证明 tactic 可以遍历成千上万条路径，最后宣布“成功”。但在 LCF 架构里，这个消息不是验收时刻。真正跨过边界的是一个只能由受保护公理与推理规则函数构造的 theorem 值。Robin Milner 的持久贡献，在于让自动化可以大胆、复杂并且会犯错，同时收窄结果成为定理的唯一通道。
互联网历史
最便宜的执行计划，只是一份预测
数据库优化器可以完全理解一条查询要返回什么，却仍然严重误判怎样执行才快。Patricia G. Selinger 与 System R 团队在 1979 年把这个矛盾变成了一套可运行的制度：先列出可行的物理路径，用统计资料与成本模型排序，再在真正执行之前作出选择。“最低成本”由此获得了巨大权力，但它从来不等于运行时已经给出的判决。
互联网历史
两套 KWIC 输出相同，改动半径却不同
把同一组标题交给两套程序，它们都能打印出完全相同的字母序循环移位索引。验收通过之后，再把“行如何存储”换一种做法：一套设计需要多人同时理解并修改，另一套只动一处。David L. Parnas 在 1972 年真正比较的，正是这种输出看不见的变化传播成本。
领导者
Cristiano Amon 与 Qualcomm 的两只 FY2029 时钟
两张图都把终点写成 FY2029，却不能连成一条增长曲线：2024 年图表计算的是汽车与 IoT，2026 年图表计算的是加入数据中心后的非手机 QCT。数字变大之前，分母与边界已经变了。
学者
Nancy Leveson：没有零件损坏，事故仍可能发生
一项指令可以由正常工作的设备发出，由尽责的操作员执行，最后仍把系统推向危险。Nancy Leveson 研究的不是怎样寻找最后一个犯错的人，而是谁本应维持安全约束、当时掌握什么信息，以及反馈为何没能纠正失真的判断。
互联网历史
Mary Shaw 与方框之间的协议
1994 年，Mary Shaw 指出了一种至今仍常见的失衡：软件架构图会认真给方框命名，却让方框之间的线保持沉默。过程调用当然有用，但它不足以表达数据流、事件、共享数据、同步以及带有多步义务的复杂协议。
互联网历史
Susan Eggers：让一个核心共享空闲发射槽
宽发射处理器在结构图上拥有许多执行单元，但单一指令流很难在每个周期都提供足够多、彼此独立的指令。Susan Eggers 与合作者提出的关键并不是简单“再加几个核心”，而是让多个独立线程在同一个周期竞争同一组执行资源，用线程级并行填补指令级并行留下的空位。这个设计带来了吞吐收益，也把公平、时延与共享争用推到了处理器控制面的中心。
互联网历史
Betsy Ancker-Johnson 与记住路径的等离子体
1964 年，Betsy Ancker-Johnson 描绘出一种无法用单一开关点说明的半导体等离子体：系统是否稳定，不只取决于当下的电场和磁场，还取决于它沿哪条路径来到这里。这是一份关于历史依赖的精确实验记录，也提醒人们不要把有边界的结果包装成万能技术。
互联网历史
Irene Greif：原子提交保存不了的作者意图
协同编辑系统让共享文档的变更能够串行化，也能在故障后恢复。它同时划出一条至今仍重要的边界：事务可以避免数据停在半成状态，却不知道作者想表达什么、合作者是否已经看见，也无法裁定谁的判断应当优先。
互联网历史
从 6,378,134.9 米到现代 GPS：Gladys B. West 1982 年论文真正证明了什么
Gladys B. West 1982 年的《Mean Earth ellipsoid determined from SEASAT 1 altimetric observations》很重要，但它的重要性恰恰需要靠边界来说明。论文不是把一组“GPS 坐标”写进未来所有接收机，而是在明确的数据、参考面和重力模型条件下，求解一个平均地球椭球的尺度与原点偏移。把这一步放回卫星测高、大地测量和后来 GPS 的技术链，才能同时看见 West 的贡献和现代定位系统远比一篇论文更长的依赖关系。
互联网历史
Sophie Wilson 与 ARM1 首硅带回的工程收据
1985 年 4 月 26 日，首批 ARM1 从 VLSI Technology 回到 Acorn。等待它们的并不只是一块电路板：Tube 操作系统、BBC BASIC、指令测试与多个软件执行环境早已在模型和模拟器上运行。芯片插板即启动，是一张分量很重却边界清楚的工程收据；它不是“RISC 天生一次成功”的神话，也不是良率、量产或市场胜利的提前证明。
互联网历史
根服务器压缩了协商成本，却没有成为世界目录：RFC 2120
X.500 把全球目录画成一棵整齐的树，树根的实际运作却依赖标准之外的人际与组织安排。每个第一层目录系统代理（DSA）的管理员，本来都要与其他同级管理员逐一协商。RFC 2120 记录了 NameFLOW-Paradise 如何用名为 Giant Tortoise 的非标准根 DSA 把多对多协商压缩成一对多，也记录了为什么走向 ISO 标准协议不能靠一次切换完成。
互联网历史
Adele Goldberg 与让 Smalltalk-80 远行的那份契约
“蓝皮书”把一个活的系统写成了可移植的约定：保留同一份虚拟镜像，在不同机器上实现对象内存、字节码、执行上下文与原语。它证明了 Smalltalk-80 可以被重新实现，却从未保证不同主机拥有相同的速度、字体、窗口、设备行为或使用体验。
互联网历史
Join 没有回执，树靠刷新存活：RFC 2117
RFC 2117 没有把稀疏组播树写成一次全网提交。一个本地成员指示产生一条记录，Join/Prune 逐跳刷新更多记录，新源先通过 Register 抵达汇合点，某些分支随后才转向源特定路径。协议之所以能扩展，正是因为每台路由器只需记住足够的局部事实，并允许未刷新的状态自然失效。
互联网历史
Evelyn Berezin：系统在线，不等于库存为真
Teleregister 为 United Airlines 打造的系统能在一台处理器失效后继续应答，这是联机计算史上的突破；但“仍有回答”和“回答正确”从来不是同一个承诺。
互联网历史
地址显示“在家”，拨号线路却仍在远方：RFC 2107
RFC 2107 让远程拨号客户端借用家庭网络的路由外观。这个幻象依赖 Foreign Agent、Home Agent、共享密钥、Tunnel ID，以及必须按次序建立和撤销的状态。
互联网历史
Karen Spärck Jones：IDF 衡量集合中的稀有，不判定世界中的真实
一个词在两套文档中可以得到截然不同的权重，不是因为词义改变了，而是因为比较它的集合变了。Karen Spärck Jones 的关键贡献，正是把“特异性”从词典里的含义属性改写为可在语料集合中观察、测试和重算的使用统计。
互联网历史
路由器给工作站分配了地址，却没有赋予身份：RFC 2106
RFC 2106 用一台 DRAP 服务器承接大量远程 SNA 与 NetBIOS 工作站，解决了骨干侧连接随终端数量增长的问题。代价也同样明确：连接减少了，状态、判断与信任却集中到了边界网关。
互联网历史
两遍哈希造出了可复用的 MAC，标签却没有替系统作出信任决定：RFC 2104
RFC 2104 用一个内层、一个外层，把既有迭代哈希包装成可复用的消息认证码。它让实现不必改写哈希核心，也为更换底层算法留下接口。这个标签能约束密钥、算法与确切字节之间的关系，却不会自动证明人物或主机身份、授权、新鲜度、唯一性、规范化、保密性、送达以及部署正确。