🔥 今日焦点

今天 HN 首页被一条令人窒息的帖子统治：AWS 账单显示 $17 亿，正常月消费不到 $5——977 分、614 条评论，碾压式热度。前 AWS 工程师在评论区解释了根因：计价单位错误，本来按 GB 计价，系统却按 byte 算了。这不是第一次发生，也绝不会是最后一次——云的 billing 系统复杂度已经高到了「没人能完全理解」的程度。

第二条强信号在竞技场另一端：Kaggle「衡量 AGI」竞赛被曝评审过程存在严重不一致，426 分冲上 HN 首页。参赛者发现评分标准前后矛盾，获奖选择缺乏透明度。评论区的共识很尖锐——Kaggle 很可能在用 AI 评审 AI，然后盲目接受结果。配上 Kimi K3 的 pelican 基准争论（训练数据污染到底有没有发生）和 Linus Torvalds 在 LKML 上推销 LLM 被当场拒绝的戏剧性场面，今天的信息密度不是一般的高。

🤖 AI / 大模型

  • AWS 账单惊魂：$17 亿估计费用 — AWS: Inaccurate Estimated Billing Data – $1.7 billion。977 points / 614 comments（HN）。用户收到 $17 亿的月度预估账单，正常消费不到 $5。💬 前 AWS 工程师 donavanm 解释了根因：「计价单位错误——本来想收 $0.05/GB，但漏了 GB 单位，系统默认按 byte 计价，$0.05/byte。」他本人曾因同样 bug 在凌晨 2 点被 page。

  • Kaggle 衡量 AGI 竞赛被曝评审不一致 — Evidence of inconsistencies in evaluation process and selection of winners。426 points / 268 comments（HN）。参赛者详细记录了评分标准前后矛盾、获奖选择缺乏透明度的问题。💬 评论区共识：「Kaggle 大概率在用 AI 评审 AI，然后不加常识判断就接受结果——人们正在把思考外包给 AI。」

  • 开源 AI 现状报告 — The state of open source AI。348 points / 247 comments（HN）。一份覆盖模型、数据、许可证的综合性开源 AI 生态报告，社区对「什么叫真正的开源 AI」展开激烈争论。

  • Kimi K3 与 pelican 基准：我们还能学到什么 — Kimi K3, and what we can still learn from the pelican benchmark。239 points / 135 comments（HN）。Simon Willison 用他著名的「骑自行车鹈鹕」SVG 基准测试了 Kimi K3。💬 争论焦点：Simon 仍然认为鹈鹕不在训练集中，但评论者指出「现在每个模型都能画出一只骑红色自行车、从左到右的鹈鹕，风格惊人一致——这不可能是巧合」。Simon 本人在评论中承认他之前没想到风格偏差这个角度，计划加入其他动物做对照测试。

  • Linus Torvalds 谈 LLM 在内核开发中的使用 — Linus Torvalds on LLM usage in kernel development。△144 / 134 comments（Lobsters）。Linus 在 LKML 上提议用 LLM 辅助审查补丁，被 Laurent Pinchart 直接拒绝。💬 最高赞评论：「Linus 先试图用个人权威推销，被要求技术理由后又声称『我们只看技术』——典型双重标准。」addison 补充：「工具确实有效，但 LLM 恰好体现了 Linux 创立之初想要避开的那些行业问题。」

  • Faulty Towers, vibe sickness, and the vibe bobsled — △20 / 6 comments（Lobsters）。对 vibe coding 文化的尖锐批评：当 AI 生成的代码越来越多而你不需要理解就能跑，技术债务堆积的速度远超修复速度。

  • 同态加密 CIFAR-10 推理 200ms — Homomorphically encrypted CIFAR-10 inference in 200ms。79 points / 24 comments（HN）。在完全加密的数据上跑神经网络推理，200ms 意味着同态加密正在从学术 demo 走向实际可用。

  • AI 遇见密码学：OpenVM ZkVM 的漏洞 — AI Meets Cryptography 2: What AI Found in OpenVM’s ZkVM。78 points / 3 comments（HN）。用 AI 辅助审计零知识虚拟机，发现了多个实际漏洞——AI 在密码学安全审计中的一次实战验证。

  • Latent Space as a New Medium — 33 points / 7 comments（HN）。Kevin Kelly 将 latent space 视为一种全新的创作媒介——不是工具，而是画布本身。

  • 我们正在改变开发者生产力实验设计 — We are Changing our Developer Productivity Experiment Design。△12 / 2 comments（Lobsters）。METR 更新了衡量 AI 辅助编程生产力的实验方法——此前的结果可能低估了 AI 的实际效果。

