Hacker News 每日播报 2025-11-06

Hacker News 每日播报，为您带来 Mozilla 日本社区的终结、Ratatui TUI 应用展示、C 语言递归宏的奥秘、FBI 对 archive.is 的调查、陶哲轩用 AI 探索数学、苹果私有计算云的开源实现、人类愚蠢的基本法则、Kimi K2 万亿参数模型、开源情报发现海上打击、以及国际刑事法院弃用微软 365 等精彩内容。

Mozilla 引入 AI 翻译，日本社区宣布终结

Mozilla 支持论坛（SUMO）日本社区的负责人 marsf 发布了一篇题为《日本社区的终结》的帖子，宣布这个拥有超过 20 年历史的志愿者社区将停止运作。导火索是 Mozilla 在未与社区沟通的情况下，于生产环境部署了一个名为 "sumobot" 的机器翻译工具，该工具大规模覆盖了超过 300 篇由社区精心维护的日语知识库文章。

社区的控诉

marsf 指出，sumobot 的行为存在严重问题：

• 无视规范： 机器翻译完全不遵守日本社区长期建立的翻译指南和本地化规范。
• 破坏贡献： 机器人会立即批准自己的翻译，剥夺了新贡献者通过翻译和校对来学习和成长的机会。
• 缺乏沟通： 整个过程在没有预警、没有沟通、无法控制的情况下强行推进，被社区视为一种“大规模破坏”。

marsf 认为这不仅是对志愿者二十年心血的极大不尊重，也公然违背了 Mozilla 的开放使命。因此，他宣布退出，并要求 Mozilla 从其 AI 学习数据中删除他所有的翻译贡献。

文化冲突与对志愿者的不尊重

这一事件引发了关于技术、文化和社区管理的深刻讨论。许多人指出，Mozilla 的做法严重缺乏文化敏感性，尤其是在日本这样重视共识建立（根回し, Nemawashi）的文化中，这种“先斩后奏”的行为被视为极大的冒犯。

更广泛的观点认为，这是对全球志愿者社区的普遍不尊重。自动化工具的引入，本应是减轻负担，但在这里却剥夺了志愿者工作的意义和成就感。当 AI 翻译追求“足够好”的效率时，也可能导致“文化扁平化”，抹去语言中微妙的文化差异，最终让所有语言都呈现出一种“奇怪的美式偏见”。这起事件为所有依赖社区贡献的开源项目敲响了警钟：在拥抱自动化的同时，如何尊重并维系社区的价值与热情，是一个至关重要的问题。

Ratatui 应用展示：终端界面（TUI）的文艺复兴

一篇展示了众多基于 Rust TUI 库 Ratatui 构建的应用的文章，在开发者社区中引发了对终端用户界面（TUI）复兴的热议。这个“应用画廊”展示了 TUI 的无限可能，从系统监控工具到 Git 客户端，再到与大语言模型聊天的应用，应有尽有。

亮点应用一览

• atuin：一个用 SQLite 数据库增强的 shell 历史记录工具，让命令搜索和管理更加智能。
• bottom：一个跨平台、高度可定制的图形化进程/系统监控器，堪称终端里的 htop 增强版。
• gitui：一个为 Git 操作提供直观界面的 TUI，让你无需离开终端即可高效完成工作。
• oatmeal：一个漂亮的终端聊天应用，可以与 ChatGPT、Ollama 等多种大语言模型进行交互。
• oxker：一个用于查看和管理 Docker 容器的 TUI，让容器操作更加便捷。

TUI 为何再度流行？

TUI 的再度流行并非偶然。一方面，像 Ratatui (Rust) 和 bubbletea (Go) 这样的现代 TUI 库极大地简化了开发过程，将复杂的终端渲染抽象化，让开发者可以像在画布上一样轻松构建界面。另一方面，终端作为一种计算环境，其简洁、高效和可组合的特性至今无可替代，尤其适合作为连接不同系统的“胶水”程序。它们比纯脚本更具交互性，又比完整的 GUI 应用更轻量、部署更简单。这场 TUI 的复兴，正是开发者对高效、简洁、可定制的终端体验持续追求的体现。

揭秘 C 语言中的递归宏：一场与预处理器的搏斗

一位资深 C 程序员分享了他如何攻克 C 预处理器（CPP）中最棘手的难题之一：实现编译时递归宏。文章以一种幽默又略带痛苦的口吻，揭示了 C 宏系统设计的“反直觉”之处，以及如何通过巧妙的技巧绕过其限制。

