research.swtch.com

research!rsc 适合有编程经验、愿意读底层技术推导的读者，尤其是关注编译器、运行时、浮点数算法和开源供应链安全的人。它的文章不是入门教程，而是作者 Russ Cox 围绕具体问题写的第一手分析与证明，很多篇目需要读者能跟上代码、算法或系统层面的推理。如果你只是想找“怎么快速上手某门语言”的内容，这里并不对口；如果你想知道一个格式化算法为什么正确、一次开源攻击是怎么发生的，这里的技术密度正合适。

内容偏底层，不是应用层教程

从网站目录可以看到，站点主题集中在编程语言实现和系统底层：

• 浮点数格式化系列（2026 年 1 月，共四篇）：从 Floating Point Formatting 到 Fast Unrounded Scaling: Proof by Ivy，涉及浮点数与十进制之间的转换、定点打印算法，以及正确性证明。
• 调试与编译器/运行时：Differential Coverage for Debugging（2025 年 4 月）讲用覆盖率差异定位可疑代码块；Hash-Based Bisect Debugging in Compilers and Runtimes（2024 年 7 月）讲对程序代码或执行过程做二分查找来定位失败原因。
• 开源供应链安全：The xz attack shell script 和 Timeline of the xz open source attack（2024 年 4 月）是对 xz 攻击脚本的详细走查和时间线梳理。
• Go 语言相关：Go Changes、Go Testing By Example、Coroutines for Go 等，讨论 Go 的演进方式、测试写法和协程设计。
• 其他底层话题：C and C++ Prioritize Performance over Correctness 讨论“未定义行为”含义的变迁；Storing Data in Control Flow 主张写程序而不是程序的模拟。

这些题目共同点是：面向已经会写代码、并且关心“为什么这样实现”的读者。文章里常出现算法推导、证明和代码级分析，而不是 API 用法罗列。

写作风格：第一手推导，系列性强

网站描述为“Thoughts and links about programming, by Russ Cox”，目录里还标注了“favorites in bold”。从篇目看，作者习惯把一个问题拆成系列：

• 浮点数格式化被拆成四篇，从基础到正确性证明逐步推进。
• 透明遥测（Transparent Telemetry）被拆成四篇，从“为什么需要”到设计细节再到 opt-in 更新。
• xz 攻击相关文章也分成脚本走查和时间线两篇。

这意味着部分内容需要按顺序阅读，跳着看可能接不上前面的定义和前提。同时，作者以第一手实践和推导为主，例如 Running the “Reflections on Trusting Trust” Compiler 是把 Ken Thompson 图灵奖演讲中的编译器实际跑在浏览器里，属于动手复现型内容。

适合与不适合的读者

怎么判断某篇是否适合自己

一个实用的办法是先看标题里的关键词：

• 出现 Proof、Correctness、Bisect、Coverage、Compiler、Runtime 这类词，通常需要算法或系统背景。
• 出现 Timeline、Walkthrough、Attack 这类词，偏事件梳理，阅读门槛相对低一些，但仍假设你了解基本的安全和构建概念。
• 带 Part 1/2/3/4 的系列，建议从第一篇开始读。

网站本身提供目录、主题索引和 RSS 三条路径来发现文章，可以先按主题索引找到自己关心的方向，再决定是否深入某个系列。

开源软件指源代码公开、允许他人查看、修改和再分发的软件。它不等于免费，也不等于没有版权——是否收费、能否商用、二次发布要满足什么条件，取决于具体的开源许可证。对普通人来说，判断一款开源软件值不值得用，关键看三点：许可证是否匹配你的用途、项目是否仍在活跃维护、以及它能否解决你的具体任务。下面按这三个维度展开。

开源软件和"免费软件"不是一回事

很多人把开源等同于免费，这是最常见的误区。开源描述的是源代码的获取与使用权利，免费描述的是价格。两者可以重合，也可以分离：

• 有的开源软件完全免费，靠社区或捐赠维护；
• 有的开源软件本身免费，但官方提供付费的技术支持、托管或企业版；
• 也有软件免费但不开源（只给可执行文件，不给源代码）。

