Hacker News 热榜前 30 条｜2026 年 9 月 11 日

1. Shopify is moving from React Native back to Swift and Kotlin
   Shopify 决定把移动端从 React Native 逐步迁回原生 Swift 与 Kotlin。核心变化不是 React Native 本身失效，而是 Coding Agent 已显著降低双平台重复实现、测试和维护的成本，使原生平台能力与更少中间层重新变得更有吸引力。
   原文链接 ｜ HN 讨论

2. More questions about whether researchers can trust OpenAI with unpublished math
   数学研究者 Andreas Thom 继续提出：在近期 AI 数学研究争议之后，研究人员是否能放心把尚未发表的数学成果交给 OpenAI 等模型提供方。原帖正文此次无法完整解析，因此不扩展具体指控或时间线。
   原文链接 ｜ HN 讨论

3. OpenAI Agents API
   OpenAI 发布 Agents API，把托管的 Codex harness 直接开放给应用开发者。API 负责 session、编排、上下文压缩与恢复，Agent 可在沙箱中执行代码、编辑文件、连接 MCP，并支持多 Agent、工具、观测和长时间运行任务。
   原文链接 ｜ HN 讨论

4. Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra
   Cognition 发布 SWE-2，以 Kimi K3 为基础继续做面向 Agentic Coding 的强化学习后训练。官方数据中 SWE-2 在 Terminal-Bench 2.1 达到 92.8%，并重点优化不同 effort 下的成本—性能 Pareto 前沿、测试覆盖和验证纪律。
   原文链接 ｜ HN 讨论

5. The Deathray: A simple way for an untrusted site to freeze a Mac
   作者发现恶意网页只需通过 WebGPU shader 制造无限 GPU 工作，就能让 M 系列 Mac 的 WindowServer 一并失去响应，最终可能触发重启；Chrome、Firefox 和 Safari 均可复现。其他测试过的系统最多只让标签页卡死，作者认为 macOS 缺少更有效的 GPU 抢占机制。
   原文链接 ｜ HN 讨论

6. Don't let anyone take away your big box of cables
   Jim Nielsen 看到有人终于从保存十多年的“线材大箱子”里翻出两根急需的线，于是把这句话打印出来贴到自己的家庭线材箱上。是一篇很短、很 Hacker 的个人随笔：那些看似该扔掉的旧线，偶尔真的会在多年后派上用场。
   原文链接 ｜ HN 讨论

7. Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)
   NASA Spinoff 介绍源自 JPL 的 decorrelation stretch 图像增强技术如何从卫星影像扩展到考古用途。Dstretch 能让岩画、木乃伊纹身和被地表或污染掩盖的古代建筑痕迹在照片中显现出来。
   原文链接 ｜ HN 讨论

8. NTSB issues investigative update on B-767 runway excursion accident in Miami
   NTSB 公布 9 月 6 日迈阿密一架 Boeing 767 货机冲出跑道事故的初步记录。CVR 与 FDR 均已成功读取，最后进近阶段多次出现速度过高提醒，调查仍在进行，当前信息仍属于初步事实而非最终原因认定。
   原文链接 ｜ HN 讨论

9. Music Theory for the 21st-Century Classroom
   一套完整开放的音乐理论教材，从音程、调式、和弦、罗马数字、终止式一直讲到和声进行、旋律分析和大量练习。课程结构清晰，也覆盖流行音乐中常见的进行，而不只停留在传统古典教材框架。
   原文链接 ｜ HN 讨论

10. Forgejo <=16.0.3 Critical RCE
    Forgejo 16.0.3 及更早版本存在严重模板仓库漏洞：恶意模板可在变量展开阶段重新制造 .git 目录，使后续 Git 初始化采纳攻击者构造的仓库状态，进而读取宿主机数据甚至执行任意进程。16.0.4 的修复会在模板展开后再次删除 .git。
    原文链接 ｜ HN 讨论

11. Neki – Sharded Postgres
    PlanetScale 发布 Neki，一套建立在原生 PostgreSQL 之上的分片数据库平台。每个 shard 都是真正的 Postgres 主从集群，路由层依据数据拓扑分配请求，控制面负责故障切换、重分片、schema 变化和版本升级。
    原文链接 ｜ HN 讨论

