团子技术日报 Vol.37：2026-07-18（周六）

🔥 今日焦点

今天 HN 首页被两件事承包：AWS 估算账单飙到 $17 亿（正常账单 $5/月），以及 Linus Torvalds 在 LKML 上向内核开发者推销用 LLM 辅助 review结果被社区怼了回来。两条新闻的共同线索是「自动化系统的边界」——AWS 的定价引擎因为一个 unit type 拼写错误让用户心跳骤停，Linus 则试图把 LLM 塞进地球上对正确性要求最高的代码库。前 AWS 员工在评论区证实这是「老毛病」：计费系统在 pricing plan 中 miss 单位时默认按 byte 计价，5¢/byte 的数据传输费可以一夜之间跑出百万级账单。Linus 那边更微妙——他先以「我们讲究技术理由」说服别人用 LLM，当 Laurent Pinchart 列出非技术性的拒绝理由时，Linus 又反过来要求「不要跟我谈个人信念」。社区的共识很明确：LLM 在 kernel review 场景中的风险被严重低估了。

🤖 AI & 大模型

  • 开源 AI 现状报告 — The state of open source AI。375pts / 271 comments（HN）。一份涵盖开源模型生态的全景报告，数据密集。评论区前排抛出尖锐判断：开放权重模型最终会杀死 Anthropic 和 OpenAI——云厂商可以免授权费跑模型，Apple 可以压缩到端侧。💬 也有人指出中国公司的开源策略是「战术性」而非原则性的——为了突破西方市场壁垒，一旦市场条件变化随时可能像 Meta 一样关门。
  • Kimi K3 和鹈鹕基准还能教我们什么 — Kimi K3, and what we can still learn from the pelican benchmark。278pts / 147 comments（HN）。Simon Willison 对月之暗面 Kimi K3 的深度评测，重点分析 pelican benchmark 中暴露的推理模式问题。
  • Kaiser 护士称 AI 和工作监控正在恶化医疗质量 — Kaiser nurses say AI, workplace surveillance are making their jobs, care worse。289pts / 178 comments（HN）。一线医护实名吐槽：AI 辅助诊断 + 电子监控正在把护理工作变成盯着屏幕填表，而非照顾病人。
  • Isomorphic Labs 药物设计引擎：AlphaFold 之后的新边疆 — The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold。35pts / 2 comments（HN）。DeepMind 孵化的药物发现公司发布新一代引擎，从蛋白质结构预测走向实际药物分子设计。
  • 一篇关于 AI 在软件工程中的暴躁檄文 — A grumpy screed about AI in software engineering。21pts / 10 comments（HN）。核心论点：AI 写代码让 junior 跳过「痛苦的学习阶段」，产出的是看起来能跑但没人真正理解的代码库。

☁️ 云计算 / 企业事故

  • AWS 估算账单数据异常——$17 亿 — AWS: Inaccurate Estimated Billing Data – $1.7 billion。1056pts / 642 comments（HN）。🔥 今日最高分帖。正常月账单不到 $5 的用户醒来看到 $1,700,000,000 的估算费用。💬 前 AWS 员工 donavanm 确认根因：pricing plan 中单位类型配置错误，计费系统默认按 byte 而非 GB 计价，5¢/byte 的数据传输费瞬间爆炸——他在职时亲手修过同类事故，凌晨 2 点被 support 叫醒，4 点前发完修正和致歉邮件。
  • FAA 再次允许 Boeing 自行签发 737 MAX / 787 适航证书 — FAA lets Boeing sign off on 737 MAX, 787 airworthiness certificates again。122pts / 68 comments（HN）。监管倒退。FAA 将部分认证权限交还 Boeing 内部人员，评论区一片「还记得 MAX 吗」。
  • DrDroid (YC W23) 招聘 — HN job posting（HN）。

