← #802

从第一性原理理解网络与互联网

查看原文 HN 讨论

文章摘要

这是一篇篇幅极长（约 60 页）的网络原理长文，作者 Faza 试图不留任何知识缺口地把网络与互联网从最底层讲起，并配有大量交互式动画演示。文章的核心思路是：追溯每一个协议究竟解决了什么在规模化时才浮现出来的问题。

文章从数字时代之前讲起。作者指出，network 一词最初就是它字面的意思——由线绳在规则间隔处交叉而成的网状织物。电报引入了两个关键概念：离散符号，以及在中继站进行的信号再生（regeneration），后者使信号可以跨越洲际距离传输而不衰减。

核心架构部分有三个概念。第一是电路交换与分组交换的对比：早期电话网络为每一次通话预留一条专用路径；1960 年代由 Paul Baran 和 Donald Davies 独立提出的分组交换则把消息拆成自包含的单元，从而高效共享同一套基础设施。第二是”沙漏模型”：IP 是中间那层”又薄又简单的协议”，让下方多样的物理介质（光纤、无线电、卫星）通过唯一一套通用编址方案与上方多样的应用相连。第三是地址的分层：MAC 地址是本地的、与硬件绑定的，IP 地址是全球可路由的，而两者装在同一个包里传输。

在技术洞见方面，作者关于带宽与延迟的论述被读者反复称赞：这两者”永远不会互相权衡，因为它们来自不同的地方——带宽来自发送方的时间表，延迟来自导线的长度”。光在光纤中的速度约为 20 万公里/秒，这是一道无法靠工程绕开的物理天花板。TCP 部分解释了它如何在 IP 的尽力而为模型之上叠加有状态、有序的可靠交付：为每一个字节编号并持续确认接收，三次握手则是在数据流动之前同步序列号。

路由部分讲清了去中心化的本质：OSPF 这类内部协议共享拓扑图，而 BGP 让各个自治网络依据商业关系（而非纯粹距离）宣告可达性——对等互联协议和转接付费构成的这张契约网格，取代了中心化的权威。DNS 部分解释了分层委派：不是维护一份大文件，而是让各组织通过委派的 zone 控制自己的记录；递归解析器从根开始，经注册局走到权威服务器，每一层的缓存都在为上层减负。

贯穿全文的设计原则可以归纳为：核心保持无状态（IP），只在需要处添加状态（TCP、应用层）；开放标准（RFC）与分层架构带来无需许可的创新；局部规则涌现出全局秩序，没有中央协调者（包路由、拥塞控制）；通过分布式而非单点来获得韧性。文章还覆盖了 NAT 的地址复用变通方案（及其造成的连接不对称）、CDN 如何利用 anycast 和地理感知 DNS、DNSSEC 的密码学校验，以及从 IPv4 的 32 位稀缺走向 IPv6 的 128 位空间。文末关于公钥密码学和 TLS 握手、证书校验的部分尚未写完。

HN 评论精华

这个帖子的讨论几乎完全没有围绕网络技术展开，而是变成了一场关于”AI 生成内容”的激烈争论，作者本人几乎回复了每一条评论。

• zerobees 打响了第一枪，也提供了最有力的怀疑证据。他先说文字”相当明显是 AI 生成的”，并调侃现在出现了一个”我问了 LLM 这样你就不用问了”的市场，而好笑的是这堵文字墙如此之长，点赞的人根本不可能读过——”于是这就是 vibe 写作、vibe 编码加 vibe 阅读，端到端全链路协同”。当作者否认后，他给出了具体质证：就在这篇 60 页长文之前七天，作者还产出了另一篇 40 页的文章（关于软件的 mental model），”几天之内 100 多页深度技术写作，真是了不起，也不是人类做得到的事”；他还补充说 Pangram 检测工具把文章的大片内容判定为完全 AI 生成，并承认工具并不完美，但结合超人的生产力和各种主观迹象，他把这篇归进了自己的”AI 垃圾”堆。他最后的质问代表了很多人的情绪：”我不明白为什么人们就不能承认自己用了聊天机器人，而且用得远不止是’审阅’。”