12. Recursion into madness
    Michal Zalewski 研究生成式 AI 反复读取并改写自己输出时会发生什么。图像编辑会快速积累噪声并失控，而文本在简单任务上更稳定，但开放式反复改写往往逐渐收敛到强烈的“LLM 文风”；这也映射到 Agent loop 的长期误差问题。
    原文链接 ｜ HN 讨论

13. Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls
    日立将在日本推出新一代 EcoCute CO2 热泵热水器，提供 370L 和 460L 型号。主要变化是更好地支持鼓励白天用电的电价方案以及家庭光伏联动，让热水储能更多吸收白天的太阳能富余电力。
    原文链接 ｜ HN 讨论

14. Rust is tier-1 language at Microsoft
    Microsoft 将 Rust 明确提升到内部 Tier-1 工程语言地位，并已建立从编译器、标准库、安全供应链构建到开发与生产流水线的一整套“Rust paved path”。文章同时强调 C++/Rust 的高保真互操作、ABI 和构建系统仍是重要工程难题。
    原文链接 ｜ HN 讨论

15. OpenAI’s Navier-Stokes release included a Lean 4 formal proof
    John D. Cook 关注 OpenAI Navier–Stokes 发布中较少被讨论的一点：传统论文之外还同时给出了 Lean 4 可机检证明。他认为真正值得注意的是形式化验证成本正在骤降，过去可能需要大量人工时间的 formalization，现在可以被 AI 大幅加速。
    原文链接 ｜ HN 讨论

16. What happens when a GPU writes memory
    Doubleword 从 NVIDIA GPU 的 warp store 一路追踪数据如何经过 coalescer、L1、TLB、crossbar、L2，再最终到达 DRAM。文章重点解释 sector mask、write-through L1、地址转换和 L2 slice 路由，是很细的 GPU 内存写路径解剖。
    原文链接 ｜ HN 讨论

17. Embedding a bitmap font in your HyperCard stack
    作者研究如何把自定义 bitmap font 直接嵌进 HyperCard stack 的 resource fork，而不是要求系统全局安装字体。文章借 ResEdit、FOND/nfnt 资源和 HyperTalk 展示早期 Macintosh Resource Manager 的设计，并说明这种机制为何适合动态文本和可移植应用。
    原文链接 ｜ HN 讨论

18. Proof of Capture: Apple Reference Image, but open source and using steganography
    作者制作了一套开源“拍摄证明”相机：ATECC608 安全芯片为照片签名，再把签名通过 DWT+DCT 频域水印嵌回图片，即便经过 WhatsApp 级 JPEG 压缩也能验证是否被编辑。项目试图提供比 Apple Reference Image 更开放的实现，但作者也承认它仍无法解决“拍摄屏幕上的 AI 图片”等问题。
    原文链接 ｜ HN 讨论

19. JEP 544: Ahead-of-Time Code Compilation
    JEP 544 为 Java 引入新的 AOT code compilation 能力，目标是在保留 HotSpot 动态语言特性的同时，把训练运行中获得的 profile 与编译结果提前保存，以改善启动和预热性能。它并不是把 Java 彻底变成 closed-world 的纯原生静态编译模式。
    原文链接 ｜ HN 讨论

20. Detecting and countering misuse of AI: September 2026
    Anthropic 发布新一期威胁情报报告，汇总 2025 年 12 月到 2026 年 8 月发现并阻断的 Claude 滥用案例，覆盖网络攻击、监控、影响行动、诈骗、生物与武器等七类风险。报告特别指出 AI 在部分攻击中已从“助手”升级为自动编排侦察、利用、数据外传和恶意工具重构的执行层。
    原文链接 ｜ HN 讨论

21. Show HN: Vertumnus – printable posters of farmers' market produce seasonality
    Vertumnus 把农贸市场不同农产品的季节性做成可自定义打印海报，目前提供旧金山和纽约两套数据。作者还公开了整个开发过程：项目在 46 天内用一次跨 22 天、731 个 prompt 的 Claude Opus 5 session 完成，并公开完整对话和 AI 开发复盘。
    原文链接 ｜ HN 讨论

