主要领域
技术
在 主要领域 分类下，技术 按主要领域组织行业情报，帮助读者聚焦互联网基础设施、治理、连接市场或数字资本等方向。页面汇集了相关文章、公开证据、机构、公司、人物、区域关联、运营依赖和市场环境，这些内容可能分散在多个分类页面中。页面解释了该领域、可能的行为主体类型、市场或治理背景，以及读者比较信号时应使用的参考来源。运营商、分析师和治理领域的读者可以观察同一领域如何在事件、档案、市场变化、公开来源证据、区域依赖和更长周期的基础设施决策中随时间显现。
互联网历史
链路已经开放，每个名称仍要单独获准：RFC 2097
PPP 可以把远端机器带到 NetBIOS Frames 网络的边缘，但 RFC 2097 没有把链路建立等同于可达。NBFCP 要求双方明确协商：哪些十六字节名称会被投射到对端网络、哪些名称失败、对端属于哪类实现、组播怎样限速与排序，以及每个 NBF 数据报是否必须携带十二字节 MAC 头。
互联网历史
Frances E. Allen 让编译器学会证明，也学会止步
定义可能到达哪条指令、一个值是否仍然活跃、某次移动会不会改变既定语义——Frances E. Allen 把这些问题变成系统分析。她留下的不是“优化后必然正确”的通行证，而是一套说明证明边界的语言。
互联网历史
计数值通过了一个接收者的窗口，却没有说出发送者是谁：RFC 2085
RFC 2085 在 HMAC-MD5 Authentication Header 中放入可选的 64 位重放计数器，但是否存在由 Security Association 决定。接收者可以在自己的乱序窗口内接纳从未出现的旧序号，并拒绝重复值。这是一个 SA 内的新鲜度证据，不是发送者身份；多个多播发送者共享同一 SA 时，这条界线尤其清楚。
互联网历史
Jean E. Sammet 让代数可执行，FORMAC 却没有替数学作证
FORMAC 能先对代数式求导、展开、替换和化简，再把结果交给普通 FORTRAN 链编译运行。把每次交接的证据边界说清楚，不会削弱这项成就，反而能看见它真正改变了什么。
互联网历史
第四个字母决定编辑器能留下什么：RFC 2083
一张 PNG 在重绘全部像素后仍可正常显示，文件里却可能保留一段编辑器完全不懂的旧元数据。RFC 2083 没有把这段数据认证为真；它把一个更窄、更可执行的问题写进四个类型字节的大小写：解码器遇到未知 chunk 能否继续，编辑器改变图像后能否把它复制到输出。
互联网历史
名录存了两条链接，却不知道它们各自意味着什么：RFC 2079
同一个名录条目可以列出两条看似可信的链接：一条标着“正式记录”，另一条写着“当前服务”。RFC 2079 让系统能够保存两者，也能准确拆出 URI 和人类可读标签；但它不能判断这是两个相关资源、同一资源的两个位置、过期页面，还是用友好文字包装的误导。格式解决了附着与解析，关系仍需另行举证。
互联网历史
LAP6 让源码可见可改，却没有替程序证明正确
Mary Allen Wilkes 把只有 2048 个 12 位字的 LINC 变成了可对话的开发环境：稿本能滚动、编辑、归档、汇编并装入内存。LAP6 的价值不仅是把这些动作连在一起，也在于每一步仍回答不同的问题。
互联网历史
字段出现了，管辖权没有随之而来：RFC 2076 的边界图
解析器看到 `Apparently-To`，只能证明这一行存在。它不能据此证明该字段是通用邮件标准、能够安全公开，或足以命令接收端采取动作。1997 年的 RFC 2076 把这种差别留在目录里：字段名旁边必须同时看协议、状态、出处与限制。
互联网历史
一个主图，多重实例：Sketchpad 的共享定义边界
Ivan Sutherland 在 1963 年展示的，不只是如何用光笔画图。Sketchpad 还把“同一项定义被多处使用”做成了可见的数据关系：主图发生变化，依赖它的实例随之更新；但每个实例仍有自己的位置、尺寸和旋转，图形一致也不等于实物正确。
互联网历史
Lynn Conway 的 λ 规则：让版图可迁移，不让芯片自动正确
把微米改写为一个名叫 λ 的基本单位，看似只是换了一把尺子。真正改变的是设计者与制造工艺之间的接口：版图可以携带比例关系跨过工艺边界，但一次规则检查通过，仍然不能替代电气、时序、良率和实物测试。
互联网历史
Dorothy Denning：格模型允许流动，不等于现实安全
一个安全格可以证明：在既定标签和流动规则下，某条被建模的依赖关系是获准的。它不能顺带证明标签无误、实现可靠，或系统不存在隐蔽信道。Dorothy E. Denning 的早期工作之所以仍然重要，正在于它同时划清了证明的力量与边界。
互联网历史
Nancy Lynch 与那条可以永远不作决定的执行路径
FLP 并没有宣判分布式系统无法达成一致。它划出的是一条精确边界：当模型完全异步、算法确定、消息可靠却没有时延上界，并且允许一个进程崩溃时，不存在对所有合法执行都有效的终止保证。
互联网历史
Leslie Lamport：时间戳不能证明的先后
Lamport 时间戳可以保持进程与消息之间已知的因果路径，却不能把每个较小数字都变成原因、把不可比较事件变成物理同时，也不能把一种方便的全序包装成唯一真实历史。
互联网历史
Jim Gray 与两阶段提交中不能决定结果的那张赞成票
在两阶段提交中，参与者把 prepare 记录持久化后投下赞成票，只证明自己能够服从最终的提交或中止决定。它尚未提交；协调者失联，也不赋予它猜测结果的权力。
互联网历史
Barbara Liskov 与 Argus：commit 只在 guardian 边界内作证
Argus 把故障恢复写进语言：guardian 管理可恢复对象，handler 跨节点调用，action 决定一组分布式状态是一起提交还是一起撤销。它最重要的遗产也包含一条界线——commit 能证明参与对象的事务结果，却不能替外部设备、人工流程、调用者身份或业务目的作证。
互联网历史
Anita Borg 与 Systers：进入受治理的房间，不等于平等已经实现
一封邮件能够进入 Systers，是因为成员资格、地址状态和转发规则共同为它开了门。这个私域空间把分散在各地的女性计算从业者连接起来，却没有因此完成身份的全部核验、兑现职业机会、消除组织权力，或让发言风险归零。
互联网历史
Andrew S. Tanenbaum 与 Amoeba capability：授权对象操作，而非确认持有人身份
Amoeba 把服务寻址、对象编号、可执行操作与防伪校验压进 128 位 capability。它让权限随引用在用户进程间流动，不必先查一张中央持有人名单；但令牌有效，只能证明它通过了服务器规则，不能证明谁在持有、为何使用，也不能替外部结果或持久化结果作证。
领导者
Awang Lah 的按用量付费主张：JARING 技术转移说明了什么
MIMOS 的技术授予记录与 Mohamed Awang Lah 的商业表述，呈现了从技术接收到用户价值的一条设想路径。但获得技术、提供服务和真正降低客户成本，是三个需要分别验证的环节。
全球云服务
Cloudflare R2零出站费：少一笔流量钱，未必就能换云
Cloudflare R2 把出站流量费列为零，也提供了向外复制对象的操作示例。这是两项实质性的条件，却不是一张零成本迁移的保证书。对企业而言，真正需要核算的是检索、请求和切换工作如何叠加，以及搬走的数据能否支撑另一套系统继续提供服务。
全球机构
LibreNMS 与清晰网络可视的运营成本
LibreNMS 为网络团队提供透明、可自托管的平台，用于发现设备、轮询计数器、构建资产记录，并把观测状态转化为告警。它的可信度并非来自“开源软件更安全或更便宜”的假设，而来自一次明确的运营权衡：社区公开代码并扩展设备支持，而每位用户需自行承担凭据管理、更新、数据库、告警质量以及 SNMP 盲点的责任。