• mekoka 对这套推理提出了方法论上的反驳，也是这场争论中最理性的一条：”发文间隔短，这就是你依据的启发式？我自己就有几十篇这样未发表的长篇基础主题文章，只等我抽时间打磨。我完全可以想象在一次休假期间把它们写完并连续发出来。这是一个判断 AI 写作的不可靠指标。”他另外还向 zerobees 诚恳追问过：你是怎么看出来的？我不是在挑战你的判断，只是真的好奇，能指出一些线索吗？他自己用眼睛读完了全文，看不到文本本身是人工的证据，或者至少说，看不到它没有经过人类打磨的证据。

• 作者 faza 的回应贯穿全帖，态度始终诚恳而具体。他多次说明自己只用 Claude 做审阅和可视化辅助，并强调：”我在博客上分享东西时，会对写作和所解释的概念承担全部责任。这不可能只靠 LLM 生成出来。如果那么容易，我根本不会费这个劲。”他还解释了自己的工作方式：所有想讲的主题都已经有粗稿在手，而这篇网络文章占用了他这一周的绝大部分时间。他阐述了写作动机——”我只是想以我当年希望别人对我解释的方式来解释这些东西”，并说他觉得现有材料要么太像教科书、要么太浮于表面。

• WhrRTheBaboons 的评论则揭示了这场误会的一个重要根源。他最初的吐槽是关于视觉设计的：”我希望这是 vibe coded 的，因为我不愿相信在黑底上用极小的深灰色文字是一个有意识的选择。”后来他专门补充澄清：他从头到尾只是在说视觉和 CSS，不打算跟着一起指控内容是 AI 写的，从他读过的部分看不像；”我只是站在角落里冲 Claude 们喊，因为它们的前端做得很差。”他真正不解的是，为什么 LLM 近来如此执着于这种不可访问的设计语言，而且如此普及——vibe coded 的前端一向不好看，但至少在这个趋势之前是可读的。sixtyj 从专业角度给出了建设性建议：问题在于 LLM 本身，设计和排版需要精确的指令，否则你会得到信息密度很高但人们读不下去、跳出率很高的输出；他有 25 年杂志排版经验，知道哪些东西必须控制，并推荐了 Tailwind 的 prose 插件、shadcn/ui 新发布的 typeset 包等具体工具。作者接受了这些建议，后来还部署了移动端修复——为动画加上横向滚动而不再缩小尺寸。

• 也有相当多的人站出来为文章说话，形成了明显的反弹。mercutio2 的开场很直接：”哇，这里的反应，好负面！”他略读了几个章节，觉得动画令人愉快、文字可读、内容显然不是垃圾；电报的历史背景很有趣，带宽与延迟的处理很有想法。他唯一的批评是文章太长了，觉得不熟悉这些材料的人不太会真的读完，但他享受了自己读的那些部分。mlhpdx 明知这在 HN 指南里算失礼，还是专门来说这是一篇很棒的读物，结构清晰、有说服力；他的态度很干脆：”对那些说这是 LLM 写的人：如果真是，我不在乎。它很好。” nicpottier 也说这些评论很奇怪，他认为写作水准出色，”任何让技术变得更容易理解、更容易接近的东西在我看来都是好事”。rkoten 把它与 Bartosz Ciechanowski 的作品相提并论，并具体询问了内联交互元素的技术栈——作者回答说起初只是用 Astro 做的纯静态站点、内容是 markdown；后来想加交互元素时发现 Astro 支持 MDX，可以嵌入自定义 JavaScript 组件，最初用原生 JavaScript、SVG 和 CSS transition 做动画，随着模拟越来越复杂才引入 React 来管理状态。