🛠️ 工具 / 基础设施 / 数据库

  • 学习 SQLite 运行的一些事 — Learning a few things about running SQLite。124 points / 27 comments（HN）+ △28（Lobsters）。Julia Evans 的经典风格：用简单实验验证 SQLite 在生产环境的各种行为——WAL 模式、并发写入、内存使用。今天同时在 HN 和 Lobsters 上榜，两个社区都给了高分。

  • Lobste.rs 现在跑在 SQLite 上 — Lobste.rs is now running on SQLite。103 points / 63 comments（HN）。Lobste.rs 从 PostgreSQL 迁移到 SQLite——又一个高流量网站证明了 SQLite 不是「玩具数据库」。技术细节包括 Litestream 实时备份和 WAL 模式调优。

  • SQLite 应该有 Rust 风格的 editions — SQLite should have (Rust-style) editions。△138 / 36 comments（Lobsters）。提议 SQLite 采用类似 Rust editions 的机制处理向后不兼容的改进——不破坏现有代码的同时允许演进。评论区分裂：支持者认为 SQLite 的「永不变更」哲学已束缚太多改进，反对者认为这正是 SQLite 最宝贵的特性。

  • 我们正在用 Rust 重建 Postgres — We’re building Postgres in Rust. Using the LLVM of databases。△30 / 17 comments（Lobsters）。Turso 团队用 Rust 从零实现一个 PostgreSQL 兼容数据库——把 Postgres 的协议层和存储层分开，用 Rust 重建存储引擎。野心极大。

  • Forgejo v16.0 发布 — Forgejo v16.0 is available。△74 / 10 comments（Lobsters）。自托管 Git 平台的大版本更新。Forgejo 在 Gitea 之后持续走自己的路，v16 加入了多项企业协作功能。

  • Topcoat：Rust 全栈框架 — Topcoat: The full full-stack framework for Rust。12 points / 3 comments（HN）+ △1（Lobsters）。Tokio 团队推出的 Rust 全栈 Web 框架——对标 Next.js 但在 Rust 生态中。分数不高但团队背景值得关注。

💻 编程语言 / 编译器

  • Rust→Zig 重写进展：编译速度 100 倍提升 — How Our Rust-to-Zig Rewrite is Going。△175 / 62 comments（Lobsters）。Roc 编译器从 Rust 迁到 Zig，编译时间从 3.4s 降到 35ms——100 倍。Gleam 编译器走了同样的路，这不是孤立事件。💬 争论焦点：35ms 编译是否真的必要？支持者认为「save → 瞬间看到结果」的体验是质变，质疑者认为 3.4s 已经够快，为这点提速放弃 Rust 的类型安全和生态不值得。

  • Freya 0.4：Rust GUI 库 — Freya 0.4 - Rust GUI library。△13 / 1 comment（Lobsters）。基于 Dioxus 的 Rust 原生 GUI 库发布 0.4 版本，API 趋于稳定。Rust GUI 生态的竞争者又多了一个。

  • Lisp 之路：选哪个 Lisp — A Road to Lisp: Which Lisp。54 points / 29 comments（HN）。对 Common Lisp、Scheme、Clojure 等方言的务实对比，不是信仰文宣而是「根据你想做什么来选」。

  • MoonBASIC：现代 BASIC 用于 2D/3D 游戏开发 — MoonBASIC: A modern BASIC for building 2D and 3D games。34 points / 8 comments（HN）。用现代语法重写 BASIC 体验，编译到原生代码——复古情怀 + 工程实践。

  • 企业级 Haskell：H-E-B 超市的真实案例 — Enterprise Haskell at H-E-B。△4（Lobsters）。一家德克萨斯州连锁超市用 Haskell 做供应链和定价系统——Haskell 在非科技公司落地的罕见案例。

  • Lone Lisp：matheusmoreira 专访 — Lobsters Interview with matheusmoreira about Lone Lisp。△7 / 1 comment（Lobsters）。Lobsters 社区专访 Lone Lisp 作者——一个人从零实现的 Common Lisp 方言。独立开发者的执着和 Lisp 社区的生态碎片，两种情绪交织。