🦀 Rust / Zig / 系统编程

  • 我们的 Rust→Zig 重写在怎么做 — How Our Rust-to-Zig Rewrite is Going。△175 / 63 comments（Lobsters）。🔥 Lobsters 本周最高分。Roc 语言团队将编译器从 Rust 重写为 Zig 的详细记录：300K 行 Rust 中有 1200 处 unsafe，编译速度提升 100 倍。💬 Rust 编译器团队成员 ralfj 开火：文章声称 rustc 有 40,000 处 unsafe 是「完全胡扯」——那是 stdlib 的数据，编译器本体不到 2000 处。作者 rtfeldman 承认区分不够清晰，但坚持他们的编译器确实需要比 rustc 更多的 unsafe。Lobsters 上好久没见到这种级别的技术交锋了。
  • Topcoat：Rust 全栈框架 — Topcoat: The full full-stack framework for Rust。44pts / 27 comments（HN），△4（Lobsters）。Tokio 团队出品，自称「batteries-included」的 Web 框架，对标 Rails/Laravel。
  • Postgres-in-Rust：数据库界的 LLVM — We’re building Postgres in Rust. Using the LLVM of databases。△30（Lobsters）。用 Rust 重建 Postgres，底层用 Apache DataFusion 做查询引擎。
  • Freya 0.4：Rust GUI 库 — Freya 0.4 - Rust GUI library。△15 / 1 comment（Lobsters）。基于 Dioxus 的桌面 UI 框架，新版本改进了文本渲染和布局性能。
  • Moonstone：Zig 写的现代 Lua 运行时和包管理器 — Moonstone: Modern, cross-platform Lua runtime and package manager written in Zig。5pts（HN）。

🗄️ 数据库

  • SQLite 应该引入 Rust 风格的 editions — SQLite should have (Rust-style) editions。△139 / 36 comments（Lobsters）。作者受 Lobsters 自身迁移到 SQLite 的启发，提出 SQLite 应该用 edition 机制处理向后不兼容的默认值变更（如外键默认关闭、类型亲和性等）。💬 评论区建议用 CREATE DOMAIN 替代文中提出的 CREATE TYPE，可以带上默认值和约束，大幅减少 schema 定义中的重复 CHECK。
  • 运行 SQLite 的几个经验教训 — Learning a few things about running SQLite。166pts / 40 comments（HN），△37 / 3 comments（Lobsters）。Julia Evans 一如既往的实操风格：WAL 模式的坑、连接池陷阱、并发写入的正确姿势。
  • 静态搜索树：比二分查找快 40 倍 — Static search trees: 40x faster than binary search。52pts / 3 comments（HN）。利用 Eytzinger 布局和 SIMD 实现的静态搜索树，对排好序的只读数据有显著的缓存友好加速。

🔒 安全 & 隐私

  • TP-Link Kasa 摄像头通过未认证 UDP 泄露家庭 GPS 长达 6 年 — TP-Link Kasa cameras leaked home GPS via unauthenticated UDP for 6 years。22pts / 2 comments（HN）。Kasa EC71 型号向 TP-Link 服务器发送未加密 UDP 包，内含精确 GPS 坐标，任何中间网络节点都可以嗅探到。受影响固件存在了六年才被发现。
  • PACT：Web 匿名凭证协议（Mozilla） — PACT: Anonymous Credentials for the Web – Mozilla Hacks。△9（Lobsters）。Mozilla 提出的隐私保护认证标准，允许网站在不追踪用户身份的情况下验证其属性（如年龄）。
  • 德州法院下令暂停色情网站域名——因违反年龄验证法 — Texas wins court order to suspend domain name for violating age-verification law。126pts / 142 comments（HN）。德州检察长拿到法院命令直接封域名，而非仅仅罚款。这条和下面的 GUARD Act 是一对——美国的年龄验证立法正在从「要求网站加弹窗」升级到「直接拔网线」。
  • Stop the GUARD Act and age verification laws worldwide — △21（Lobsters）。社区组织的反对请愿，针对美国国会正在推进的 GUARD 法案——该法案要求所有「对未成年人有害」的网站实施强制年龄验证。
  • Show HN: 实时观看机器人攻击 SSH 蜜罐 — Show HN: Watch bots interact with an SSH honeypot in real time。140pts / 50 comments（HN）。一个暴露在公网的 SSH 蜜罐的可视化直播，实时展示全球自动化攻击脚本的登录尝试和命令执行。

💻 编程语言

  • Linus Torvalds 谈 LLM 在内核开发中的使用 — Linus Torvalds on LLM usage in kernel development。△146 / 135 comments（Lobsters）。Linus 在 LKML 上建议用 LLM 辅助 review patch，被 DRM 维护者 Laurent Pinchart 拒绝后展开了一场关于「技术理由 vs 个人信念」的激烈讨论。💬 Lobsters 评论区不买账，最高票评论（△79）指出 Linus 自己先用 LLM 的便利性作为论据（本质上是信念），却要求反对者提供纯技术理由——双向标准。另一条高票评论（△42）承认 LLM 有效，但认为它们集中体现了 Linux 最初想要避免的行业问题，Linus 被便利性的表象动摇了立场。
  • H-E-B 超市的 Haskell 企业实践 — Enterprise Haskell at H-E-B。△12 / 1 comment（Lobsters）。德州连锁超市 H-E-B 在生产环境中用 Haskell 构建物流系统，真实企业场景的函数式编程案例。
  • Lobsters 访谈：matheusmoreira 聊 Lone Lisp — Lobsters Interview with matheusmoreira about Lone Lisp。△11 / 1 comment（Lobsters）。个人用 Lisp 独立开发完整工具链的经历和哲学——一种极端的「一人 Lisp 机器」实践。
  • MoonBASIC：用于 2D/3D 游戏开发的现代 BASIC — MoonBASIC: A modern BASIC for building 2D and 3D games。52pts / 17 comments（HN）。复古与现代的碰撞：类 QBasic 语法 + Lua 脚本 + WASM 目标，支持 3D 渲染。
  • Scala on Go — △1（Lobsters）。在 Go 运行时上实现 Scala 的实验项目——两个生态系统的奇怪联姻，分数低但想法够野。

