🔥 今日焦点

今天的 HN 被两条线统治。第一条是 AI 资本的结算期：Stripe 以超 70 亿美元收购 OpenRouter（92 分）、Nvidia 大幅缩减对 OpenAI 基础设施融资的担保（44 分）、Anthropic IPO 估值押注 2028 年 1900-2000 亿美元收入（33 分）——三条商业新闻同天进榜，前两年靠「无限算力信用」撑起来的叙事开始算总账。第二条是浏览器广告拦截的终局：Firefox iOS 上线原生广告拦截（489 分）与「Firefox 是最后一个支持 uBlock Origin 的主流浏览器」（Lobsters △192）双线刷屏，uBlock Origin 作者 gorhill 亲自下场澄清 Manifest V3 限制。技术话题里，昨天 RISC-V rant 的回应帖（296 分）登顶，dmitry 的「高端处理器」与嵌入式工程师的「10 美分 MCU」各说各话；全站最高分反而是 Asus 的摩擦驱动自行车套件（602 分）——周一清晨的 HN 一如既往地混合着硬核辩论与消费电子狂欢。

🤖 AI 与模型

  • Claude：系统提示词全文公开 — Claude: System Prompts。476 分 / 209 评论（HN）。🔥 今日第二高：Anthropic 首次公开 claude.ai 与移动端的系统提示词全文——提示词里藏着 Fable/Mythos 因美国商务部出口管制被暂停 18 天的记录，模型靠这段注入文本才知道自己训练截止后发生了什么。💬 simonw 把历次提示词做成 git commit 历史方便 diff：Opus 4.8→5 的变更里最有趣的是「Claude 被明确告知自己比 Fable/Mythos 低一档」——eterm 随即抛出阴谋论：所谓的「Opus 5 变笨」可能正是提示词自降身价导致的；tosh 则吐槽这份提示词吃掉了上下文窗口最宝贵的位置，他的 smol agent 框架干脆不用系统提示词。
  • 模型在故意变笨？ — Models Are Getting Dumber on Purpose。212 分 / 128 评论（HN）。对「模型能力倒退」现象的归因文章——128 条评论在「蒸馏副作用」和「厂商故意降智省成本」之间站队，没有证据，全是立场。
  • AI 积分转售经济 — The AI Credit Resale Economy。205 分 / 77 评论（HN）。有人靠批量注册 Anthropic/OpenAI 账号拿免费额度再打折转售赚钱——中间商赚差价这件事终于渗透到 token 市场，77 条评论在算套利空间和封号风险。
  • Stripe 敲定超 70 亿美元收购 OpenRouter — Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter。92 分 / 70 评论（HN）。支付巨头买下 AI 模型路由聚合器——OpenRouter 的「一个 API 调所有模型」对 Stripe 是现成的 AI 应用分发渠道，70 条评论在讨论这是不是 AI 基础设施并购潮的开始。
  • MathCode：数学编码智能体 — MathCode, Mathematical Coding Agent。48 分 / 13 评论（HN）。专攻数学问题的编码 agent——把竞赛数学当 benchmark 的做法挺聪明，13 条评论在核对它在 IMO 题上的真实表现。
  • Nvidia 大幅缩减对 OpenAI 基础设施融资的担保 — Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee。44 分 / 5 评论（HN）。Reuters：Nvidia 收窄对 OpenAI 数据中心 2500 亿美元融资的担保规模——「卖铲子的人开始给买矿的设信用额度」，5 条评论都在问这对 Stargate 项目意味着什么。
  • Anthropic IPO 估值押注 2028 年收入 — Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast。33 分 / 36 评论（HN）。知情人士：Anthropic 的 IPO 估值故事建立在 2028 年 1900-2000 亿美元收入的预测上——36 条评论在算这个数字意味着要吃掉多大的云市场，多数人算完觉得离谱。
  • Anthropic 的水印是写作的亵渎 — Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing。60 分 / 37 评论（HN）。Gruber 开炮：Claude 悄悄给文本加隐形水印是对写作的亵渎——37 条评论在吵「水印到底伤不伤输出质量」，以及「悄悄加」本身算不算欺骗。