所以看到"开源"两个字，不要直接推断"免费"或"可以随便用"。真正决定你能怎么用的，是它附带的许可证。

常见许可证决定你能做什么

许可证是开源软件的使用规则。同样是开源，不同许可证对"修改后要不要也开源""能不能闭源商用"的要求差别很大。下面是最常见的几类：

对普通用户来说，日常使用（自己装来用、不修改不分发）几乎不受许可证限制。真正需要留意许可证的是两类人：把开源代码嵌进自己产品再发布的开发者，以及想基于开源项目做二次分发的人。如果你属于这两类，务必先读项目根目录下的 LICENSE 文件，而不是凭印象判断。

开源不等于安全，也不等于好用

"源代码公开所以更安全"是一种想当然。公开确实让更多人能审查代码，但有没有人真的去审查、发现问题后有没有人及时修，才是安全的关键。判断一个开源项目是否可靠，可以看这些信号：

• 最近提交时间：仓库几个月甚至几年没更新，遇到漏洞可能没人修；
• issue 和 PR 的响应：大量长期未处理的 issue，说明维护者精力有限或已放弃；
• 发布节奏：是否有稳定的版本发布，还是长期停在某个旧版本；
• 社区规模：文档、论坛、问答是否活跃，出问题能不能找到人。

反过来，一个更新频繁、社区活跃的小众开源工具，往往比一个多年不更新的大牌项目更值得信任。

按用途挑选开源替代品

选开源软件，先明确你要完成的任务，再看有没有成熟替代品。以图像处理为例，ImageOptim 就是一类面向"压缩图片、减小文件体积"任务的开源工具，它的定位是替代"导出为 Web 格式"这类操作，而不是替代完整的图像编辑软件。这说明一个重要思路：开源替代品常常只覆盖某个具体环节，而不是一比一替换整个商业软件。

按用途大致可以这样找：

• 图像/媒体处理：先想清楚是"编辑"还是"压缩/转换"，前者找编辑器，后者找专用工具；
• 办公文档：找能读写通用格式（如 docx、xlsx）的套件，注意复杂排版可能走样；
• 开发工具：这类开源生态最成熟，编辑器、版本控制、包管理基本都有开源方案；
• 系统工具：压缩、清理、格式转换等小工具，开源选择非常多。

挑选时的通用检查清单：

1. 它能不能完成你的核心任务（先看功能，不看名气）；
2. 最近一次更新是什么时候；
3. 有没有清晰的安装说明和文档；
4. 出问题时去哪里求助（issue 区、论坛、聊天群）。

安装和使用中的常见卡点

开源软件的安装方式比商业软件更杂，遇到问题先分清是哪一类：

• 来源不明：只从项目官网或官方代码仓库下载，不要用来路不明的第三方打包版本；
• 依赖缺失：部分工具需要先装运行环境或其他组件，报错信息通常会指出缺什么；
• 权限与系统限制：某些系统会拦截未签名应用，需要手动允许，操作前确认来源可信；
• 版本混乱：同一工具有稳定版和开发版，日常使用优先选稳定版。

遇到问题时的求助顺序

1. 先查官方文档：多数基础问题文档里就有答案；
2. 搜 issue 区：你的问题很可能别人已经提过，看有没有解决方案或临时绕过办法；
3. 看社区论坛/聊天群：适合文档没覆盖的使用经验类问题；
4. 自己提 issue：写清版本、系统、复现步骤和报错信息，越具体越容易被回应。

提 issue 时不要只写"用不了"，而要写"在什么系统、什么版本、执行了什么操作、期望什么结果、实际报了什么错"。这几乎决定了你能不能得到有效帮助。

一句话决策

日常自己用、不修改不分发，选开源软件主要看功能是否够用 + 项目是否还在维护；要把代码嵌进自己的产品再发布，才需要认真读许可证。开源是权利和协作方式，不是质量或免费的保证——把它当成一个需要核实的选项，而不是一个可以放心的标签。