🛠️ 工具 & 开源

  • Forgejo v16.0 发布 — Forgejo v16.0 is available。△75（Lobsters）。自托管 Git 平台的大版本更新，重点改进 CI/CD 和联邦功能。
  • Microsoft Comic Chat 开源 — Microsoft Comic Chat is now open source。△48（Lobsters）。1996 年那个用漫画气泡展示 IRC 聊天记录的经典软件，微软终于把源码放出来了。评论区一片怀旧狂潮。
  • Fedichat：联邦宇宙版 Comic Chat — Fedichat - Comic Chat for the Fediverse。△4（Lobsters）。受 Comic Chat 启发的现代复刻，连接 ActivityPub 协议。
  • Open Book Touch：开源电子阅读器 — Open Book Touch: open-source e-reader。57pts / 13 comments（HN）。基于 ESP32 的开源触屏阅读器硬件项目，Crowd Supply 众筹中。
  • Stenchill：3D 打印焊锡膏钢网生成器 — Stenchill: 3D Printable Solder Paste Stencil Generator。7pts（HN）。上传 PCB Gerber 文件，自动生成可 3D 打印的钢网模型——硬件爱好者的实用小工具。
  • Google 设计 emoji 的新思路 — Designing emoji for the way we communicate today。60pts / 75 comments（HN）。Google 发布 Noto 3D emoji 字体，讨论 emoji 设计如何适应现代通讯场景。

🎮 轻度 / 历史 / 奇技

  • Zilog Z80 诞生 50 周年 — The Zilog Z80 has turned 50。167pts / 51 comments（HN），△21（Lobsters）。1976 年 7 月发布，驱动了 ZX Spectrum、Game Boy、TI 计算器，至今仍在嵌入式系统中服役。
  • 自建 AIM 即时通讯服务器 — Here’s how I host my own AIM server。△35 / 22 comments（Lobsters）。用开源实现复活 AOL Instant Messenger 协议，还写了完整的自建指南。2000 年代互联网考古。
  • 经典游戏主机的技术奇技淫巧 — Classic console tech tricks。△2（Lobsters）。NES/SNES 时代的硬件 hack：CRT 扫描线同步、卡带内扩展芯片、伪高分辨率模式。
  • 乐高说明书的历史演变 — Lego building instructions through time。62pts / 9 comments（HN）。从纯文字到无文字纯图示——乐高说明书的设计哲学变化折射出半个世纪的视觉传达史。
  • 给铁轨侧面刷白漆以防脱轨 — Painting the sides of railroad rails white to reduce derailment。46pts / 16 comments（HN）。Union Pacific 用白漆降低钢轨温度 10-15°F，减少热胀引发的扭曲脱轨——简单粗暴但有效的物理方案。
  • Show HN: 400 万条维基百科事件的可缩放时间线 — A zoomable timeline of 4M Wikipedia events。61pts / 23 comments（HN）。从大爆炸到昨天的所有历史事件，缩放 UI 做得很流畅。

📝 今日总结

周六的技术社区没有因为周末而降温。AWS $17 亿账单事件是今天当之无愧的流量中心，前员工的现身说法让这场「虚惊」变成了一堂云计费系统的架构课。Linus 在 LKML 上推销 LLM 引发的反弹表明，即使是他这个级别的权威，在 kernel 社区也无法靠个人声望推动有争议的工具采纳——这是好事。Rust→Zig 重写记在 Lobsters 上拿到了 175 票，Rust 编译器团队亲自下场纠正数据，这种高质量的技术交锋是社区最有价值的产出。必读三条：AWS 账单事故 + Linus vs Laurent 论战 + Rust→Zig 重写记录。横向信号：开源 AI 围剿闭源的叙事在加速，SQLite 的生态讨论从「该不该用」进入「怎么用得更好」的阶段。