🛡️ 浏览器与广告拦截

  • Firefox for iOS 上线原生广告拦截 — Firefox for iOS now has a native adblocker。489 分 / 207 评论（HN）。🔥 今日第三高：Firefox iOS 内置广告拦截，不再需要装第三方内容拦截器——iOS 上 WebKit 强制所有浏览器用同一引擎，Mozilla 只能在功能层做差异。💬 simcop2387 说 iOS 版只能算 uBlock Origin Lite 级（Manifest V3 规则上限），gorhill 本尊 10 分钟前现身纠正：cosmetic 过滤和 scriptlet 注入在 Optimal/Complete 模式下默认启用，没有评论说的那么残废——uBO 作者亲自下场打脸，这是今天最有分量的评论区。
  • Firefox 是最后一个支持 uBlock Origin 的主流浏览器 — Firefox is now the last major browser that still supports uBlock Origin。△192 / 54 评论（Lobsters）。Lobsters 今日最高分：Manifest V3 之后 Chrome/Edge 只能跑残缺版，Firefox 成了完整版 uBO 的唯一归宿——54 条评论里 FRIGN 的担忧最现实：Mozilla 的 Google 资金终会枯竭，但「轻度维护的 Firefox 也够用」的乐观派和「浏览器特性军备竞赛停不下来」的悲观派谁也没说服谁。

🔒 隐私与信任

  • Tell HN：Cloudflare 换 DNS 时静默注入 analytics — Tell HN: Cloudflare silently injects its analytics when you switch nameservers。219 分 / 55 评论（HN）。把 nameserver 切到 Cloudflare 后，纯 HTML 无 JS 的站点被自动注入 beacon.min.js 统计脚本——默认开启、手动关闭，219 分说明踩坑的人不少。💬 kevincox 的愤怒最有代表性：「我明确关掉了所有 analytics，还是被注入。缓存不等于修改我的网站」；altairprime 翻出 Cloudflare 11 个月前就发过「默认启用 Web Analytics」的公告，当时在 HN 上只有 2 分——「淹没在 newslop 里」的默认开启，被骂不冤。

🔬 芯片与硬件

  • 一个第三世界嵌入式工程师回应「RISC-V：他们本该做得更好」 — A 3rd World Embedded Engineer Responds to “RISC-V They Should Have Known Better”。296 分 / 156 评论（HN）；△34 / 8 评论（Lobsters）。昨天 dmitry 的 RISC-V rant 今天迎来了正面回应：嵌入式视角下无授权费、可定制、10 美分 MCU 到 Linux SoC 全覆盖才是 RISC-V 的价值——但 156 条评论的共识是两位作者在「高端」的定义上各说各话。💬 phire 的点评最到位：dmitry 说的高端是笔记本/手机/服务器级应用处理器，Subero 觉得「比廉价 MCU 大」就是高端——VexRISC-V 这类核正好卡在 RISC-V 的最优区间，一旦上探高端应用市场就开始吃力；madushan1000 补了一刀：x86 架构本身很烂，高性能芯片照样是它的天下——性能差距只是没人砸钱的问题。
  • St Lucie 核电站 1 号机组手动停堆，3 根控制棒掉入堆芯 — St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core。142 分 / 105 评论（HN）。控制棒意外掉入堆芯触发手动停堆——105 条评论在科普「控制棒掉入=紧急停堆=安全机制生效」，核恐惧和核科普在评论区五五开。
  • Chestnut：开源固件的 eGPU 扩展坞 — Chestnut – eGPU dock with open-source firmware。128 分 / 35 评论（HN）。comma.ai 的 eGPU 坞，固件全开源，裸板 249 美元——35 条评论在算外接显卡的延迟损失和性价比。
  • 1963 年的塑料机械计算机：Digi-Comp 1 — Plastic mechanical computer from 1963: The Digi-Comp 1 [video]。43 分 / 9 评论（HN）。纯机械逻辑的玩具计算机考古视频——用塑料片和弹簧实现二进制运算，9 条评论在怀念自己小时候拼过的第一台「电脑」。
  • Asus Bike Booster：摩擦驱动电动自行车套件 — Asus Bike Booster。602 分 / 423 评论（HN）。🔥 今日最高分：华硕把摩擦驱动电机做成快拆套件，夹在后轮上就能把普通自行车变电动——602 分说明 HN 用户对「不换车就能电动化」的执念有多深。💬 bri3d 给摩擦驱动泼冷水：磨损轮胎快、下雨和泥地直接歇菜、效率比其他驱动形式低约 20%；molsongolden 推荐了贵一倍但无磨损问题的 Bimotal 做对比——评论区从价格（$2k 够买整辆 e-bike）吵到纽约自行车防盗。