22. Silicon Valley is transforming the military-industrial complex?
    Brown University Costs of War 报告研究美国军工体系如何从传统承包商扩展到 Big Tech、VC 和硅谷国防科技创业公司。报告认为 AI 系统和大型云/软件合同正在让科技公司获得越来越大的国防预算份额，同时也带来透明度、可靠性和公共问责问题。
    原文链接 ｜ HN 讨论

23. iPhone Duo
    Apple 的首款折叠 iPhone Duo 延续在榜。设备采用可折叠双屏形态和面向多窗口、多姿态使用重新设计的软件体验；具体产品规格可直接查看 Apple 当前产品页。
    原文链接 ｜ HN 讨论

24. Douglas Hofstadter: Analogy as the Core of Cognition [video]
    Douglas Hofstadter 在这场演讲中把“类比”视为认知的核心机制，而不仅是高层语言修辞：从感知、类别形成到抽象思考，人类持续通过寻找相似结构理解新事物。视频页面此次无法完整读取，因此摘要只保留这一核心主题。
    原文链接 ｜ HN 讨论

25. What algorithm did Windows XP use to choose your initial user picture?
    Raymond Chen 解释 Windows XP 首次创建账户时如何随机选择默认头像：使用 RtlRandomEx，以 GetTickCount() 为初始 seed，再通过 k=1 的 reservoir sampling 一次遍历目录完成选择，避免先统计文件再二次遍历。
    原文链接 ｜ HN 讨论

26. Show HN: A browser IDE for m68000, Z80 assembly (and more), with graphics
    ASM Editor 是直接运行在浏览器里的汇编 IDE，支持 M68K、MIPS、RISC-V、x86 和 Z80，并内置指令文档、图形/键鼠外设、终端、教学考试模式和可直接运行调试代码的 AI 助手。项目也已用于一门正式的工程教育课程。
    原文链接 ｜ HN 讨论

27. Stockfish 19
    Stockfish 19 正式发布。官方测试称相比 Stockfish 18 最多提升约 44 Elo，新版还把发布包改成 universal binaries，由程序自动检测 CPU 特性并选择最佳指令路径，不再要求用户手动挑 AVX2、AVX-512 等构建。
    原文链接 ｜ HN 讨论

28. Creativity is the new moat
    文章认为生成式 AI 已把“做出一个能工作的 SaaS 或网页”的门槛显著拉低，因此纯实现能力越来越难形成护城河。真正稀缺的反而是产品品味、端到端体验和从根本上重新定义问题的原创判断。
    原文链接 ｜ HN 讨论

29. List of references on Sony websites to players "owning" their digital games
    Consumer Rights Wiki 汇总 Sony/PlayStation 过去在网站和商店中使用“buy”“purchase”“own”等所有权语言的实例，并把这些材料放进正在进行的数字游戏所有权诉讼背景中。争议核心是消费者究竟购买了商品，还是只拿到一份可撤销许可。
    原文链接 ｜ HN 讨论

30. Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1
    Tokenstead 汇总 SWE-2 的当前模型资料与厂商报告基准，其中 Terminal-Bench 2.1 为 92.8，DeepSWE 为 73.0，FrontierCode 1.1 Main 为 50.0。页面同时面向本地/云端模型用户收集实际运行速度和硬件适配数据。
    原文链接 ｜ HN 讨论

重点分类

Arduino / ESP32 / Raspberry Pi

• 18｜Proof of Capture: Apple Reference Image, but open source and using steganography：自制相机使用 ATECC608 安全芯片、图像签名和频域水印完成端侧“拍摄证明”，是很完整的嵌入式安全/影像项目。
• 26｜Show HN: A browser IDE for m68000, Z80 assembly (and more), with graphics：浏览器内直接学习和运行多种经典/现代 ISA 汇编，并提供图形外设与交互环境，对底层和嵌入式学习很实用。

LLM / Agent