• jdw64 提出了本帖最核心的那个问题：”我不明白。即使这篇文章很长、有些重复的部分，它不还是人写的吗？这里太多评论仅仅因为一个动画组件是用 AI 做的，就表现得好像一切都很糟。”他说自己喜欢这篇文章，AI 生成的动画组件确实帮助他理解了东西，”问题究竟在哪？用 AI 做可视化被视为坏做法了吗？”这引出了一场关于认识论的交锋：gib444 认为，当有人从一个”有输出谎言和虚饰的既定名声、对训练数据零事实核查”的工具那里获取建议，并鼓励别人几乎无条件地使用它时，理性的做法就是假定它是垃圾。jdw64 反问：”你这不是在把人当傻子吗？”他承认你无法抓住 AI 的每一个幻觉，但仍有些东西是能看出来的，他自己也是程序员，在一定程度上分辨得出；而且”人也会夸大和传播错误信息，HN 上有名的程序员有时也会给出错误的编程建议。任何来源里最终都有一定量的错误信息，你是一边交叉核对自己的知识一边读的。说全部都没用只是一种情绪反应。”

• orc00 提供了一个非常有说服力的正面案例：作为一个自己花时间开发开放教育资源（OER）的人，他在 AI 之前能做的事极其有限；现在 AI 大幅提升了他的能力，尤其是在可视化、交互式组件甚至图像（他多用 SVG）上，而这些都是他自 2020 年疫情期间开始做的在线资源中不可或缺的组成部分。鉴于他的编程能力和时间都很有限，AI 让他补上了缺失的那些环节。他的结论是：”当被正确使用时（一个领域内的专家把 AI 当工具用），最终产品可以被彻底改变和提升到从前不可能的程度。”

• blooalien 给出了一个平衡的框架：有些人认定任何被 AI 碰过的东西自动就是垃圾，这大概部分要归咎于外面确实存在大量真正的”AI 垃圾”，由那些”握错了工具”的人生产；但当被审慎且恰当地使用时，这些语言模型可以是很有用的工具、能帮助创造出有质量的东西——它们只是无法替代一个懂行的人正确地使用工具。他还对作者说了一段很暖的话：读文章和逛站点时他的感觉是作者在通过构建这些解释来夯实自己的理解，然后顺手分享出来；知道作者本就有教学的意图，只让他觉得这人愿意当老师是件好事，”这世界需要更多的老师（以及学习者）”。

• wojciii 的吐槽提供了另一条线索：”我极其厌恶任何用’从第一性原理’的东西，几乎和’技术上正确’一样讨厌。”不过他后来主动承认：”我意识到自己在负面情绪里，于是去略读了文章。它有一些不错的解释，所以我的评论不是关于内容，只是关于标题的用词。”pennomi 补充了一个更值得惋惜的点：真正从第一性原理出发是一种有效的方法论，能绕开层层不必要的抽象造出高效的产品，但这个词本身似乎已经失去了它真正的含义。NoboruWataya 则说，这个词对他而言只是暗示博客会在较低层次探讨主题，比如讨论比特如何通过电缆或无线电波传输，而不是讨论 HTTP 或 TLS，这通常是他相当感兴趣的东西。

• matt_daemon 对这场争论做了元层面的总结：”指出某样东西是 AI 垃圾，已经变成了 HN 上的一种’炫耀’，而且几乎总是显得很爱说教，并且完全错了。”blooalien 只为后半句点赞，因为他认为干这事的其实只是这里的某个特定用户子集，其余大多数人并不太在乎去追捕 AI 使用者并公开羞辱他们；真正的”垃圾”（通常很明显）确实比较普遍地被憎恶，但那和 AI “猎巫者”是完全不同的现象。rundef 提供了一个历史类比：”我想知道计算器出现时数学家是不是也是这个反应——’你没有手算每一步，所以结果不算’。”

• 少数真正的技术性补充：leoc 指出 Digital PDP-1 的第一笔重要订单来自 ITT 的撕带（torn-tape）报文交换业务。sarchertech 说他 2021 年休陪产假时开始做类似的东西（networksfromscratch.com），做了一半又生了两个孩子，然后 AI 来了，他开始怀疑外面垃圾太多是否还值得写这本书——但等新生儿大一点，他大概还是会写完。sudb 推荐了对照读物 explained-from-first-principles.com/internet。itsamario 提出第一个动画应该包含托管消息平台的服务器，或者改用点对点应用做例子，作者回复说它确实包含了应用的数据中心。