research!rsc 主要涵盖哪些技术主题?

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 订阅，适合持续跟踪更新。