• 1｜Shopify is moving from React Native back to Swift and Kotlin：Coding Agent 已经实质改变 Shopify 对跨平台开发成本的判断，并直接影响技术栈选择。
• 2｜More questions about whether researchers can trust OpenAI with unpublished math：涉及研究者把未发表数学工作提交给模型提供方时的保密、优先权和科研信任边界。
• 3｜OpenAI Agents API：OpenAI 把托管 Codex harness、沙箱、session、MCP、多 Agent 和恢复机制正式做成 API。
• 4｜Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra：新 Coding Agent 模型重点优化能力、验证纪律与成本—性能前沿。
• 12｜Recursion into madness：直接实验模型反复消费自己输出后的漂移与收敛，对 Agent loop 的长期稳定性很有参考价值。
• 15｜OpenAI’s Navier-Stokes release included a Lean 4 formal proof：关注 AI 与 Lean 如何显著降低研究级数学形式化验证成本。
• 20｜Detecting and countering misuse of AI: September 2026：Anthropic 汇总 Claude 被用于多阶段攻击、监控、诈骗和自动化恶意工具链的真实案例。
• 21｜Show HN: Vertumnus – printable posters of farmers' market produce seasonality：整个产品由一次持续 22 天、731 prompt 的 Claude Opus 5 session 完成，并公开了完整 Agent 开发记录。
• 28｜Creativity is the new moat：讨论生成式 AI 普及后，产品实现能力贬值、原创判断和品味成为新护城河。
• 30｜Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1：SWE-2 的新一轮 Coding Agent benchmark 数据。

学习与阅读

• 7｜Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)：从 NASA 图像增强算法一路延伸到岩画、木乃伊纹身和地下遗迹识别，跨学科且直观。
• 9｜Music Theory for the 21st-Century Classroom：结构完整、免费开放的音乐理论教材，章节和练习都很系统。
• 11｜Neki – Sharded Postgres：适合了解怎样在不改 PostgreSQL 存储引擎的前提下构建分片、路由和控制面。
• 16｜What happens when a GPU writes memory：从 warp 一路追到 DRAM，适合深入理解 GPU cache、地址转换和 store path。
• 17｜Embedding a bitmap font in your HyperCard stack：通过 HyperCard、ResEdit 和 Resource Manager 理解早期 Macintosh 软件资源模型。
• 19｜JEP 544: Ahead-of-Time Code Compilation：适合了解现代 HotSpot 如何在保留 Java 动态特性的同时推进 AOT 编译与启动优化。
• 24｜Douglas Hofstadter: Analogy as the Core of Cognition [video]：Hofstadter 关于“类比是认知核心机制”的经典思路，适合作为认知科学阅读/观看入口。
• 25｜What algorithm did Windows XP use to choose your initial user picture?：用一个 Windows XP 小问题非常直观地解释 reservoir sampling。
• 26｜Show HN: A browser IDE for m68000, Z80 assembly (and more), with graphics：可直接在浏览器学习 M68K、Z80、RISC-V 等汇编，还有图形与交互外设。

写作与博客

• 6｜Don't let anyone take away your big box of cables：极短但很有个人声音，用一个旧线材箱写出了技术人的共同记忆。
• 12｜Recursion into madness：把 Agent loop、模型退化和 Raymond Chandler 文风实验组织成一篇既技术又有趣的文章。
• 17｜Embedding a bitmap font in your HyperCard stack：从一个很小的字体实验自然展开到 Macintosh Resource Manager 与 HyperCard 历史，技术叙事很顺。
• 25｜What algorithm did Windows XP use to choose your initial user picture?：Raymond Chen 一贯的写法，从一个边角行为讲清算法、实现动机和历史背景。
• 28｜Creativity is the new moat：围绕“AI 让实现变便宜后，什么才真正稀缺”建立单一、清楚的产品观点。

独立博客精选

• 5｜The Deathray: A simple way for an untrusted site to freeze a Mac：个人安全研究复盘，漏洞机制、跨浏览器复现、Apple 响应和作者自己的风险判断都写得透明。
• 6｜Don't let anyone take away your big box of cables：纯粹的个人博客味道，一件很小的日常物品就足以形成技术人的共鸣。
• 12｜Recursion into madness：lcamtuf 用很小的递归实验讨论生成式 AI 的失真和 Agent 稳定性，观点、实验和幽默感都有。
• 17｜Embedding a bitmap font in your HyperCard stack：复古计算、字体资源和 HyperCard 实验结合得很扎实，是今天最值得慢慢看的个人技术文章之一。
• 18｜Proof of Capture: Apple Reference Image, but open source and using steganography：从焊接安全芯片到频域水印全部自己实现，项目小而完整，且主动讨论了方案不能解决的问题。