递归的障碍与破解之道

C 预处理器有一个明确的反递归规则，即所谓的“蓝色涂料”（blue paint）机制：一个宏一旦在展开过程中被标记，就无法在后续的嵌套展开中再次被调用，这有效防止了无限循环，但也扼杀了直接递归的可能。

为了实现递归，必须采用间接调用的方式来规避“蓝色涂料”。文章介绍了一系列核心技巧：

1. 延迟展开： 使用一个展开为空的 EMPTY() 宏，将宏名称与其参数列表隔开，从而阻止预处理器在第一次扫描时立即展开宏。
2. 强制重扫： 定义一系列嵌套的 EVAL() 宏，每个宏都简单地展开其参数。通过链式调用（如 EVAL(EVAL(EVAL(...)))），强制预处理器对宏展开后的结果进行反复重新扫描，直到所有可展开的宏都被处理完毕，从而模拟出递归的效果。

通过这些复杂的“魔法”，作者成功构建了能在编译时计算可变参数数量的 H4X0R_VA_COUNT() 宏，以及能将一个宏应用于参数列表中每个元素的通用 H4X0R_MAP() 宏。文章最后呼吁未来的 C 标准能够改进预处理器，提供如 __VA_COUNT__ 和 __VA_EVAL__ 等内置功能，将开发者从这场痛苦的搏斗中解放出来。

FBI 试图揭开网页存档服务 archive.is 的神秘面纱

知名网页存档服务 Archive.today（又称 archive.is）的匿名运营者，可能正面临来自美国联邦调查局（FBI）的压力。一篇报道指出，FBI 向该服务的域名注册商 Tucows（一家加拿大公司）发出传票，要求提供与 archive.is 相关的客户数据，包括地址、连接信息和支付记录。

Archive.is 因其能够快照并永久保存网页，常被用于绕过新闻网站的付费墙和保存可能被删除的内容，在互联网上扮演着重要角色。FBI 的调查动机尚不明确，但传票要求 Tucows 对此事保密，以防干扰正在进行的联邦刑事调查。

社区的强烈反响

这一消息在社区引发了轩然大波，舆论普遍站在 archive.is 一边。

• 捍卫知识共享： 许多人认为 archive.is 是对抗信息审查和付费墙、保护数字遗产的重要工具。他们认为，知识本身应自由流通，FBI 的行为是在“扼杀数据”。
• 质疑政府权力： 社区对 FBI 的行动合法性和优先级提出了强烈质疑。有人指出，FBI 在加拿大没有直接执法权，其传票的强制性存疑。在有更严重的跨国犯罪需要处理时，将资源用于追查一个存档网站被认为是本末倒置。
• 讽刺双重标准： 一个广为流传的观点是，大型 AI 公司为了训练模型而大规模抓取互联网数据，其行为比 archive.is 更具侵略性，却鲜受法律制裁。这种“只许州官放火，不许百姓点灯”的现象，让许多人感到虚伪和不公。

总而言之，社区将 FBI 的此次行动视为对信息自由的威胁，这场风波也再次点燃了关于版权、隐私、政府权力与公民权利之间界限的激烈辩论。

陶哲轩团队利用 AI 进行大规模数学探索与发现

数学家陶哲轩（Terence Tao）与 Google DeepMind 团队合作发表了一篇重磅论文，介绍了一款名为 AlphaEvolve 的创新 AI 工具，它利用大型语言模型（LLM）来推动数学领域的探索与发现。

AI 如何“进化”出数学解？

AlphaEvolve 的工作方式独树一帜。它并非直接优化数学公式中的参数，而是利用 LLM 来“进化”能够生成这些参数的计算机代码。其核心思想是，许多最优解并非随机数字，而是具有某种结构，可以通过简洁的代码来描述。

AlphaEvolve 维护一个由成功代码组成的“种群”，LLM 会像生物进化一样，对这些代码进行修改、组合和变异，生成下一代更优的代码。有趣的是，LLM 的随机性甚至“幻觉”在此过程中反而成了优势，能帮助算法跳出局部最优解，发现全新的可能性。

成果与优势

该工具在规模化、鲁棒性和可解释性方面表现出色：

• 规模化： 已在组合学、几何学等领域的 67 个数学问题上进行了测试。
• 鲁棒性： 无需针对特定问题进行大量调优，适应性强。
• 可解释性： 生成的代码可供人类检查，有助于理解最优解的本质。

AlphaEvolve 不仅重新发现了“移动沙发问题”的已知最优解，还在 Kakeya 集等