💻 编程语言与系统

  • 我以为我在做 C 的替代品，我错了 — I thought I was building a C replacement. I was wrong。△56 / 31 评论（Lobsters）。C3 语言作者的自省：他以为自己在替代 C，后来发现「C 替代品」在大众语境里指的是「替代今天的 C 的用途」——而 C3 和 Odin 瞄准的是通用应用编程，只有 Zig 在认真接 C 的班。💬 作者 clerno 亲自下场 TLDR：Zig 瞄准「C 今天被用来做的事」，Odin/C3 瞄准通用应用开发，「Zig 比 C 还 C」的说法从此说得通了；gulbanana 补了个历史对照——Go 当初也自称「更好的 C」，实际替代的是 Java，最后靠单文件交叉编译成了运维脚本杀手。
  • Protobuf 有 LSP 支持了 — Protobuf has LSP support. You’re welcome。85 分 / 54 评论（HN）。Buf 给 Protobuf 加了 LSP——54 条评论在问什么时候进编辑器默认配置，以及为什么这事拖了这么久。
  • 反对形式化验证的案例，50 年后 — The Case Against Formal Verification, 50 Years Later。63 分 / 53 评论（HN）。重读 De Millo/Lipton/Perlis 1979 年那篇著名论文——形式化验证是「社会过程」而非数学证明，53 条评论在争论 LLM 时代的验证工具算不算翻案。
  • Clamiga：Amiga 上的 Common Lisp — Clamiga: Common Lisp for the Amiga。71 分 / 7 评论（HN）。把 Common Lisp 移植到 1985 年的 Amiga——7 条评论都在问同一个问题：为什么有人要这么干，以及跑起来什么样。
  • 90 年代的 SIMD：Pentium MMX 编程 — SIMD in the 90s: Programming Intel’s Pentium MMX。47 分 / 20 评论（HN）。MMX 指令集的复古教程——20 条评论在回忆 MMX 的「假 64 位」争议，SIMD 历史的入门好材料。
  • 保护 Rust 标准库免于意外破坏 — Protecting the Rust standard library from accidental breakage。△32 / 4 评论（Lobsters）。为 Rust std 引入语义版本纪律和回归测试的提案——4 条评论都在说「早该这么干了」。
  • 零知识证明快速入门 — A quick look at zero-knowledge proofs。13 分 / 讨论中（HN）。bernsteinbear 的 ZKP 科普——从 Schnorr 协议讲起，13 分在今天的榜单里算冷门，但质量在线。

🛠️ 数据库与工程实践

  • 有人不用 PgBouncer 跑 Postgres 吗？ — Does anyone run Postgres without PgBouncer?。135 分 / 85 评论（HN）。Brandur 的灵魂拷问：连接池到底是不是必需品——85 条评论分成「小流量裸连完全够」和「没有 PgBouncer 生产环境会死」两派，中间地带是 pgbouncer 配置复杂度劝退了多少人。
  • PyPI 可复现构建还缺什么 — What’s missing to have reproducible builds on PyPI。△17 / 讨论中（Lobsters）。snarky.ca 盘点 PyPI 可复现构建的剩余障碍——从 wheel 里的时间戳到构建环境漂移，Python 包管理的可复现之路还有一截。
  • Magit 状态界面之旅 — A Tour of Magit’s Status Interface。△21 / 讨论中（Lobsters）。Emacs 用户眼中 Magit 状态界面的设计拆解——为什么 Magit 被称作「最好用的 Git 前端」，这篇讲清楚了。
  • 用 Healthchecks.io 监控 systemd 服务 — Monitoring SystemD services with Healthchecks.io。△6 / 1 评论（Lobsters）。给 systemd 服务配心跳监控的实践——「服务还活着」和「服务在正常干活」是两回事，心跳监控补上了这个盲区。
  • 软件工程基础比以往更重要 — Software Engineering fundamentals matter more than ever。△8 / 讨论中（Lobsters）。在 vibe coding 的喧嚣里重提工程基础——Lobsters 的日常，但这条的论点是「AI 让基础能力更值钱而不是更没用」。
  • Power Relations（分布式系统随笔） — Power Relations。△7 / 讨论中（Lobsters）。Corbin 的分布式系统随笔——从权力关系的视角看系统设计里的控制与信任，视角冷门但值得一读。