research!rsc（research.swtch.com）是 Russ Cox 的个人技术博客，内容集中在编程语言实现、调试方法、软件供应链安全和开源工程实践几个方向。如果你关心 Go 语言的底层设计、浮点数与十进制转换的算法细节，或者想了解开源项目如何做遥测和供应链防护，这个站点值得持续阅读；如果只想找入门教程或框架使用指南，这里的内容偏底层，匹配度不高。

浮点数格式化系列

2026 年 1 月集中发布了四篇关于浮点数打印与解析的文章，构成一个完整系列：

• Floating Point Formatting：系列总览，讨论浮点数与十进制之间的转换问题。
• Pulling a New Proof from Knuth's Fixed-Point Printer：从 Knuth 的定点打印器中提取出一个新的证明，文中提到这是"给 Don Knuth 的生日证明"。
• Floating-Point Printing and Parsing Can Be Simple And Fast：论证浮点数与十进制之间的转换可以既简单又快速。
• Fast Unrounded Scaling: Proof by Ivy：证明快速非舍入缩放实现的正确性。

这组文章适合对数值算法、浮点数精度和形式化证明感兴趣的读者。

Go 语言相关

• Coroutines for Go（2023 年 7 月）：讨论为什么 Go 需要协程，以及协程可能的设计形态。
• Go Testing By Example（2023 年 12 月）：讲测试的重要性，并给出二十条编写良好测试的建议。
• Go Changes（2023 年 12 月）：讨论 Go 语言的变更方式，以及如何用遥测改进这一过程。

调试技术

• Differential Coverage for Debugging（2025 年 4 月）：通过对比通过和失败运行的代码覆盖率，识别可疑代码块。
• Hash-Based Bisect Debugging in Compilers and Runtimes（2024 年 7 月）：对程序代码或执行过程做二分查找，定位新库或编译器导致失败的原因。

安全与工程实践

• The xz attack shell script 与 Timeline of the xz open source attack（2024 年 4 月）：详细拆解 xz 攻击的 shell 脚本，并给出 2021 至 2024 年的时间线。
• Open Source Supply Chain Security at Google（2023 年 11 月）：在 ACM SCORED 2023 的远程演讲。
• Running the "Reflections on Trusting Trust" Compiler（2023 年 10 月）：在浏览器中运行 Ken Thompson 图灵奖演讲中的编译器。
• Transparent Telemetry 系列（2023 年 2 月，共四部分）：从设计、用例、更新到 opt-in 机制，讨论开源项目如何做透明遥测。
• C and C++ Prioritize Performance over Correctness（2023 年 8 月）：讨论"未定义行为"自 1980 年代引入以来含义的变化。
• Storing Data in Control Flow（2023 年 7 月）：主张写程序本身，而不是写程序的模拟。

怎么用这个站点

首页提供按时间倒序的文章列表和主题索引（Topic Index），收藏文章在目录中加粗标出。想系统跟进某个方向，可以从对应系列的第一篇读起；只想了解某个具体问题，直接按标题检索即可。站点提供 RSS 订阅，适合持续跟踪更新。

research!rsc（research.swtch.com）是 Russ Cox 的个人技术博客，副标题为“Thoughts and links about programming, by Russ Cox”，主要发布编程相关的长文思考与链接，并提供 RSS 订阅。如果你关注 Go 语言、浮点数格式化、调试技术或开源供应链安全等底层工程话题，这个站点值得直接订阅；如果只是想找入门教程或产品文档，它并不适合。

网站性质与作者

• 性质：个人研究博客，而非商业媒体或官方文档站。内容以长篇文章和系列专题为主，首页提供按主题整理的目录（Table of Contents），并标注收藏篇目。
• 作者：Russ Cox。从站点内容看，他深度参与 Go 语言的设计与演进（如《Go Changes》《Coroutines for Go》等文章），是 Go 核心开发者之一。
• 更新节奏：文章按时间排列，从 2023 年到 2026 年均有分布，说明这是一个持续维护的长期博客。

内容主题

站点目录显示，文章集中在几个方向：