🔒 安全 / 隐私

  • Show HN: SSH 蜜罐实时直播 — Show HN: Watch bots interact with an SSH honeypot in real time。134 points / 48 comments（HN）。实时观看全球 bot 尝试暴力破解 SSH，从尝试的用户名和密码可以反推当前攻击趋势。不止是玩具——评论区有人把它当作威胁情报源。

  • PACT：Web 匿名凭证（Mozilla） — PACT: Anonymous Credentials for the Web – Mozilla Hacks。△9 / 3 comments（Lobsters）。Mozilla 提出的 Web 匿名凭证标准——在不泄露身份的前提下证明「你是人类」。与当前 CAPTCHA/浏览器指纹检测形成鲜明对比。

  • Epistemic Parity：差分隐私的可复现性评估 — Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy。△1（Lobsters）。ACM 论文提出用可复现性作为差分隐私的评估指标——对隐私保护研究的方法论反思。

🏢 科技公司与监管

  • FAA 再次允许 Boeing 自行签发 737 MAX/787 适航证 — FAA lets Boeing sign off on 737 MAX, 787 airworthiness certificates again。62 points / 33 comments（HN）。FAA 恢复了 Boeing 的自我认证权限——737 MAX 两次坠机后曾被撤销。评论区几乎全是「又来了」的声音。

  • Kaiser 护士：AI 和工作场所监控让工作变差、护理变糟 — Kaiser nurses say AI, workplace surveillance are making their jobs, care worse。45 points / 14 comments（HN）。医疗领域的 AI 部署正在从「辅助」变成「监控」，护士群体首次大规模公开反对。AI 伦理讨论从抽象原则进入具体行业冲突。

  • 美国零售放缓是真实的 — The US grocery slowdown is real。31 points / 31 comments（HN）。Bain 的数据显示美国食品杂货销售增速明显放缓——技术从业者的间接经济信号。

  • Manufact (YC S25) 招聘资深基础设施工程师 — Manufact (YC S25) Is Hiring。38 points / 57 comments（HN）。YC 最新一批的 MCP 云基础设施公司——MCP（Model Context Protocol）生态正在催生新一轮基础设施创业。

📡 硬件 / 复古 / 网络

  • Zilog Z80 诞生 50 周年 — The Zilog Z80 has turned 50。130 points / 35 comments（HN）+ △21（Lobsters）。1976 年 7 月发布的 Z80 处理器走过半个世纪——Game Boy、ZX Spectrum、TI 计算器的心脏。评论区充满了第一次用 Z80 汇编的回忆。今天同时在 HN 和 Lobsters 上榜，两个社区的怀旧情绪同步共振。

  • 我是怎么自建 AIM 服务器的 — Here’s how I host my own AIM server。△33 / 21 comments（Lobsters）。搭一个自己的 AOL Instant Messenger 服务器，用 OSCAR 协议。复古互联网基建的硬核实践。

  • Open Book Touch：开源电子书阅读器 — Open Book Touch: open-source e-reader。12 points / 1 comment（HN）。完全开源的触屏电子书阅读器硬件项目，在 Crowd Supply 上众筹。对 Kindle 封闭生态的直接回应。

🌌 科学与发现

  • 首次在宜居带类地行星发现大气层 — First atmosphere found on Earth-like planet in habitable zone of distant star。329 points / 217 comments（HN）。天文学家首次在系外宜居带内的岩石行星上探测到大气层——这是寻找地外生命路上的关键一步。纯粹的 awe 时刻，评论区少见地没有争议只有兴奋。