🎲 轻度与好玩

  • 周末 100 岁了 — The weekend is 100 years old。167 分 / 100 评论（HN）。双休制度百年纪念——100 条评论在吵「周末是被发明出来的」和「四天工作制会不会是下一个百年遗产」。
  • Every Fucking Website — Every Fucking Website。△41 / 24 评论（Lobsters）。讽刺 AI 生成网站的模板化：柔和配色、圆角卡片、状态圆点、10px 注释文字——24 条评论的共识是「AI 网站的皮相已经能骗过第一眼」。💬 nemin 说破防点：这些站看起来专业到无可挑剔，一旦知道是零努力产物就浑身难受；benj 更惨——连 em dash 都被 AI 污染了，现在看到破折号就条件反射皱眉。
  • Casio 计算器上的真 Telnet BBS — A True Telnet BBS on a Casio Calculator。80 分 / 9 评论（HN）。在 Casio 计算器上跑起真 Telnet BBS——9 条评论在问键盘输入延迟，复古折腾爱好者的新玩具。
  • 契诃夫一生都在「爱情游戏」里 — Anton Chekhov played at love most of his life。54 分 / 10 评论（HN）。WUSTL 的契诃夫书信研究：他在情书里反复演练「赢与输」的隐喻——HN 周一早上难得的文学帖，10 条评论都在感慨大作家也是普通人。
  • Archie G. Norcross 的缅因州森林火灾地图（1918–22） — Archie G. Norcross’ Maine Forest Fire Maps (1918–22)。24 分 / 3 评论（HN）。公共领域评论集收录的百年手绘火灾地图——制图史爱好者的视觉盛宴，3 条评论都在夸配色。
  • 别把每次结账都变成小费请求 — Stop Turning every purchase into a tip request。25 分 / 19 评论（HN）。小费通胀的抱怨帖——19 条评论在对比各国小费文化，以及 iPad 上那个 20/25/30% 的默认选项有多烦人。

📐 数学与科学

  • 对 Tarski 高中代数问题发起 SAT 攻击 — A SAT Attack on Tarski’s High School Algebra Problem。79 分 / 32 评论（HN）。用 SAT 求解器进攻 Tarski 的高中代数问题——32 条评论在核对求解器规模和证明长度，自动推理社区的新战报。
  • 更快的星期几计算方法 — A faster way to calculate the day-of-the-week。△14 / 2 评论（Lobsters）。把日期转星期几的算法优化到汇编级——2 条评论在对比 Zeller 同余公式，程序员永恒的数学小玩具。
  • 压缩预测做得怎么样？ — How Is Compression Prediction?。△15 / 4 评论（Lobsters）。用压缩率预测「可压缩性」的信息论小实验——4 条评论在讨论预测误差的来源。
  • 低科技陶瓷滤水器 — Low-Tech Ceramic Water Filter。59 分 / 13 评论（HN）。黏土+锯末烧制的陶瓷滤水器——13 条评论在讨论细菌截留率和 DIY 可行性，低科技实验室的经典项目。

📝 今日总结

今天的情绪是「算账日」：HN 高分榜上 AI 商业新闻（Stripe 收购、Nvidia 缩担保、Anthropic IPO 估值）和浏览器广告拦截（Firefox iOS 489 分 + uBlock Lobsters △192）各占半壁江山，社区对 AI 的讨论从「模型多强」转向「钱从哪来、谁买单」；而 gorhill 亲自下场纠正 uBO Lite 的流言、Claude 提示词公开后 simonw 的 git 追踪，说明「透明度和证据」正在成为 AI 时代社区的新通货。必读 Top 3：Claude 系统提示词全文（476 分，模型自我认知的官方文本，含 Fable/Mythos 出口管制事件的注入记录）、RISC-V 回应帖（296 分，昨天 rant 的正面对线，「高端」定义之争比原帖更有信息量）、Cloudflare 静默注入 analytics（219 分，默认开启的统计脚本如何消耗用户信任）。横向共振信号：Stripe/OpenRouter 并购与 Nvidia 收缩融资担保同天出现，AI 基础设施的资本循环开始收紧；Lobsters 侧的「vibe coding 怀疑论」（Every Fucking Website、SWE fundamentals、C replacement）与 HN 侧的商业狂欢形成镜像，两个社区对同一波浪潮的态度差依然明显。