其中浮点数格式化系列是一个完整的专题：从《Floating Point Formatting》总览，到《Pulling a New Proof from Knuth's Fixed-Point Printer》《Floating-Point Printing and Parsing Can Be Simple And Fast》，再到《Fast Unrounded Scaling: Proof by Ivy》，逐层深入实现与证明。

内容形式

• 长文技术文章：单篇往往围绕一个具体工程问题展开，包含实现细节、证明或时间线复盘。
• 系列专题：如浮点数格式化（4 部分）、透明遥测（4 部分），适合按顺序阅读。
• RSS 订阅：站点提供 RSS 源，便于跟踪更新。
• 主题索引：首页目录按主题归类，收藏篇目加粗标注，方便快速定位。

适合谁看

• 对 Go 语言内部机制和演进方向感兴趣的开发者。
• 需要了解浮点数打印/解析实现与证明的工程师。
• 关注调试方法（覆盖率差分、二分定位）的技术人员。
• 研究开源供应链安全、想复盘 xz 攻击事件细节的读者。

如果你要找的是 API 文档、入门教程或社区问答，这个站点不提供这些；它更适合作为深度技术阅读和订阅源。

research!rsc 是 Russ Cox 的个人技术博客，内容以编程语言、编译器、Go 语言、软件供应链安全等为主。想快速找到站内最值得读的文章，最直接的办法是看首页目录中加粗的条目——作者用这种方式标出自己推荐的重点；其次可以按主题索引（Topic Index）或时间线浏览，并用 RSS 订阅更新。

用首页目录的加粗条目定位重点

首页目录本身就是一份人工筛选过的清单，作者把偏爱的文章用粗体标出。从现有目录可以看到，加粗内容集中在 2026 年 1 月的一组浮点数格式化系列：

• Fast Unrounded Scaling: Proof by Ivy（Floating Point Formatting, Part 4，2026 年 1 月）——证明快速非舍入缩放实现的正确性。
• Floating-Point Printing and Parsing Can Be Simple And Fast（Part 3，2026 年 1 月）——浮点数与十进制之间的快速、简单转换。
• Pulling a New Proof from Knuth's Fixed-Point Printer（Part 2，2026 年 1 月）——围绕 Don Knuth 的定点打印器给出的一个“生日证明”。
• Floating Point Formatting（2026 年 1 月）——该系列的总起。

如果你只想读少数几篇，从这些加粗条目入手最省时间；它们通常代表作者认为论证最完整或最有价值的作品。

按主题索引浏览相关文章

目录顶部有 Topic Index 入口，适合已经明确关心某个方向的读者。站内文章大致可归入几类：

主题索引的价值在于把同一议题的多篇文章串起来，比如 xz 攻击的两篇（脚本走读 + 时间线）配合阅读，能同时看到技术细节和事件脉络。

按时间线查看最新与历史文章

目录按时间倒序排列，最新内容在最上方。当前可见的最新条目是 2026 年 1 月的浮点数格式化系列，往前依次是 2025 年 4 月、2024 年 7 月等。如果你关心的是“作者最近在想什么”，直接从上往下读即可；如果是为了追溯某个话题的演进，可以结合条目上的“updated”标注判断文章是否经过修订，例如 xz 攻击的两篇都标注了 2024 年 4 月的更新。

通过 RSS 订阅获取更新

站点提供 RSS 订阅（页面标注为 RSS research!rsc），适合不想反复手动查看的读者。订阅后新文章会推送到你的阅读器，配合目录中的加粗标记，可以优先判断哪些新内容值得展开读。

怎么选：三种方式的适用场景

• 只想读精华：看首页目录加粗条目，优先读 Floating Point Formatting 系列。
• 有明确主题偏好：走 Topic Index，按上表定位到对应方向。
• 想跟踪更新：订阅 RSS，再按时间线回补历史文章。

需要说明的是，现有资料只呈现了目录、主题索引和 RSS 这些入口，并未说明站内是否提供搜索功能或分页机制；如果你需要按关键词检索，建议先用 RSS 阅读器或浏览器自带的页内查找配合目录使用。