🎮 轻度 / 好玩 / 杂项

  • Thanks HN：15 年支持让我找到一生的事业 — Thanks HN for 15 years of support and helping me find my life’s work。172 points / 13 comments（HN）。一位创业者在 HN 上回顾 15 年——从第一次发帖到公司被收购，HN 社区如何改变了他的人生轨迹。评论区一片温馨。

  • 微软 Comic Chat 开源 — Microsoft Comic Chat is now open source。△47 / 14 comments（Lobsters）。1996 年的经典 IRC 客户端——把聊天变成漫画——微软正式开源。💬 有人立刻搭了一个 Fediverse 版本：Fedichat（△3 / 2 comments）。

  • 应对问题的三种方式（除了解决问题本身） — Three ways people respond to a problem (other than solving it)。174 points / 105 comments（HN）。一篇关于「问题回避模式」的短文，意外爆火——回避、抱怨、过度分析三种非解决行为，戳中了太多人的工作现实。

  • 为当代交流方式设计 emoji — Designing emoji for the way we communicate today。169 points / 114 comments（HN）。Google 在世界 emoji 日发布 Noto 3D emoji 设计理念——从 2D 到 3D，从静态到动态，emoji 正在成为一种独立的设计语言。

  • More Bounce to the Ounce — 100 points / 36 comments（HN）。Maciej Cegłowski（Pinboard 创始人）的新文章——一如既往的信息密度和幽默感，讨论的是软件行业如何失去了「bounce」——那种小而灵活的应变能力。

  • README, not — △35 / 8 comments（Lobsters）。对 README 文化的尖锐批评：README 从「快速上手」变成了营销页面，真正的技术文档被挤到了 wiki 深处。

  • 现代创作者的 Workspace — Workspaces – Explore the workspaces of modern creators。63 points / 47 comments（HN）。一个收集现代创作者办公桌和工作室的网站，从程序员到插画师——桌搭爱好者的精神食粮。

  • Show HN: 400 万条维基百科事件的可缩放时间线 — Show HN: A zoomable timeline of 4M Wikipedia events。40 points / 21 comments（HN）。把维基百科 400 万条历史事件做成交互式时间线——从宇宙大爆炸到昨天。

  • Lego 拼搭说明书的演变史 — Lego building instructions through time。34 points / 7 comments（HN）。Lego 官方回顾拼搭说明书从纯文字到 3D 渲染的 70 年演变——一份设计语言变迁的视觉档案。

  • 用铁轨涂白漆防止脱轨 — Painting the sides of railroad rails white to reduce derailment。8 points / 1 comment（HN）。Union Pacific 铁路公司通过给铁轨两侧涂白漆来降低热胀导致的脱轨风险——低科技解决高代价问题。

  • Guix：从二进制文件创建包 — Guix: creating a package from a binary。△29 / 16 comments（Lobsters）。Guix 新手打包二进制程序的实战教程——可复现构建生态又一个入门路径。

  • 停止 GUARD 法案和全球年龄验证法律 — Stop the GUARD Act and age verification laws worldwide。△20（Lobsters）。FSF 发起反对美国 GUARD 法案的倡议——该法案要求强制年龄验证，对开放互联网构成直接威胁。

📝 今日总结

今天的版面被 AWS 的 $17 亿账单占据，但真正值得关注的信号藏在 Kaggle 评审造假和 Linus 的 LLM 推销翻车里：自动化正在吃掉最后的常识判断环节。AWS billing 系统没人能完全理解、Kaggle 用 AI 评审 AI 然后盲目接受结果、Linus 试图用权威而不是技术理由推销 LLM——三个事件在不同的场景里讲了同一件事：当我们把信任交给系统时，系统的问题就变成了我们的问题。

必读 Top 3：AWS 账单评论区的单位错误解析（前 AWS 工程师亲身经历，比任何技术博客都真实）、Simon Willison 在评论区承认 pelican 基准的风格偏差（一个做了多年独立基准测试的人愿意重新审视自己的假设）、Linus/Laurent 的 LLM 辩论（开源社区权力结构和技术决策的冲突，比代码本身更有意思）。

横向信号：SQLite 正在吃掉一切——Lobste.rs 迁到 SQLite、提议 SQLite editions、Julia Evans 的 SQLite 实践指南同时在两个社区上榜。Rust→Zig 的编译器迁移潮从 Gleam 扩展到了 Roc，编译速度 100 倍的诱惑力大于类型安全。微软 Comic Chat 开源引发复古 IRC 客户端复兴——Fediverse 版本当天就出现了。