🔥 今日焦点

今天是「AI 治理」和「AI 能力」正面撞车的一天。DeepSeek V4 Flash 0731 在 ARC Prize 榜单上拿下 365 分，把「便宜模型追平前沿」的叙事又推进一步；与此同时 Oracle 宣布 OpenJDK 不接受 AI 生成代码、Meta 被新墨西哥法院判赔 5.67 亿美元——AI 写代码带来的法律与信任问题正在从讨论变成规则。三个信号指向同一个判断：AI 的性价比优势已经大到无法忽视，而社区对「谁为 AI 输出负责」的追问也进入了执法阶段。今天最值得读的是 Postgres 查询引擎 300 倍提速那篇——它展示了不用 AI、纯靠工程（batching + operator fusion + SIMD）能把数据库推到什么程度，给被 AI 刷屏的一天留了点清醒。

🤖 AI 与模型

  • DeepSeek V4 Flash 0731 登顶 ARC Prize 效率榜 — DeepSeek V4 Flash 0731。365 分 / 223 评论（HN）。DeepSeek 的新版 Flash 模型在 ARC Prize 上刷新成绩——「小模型 + 强推理」路线的又一次验证。💬 LaurensBER 实测：跑 5-6 个会话、12 路并发，一天花不到 5 美元，CI 里自动修测试、监控日志、安全审计全都可以交给它；abixb 的评论更直白——「美国 AI 实验室有大麻烦了，除非靠国家安全令禁掉中国模型，否则国际市场没人会为前沿模型付溢价」。
  • OpenAI 回应「关键网络能力的前沿」 — Responding to the next frontier of critical cyber capabilities。136 分 / 155 评论（HN）。OpenAI 对网络攻防能力监管的回应文章——AI 网络能力的政策边界讨论，155 条评论里吵的是「OpenAI 到底是在自证清白还是在给军火商递话」。
  • AMD 收购 Taalas：把模型蚀刻进硅片 — AMD acquires Taalas to boost inference performance by etching models in silicon。874 分 / 658 评论（HN）。昨日已报，分数从 232 涨到 874，热度还在发酵。💬 TechTechTech 的类比很准：这就像 4K 视频硬解最终进硅片——「够用」的 LLM 功能会以电池级功耗跑在汽车、家电上；mixermachine 泼冷水：Taalas 的 ChatJimmy 基于 Llama 3.1 8B，而 Kimi K3 有 2.8T 参数，蚀刻芯片想装下旗舰模型还差 350 倍。
  • Show HN: Wyzer 编程语言 — Show HN: Wyzer Programming Language。164 分 / 98 评论（HN）。又一个新的编程语言项目——98 条评论说明 HN 对「第 N+1 门语言」的热情不减，讨论集中在它解决了什么现有语言解决不了的问题。
  • Lost my phone at the office. Claude suggested tracking Bluetooth signal strength — Lost my phone at the office. Claude suggested tracking Bluetooth signal strength。16 分 / 5 评论（HN）。AI 助手的实用主义时刻：用蓝牙信号强度找手机——LLM 当「生活黑客」的日常化案例，评论区在分享自己的 AI 找物经历。

⚖️ 科技公司与法律

  • New Mexico 法院判 Meta 赔 5.67 亿美元 — New Mexico court orders Meta to pay $567m over harms to children’s mental health。708 分 / 384 评论（HN）。新墨西哥州法院裁定 Meta 因损害儿童心理健康赔偿 5.67 亿美元——社媒未成年人保护的标志性判例。💬 tmp10423288442 算了一笔账：新墨西哥只有 200 万人口，Meta 在该州五年收入约 15-20 亿美元，这笔判决相当于没收了它两年多的本地利润，是真正的威慑；tristanj 补充：按受影响未成年人约 13 万算，相当于每个孩子 $7,250——「未成年人注册反而领钱」的怪激励，且上诉后大概率缩水。
  • Oracle 封杀 AI 生成代码进 OpenJDK — Oracle bans AI-generated code from OpenJDK。339 分 / 233 评论（HN）。Oracle 宣布 OpenJDK 不接受 AI 生成代码——讽刺的是 Ellison 曾公开说 Oracle 自己不用 AI 写代码。💬 jerf 的解读最犀利：Oracle 是「带着科技业务的律师事务所」，它想保留起诉别人 AI 洗代码的权利，就不能自己公开收来历不明的 AI 贡献；评论区还翻出 Bryan Cantrill 的经典比喻——「别把 Larry Ellison 拟人化，他就像割草机，你把手伸进去它就会切断，别问它是不是恨你」。
  • App Store Rejection of the Week: Dark Hours — App Store Rejection of the Week: Dark Hours。221 分 / 122 评论（HN）。Gruber 的每周固定栏目：App Store 拒绝理由的荒诞案例——122 条评论里开发者照例吐槽审核一致性。
  • 2027 内存产能被传售罄 — 2027 memory capacity is reportedly sold out。191 分 / 170 评论（HN）。「RAMageddon」续集：2027 年内存产能据报已被预订一空——AI 训练吃光 DRAM 产能的连锁反应，170 条评论里满是「内存价格又要起飞」的哀嚎。

🔒 安全、反爬与隐私

  • 和爬虫搏斗一年：150 万页网站的血泪史 — A year of fighting scrapers on my 1.5 million-page website。351 分 / 331 评论（HN）。站长分享 99% 流量是 bot 的一年防御实录——AI 公司爬虫的军备竞赛受害者视角。💬 jwr 的评论点出更深的问题：把「谁能看你的网站」的决定权外包给 Cloudflare，等于让一家大公司决定开放网络的边界，用户被误伤时毫无申诉渠道；baby_souffle 现身说法：过度激进的反爬把真买家都挡在门外了——「那家 $2000 电器的店，我永远不会在它家下单」。
  • 水系统控制器不该上网，前 NSA 局长说 — Water system controllers don’t belong on the internet, says ex-NSA chief。63 分 / 30 评论（HN）。疑似伊朗攻击水务系统后，前 NSA 局长呼吁工业控制器别联网——OT 安全的常识被反复验证，评论区的共识是「这东西 30 年前就该立法」。
  • tl;dv：181,874 场会议记录裸露公网（热度延续） — tl;dv (Too Lazy; Didn’t Validate): 181,874 Meetings Left Wide Open。△183 / 45 评论（Lobsters）。昨日已报，今天 Lobsters 分数从 114 涨到 183。💬 公司官方回应被社区逐句拆解：声称「需要技术高超的黑客才能访问」，sjamaan 一针见血——「这就是把『递增 URL 数字』包装成超级攻击的老把戏」；stephenr 指出公司说「立即修复」但 6 个月后漏洞仍可复现。
  • 设备如何自主发现加密 DNS — How a device finds encrypted DNS by itself。△6（Lobsters）。加密 DNS 自动发现的机制科普——DDR（Discovery of Designated Resolvers）的小众但扎实的技术文。

🛠️ 工具与基础设施

  • 让 Postgres 分析查询快 300 倍 — Making Postgres 300x faster for analytics: batching, operator fusion, and SIMD。223 分 / 99 评论（HN）。靠 batching、算子融合和 SIMD 把 Postgres 分析查询提速 300 倍——不换数据库、不加硬件的纯工程优化。💬 评论区在讨论这套优化离上游多远、以及 PG 的 executor 重构是不是该提上日程了。
  • Kitesurf：跑在 V8 isolate 里的 agent 浏览器 — Kitesurf: Agent-first browser that runs in V8 isolates。143 分 / 41 评论（HN），△6（Lobsters）。Cloudflare 的 agent-first 浏览器，把浏览器跑进 Workers 的 V8 isolate——无头浏览器赛道的新玩家，评论区讨论的是「跟 Playwright 比有什么本质区别」。
  • Show HN: textlog——安静的纯文本微博客 — Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS。123 分 / 55 评论（HN）。无 JS 的纯文本微博客平台——反算法、反追踪的极简主义，55 条评论里一半在问「怎么防 spam」。
  • Carl’s Required Reading — Carl’s Required Reading。74 分 / 9 评论（HN）。一份「必读清单」——按领域整理的经典阅读列表，评论区在补充自己心中的必读。
  • 为什么银行流水金额全是负数 — Why are all the amounts values negative?。23 分 / 3 评论（HN）。银行对账单解析的冷知识：复式记账法里金额符号的约定——小众但看完恍然大悟。
  • web 服务器部署模型在 hobby 规模崩坏 — the web server deployment model breaks at hobby scale。△30 / 26 评论（Lobsters）。昨日已报，分数从 △2 涨到 △30。个人项目的部署复杂度问题持续引发共鸣——26 条评论里全是「我就想跑个静态页，为什么要懂 Kubernetes」的认同。

💻 编程语言与逆向工程

  • Assembly Hall of Shame：CPU 性能垫底大赛 — Assembly Hall of Shame。205 分 / 45 评论（HN），△6（Lobsters）。xoreaxeaxeax（Sandsifter 作者）的新仓库：汇编「耻辱堂」——收集 CPU 上跑得最烂的指令序列。💬 评论区在争论哪些指令组合该上榜，以及这到底是硬件 bug 考古还是性能调优的反面教材。
  • Guarded Methods in OCaml — Guarded Methods in OCaml。41 分 / 2 评论（HN）。在 OCaml 里实现「guarded method」的工程实践——OCaml 社区的小众技巧文。
  • REpsych：逆向工程中的心理战（2015） — Psychological Warfare in Reverse Engineering (2015)。37 分 / 2 评论（HN）。xoreaxeaxeax 的老文重发：对抗性代码混淆的心理战术——和 Assembly Hall of Shame 同一天上榜，作者在 HN 上的一天。
  • Zig 的 Io.Threaded 很妙（热度延续） — Zig’s Io.Threaded is Neat。△78 / 9 评论（Lobsters）。昨日已报，分数从 △20 涨到 △78。💬 andrewrk 亲自下场回应「取消语义」的质疑：std.Io 是跨平台抽象，不一一对应系统调用，Threaded 实现在所有 POSIX 系统上支持全部操作的取消，唯一 todo 是 DNS 解析的 getaddrinfo_a/gai_cancel。
  • jujutsu 0.44.0（热度延续） — jujutsu 0.44.0。△66 / 31 评论（Lobsters）。昨日已报，分数从 △48 涨到 △66。jj 的常规版本更新，评论区在讨论 0.44 的破坏性变更和迁移体验。
  • 在 GNU Emacs 里穿越 git blame 时间线 — Some ways to navigate through ‘git blame’ over time in GNU Emacs。△17 / 2 评论（Lobsters）。Emacs 里按时间线浏览 git blame 的技巧——vcs 考古工作流，小众但实用。

🌌 科学与宇宙

  • 50 万超大质量黑洞的全天图 — An all-sky map of half a million supermassive black holes。126 分 / 33 评论（HN）。SDSS 发布包含 50 万超大质量黑洞的全天图——数据可视化爱好者狂喜，评论区在讨论黑洞质量分布和并合事件。
  • 激进研究：地球生命可能起源了两次 — Radical Study Suggests Life on Earth Arose Twice。75 分 / 75 评论（HN）。新研究提出生命可能从非生命物质中独立起源过两次——75 条评论里进化生物学的业余爱好者们吵得很欢。
  • Ancient Library：1060 部古希腊/拉丁文本，点词即解析 — Ancient Library – 1,060 Greek/Latin texts, click any word to parse it。109 分 / 39 评论（HN）。古典学数字化的漂亮作品：1060 部原文，点任意词出语法解析——数字人文 + NLP 的结合范例。
  • 圣保罗市民把退化区变成城市森林 — São Paulo resident transforms degraded area into urban forest。321 分 / 118 评论（HN）。一个人把城市退化区改造成线性公园的故事——HN 上少见的高分非技术帖，评论区被「一个人真的可以改变城市」打动。

🎮 轻度、怀旧与好玩

  • 我要离开 OpenAI 去建侏罗纪公园 — I’m leaving OpenAI to build Jurassic Park。△120 / 15 评论（Lobsters）。taylor.town 的 AI 行业讽刺文：用 AI 初创的腔调宣布去造恐龙——「我们相信恐龙能摧毁数据中心」。💬 harrigan 的回复是全场最佳：「期待后续系列——『为什么我们不担心涌现繁殖能力』和『侏罗纪世界：扩展满足客户需求』」；评论区还翻出 Naomi Bashkansky 的 telepathy 博客当讽刺原型。
  • 能用纯 emoji 写出有用的 DOS 可执行文件吗 — i wonder if you could make a useful DOS executable with just emoji。△113 / 11 评论（Lobsters）。「beautifully cursed」：用 emoji 字节序列构造 DOS 可执行文件。💬 评论区一路追到完整线程，作者已经跑出了 Mandelbrot——「有人说 emoji 是 Unicode 的 frivolous 添加，这些人直接把它用成了机器码」。
  • Möbius 带填字游戏 — Möbius-Strip Crosswords。49 分 / 5 评论（HN）。在莫比乌斯带上做填字游戏——拓扑学 × 字谜的交叉趣味。
  • 牛津街商铺屋顶为什么有海狸雕像 — Why Are There Statues of Beavers on Top of This Oxford Street Shop?。51 分 / 25 评论（HN）。伦敦历史考据：一家商铺屋顶的海狸雕像背后的故事——「历史考据帖」在 HN 的固定生态位。
  • Petri Net 当音乐序列器 — Petri Nets as a Music Sequencer。61 分 / 20 评论（HN）。用 Petri 网的 token 流动驱动音乐序列——并发模型 × 生成音乐的跨界实验。
  • 从约束模型到可玩的解谜游戏 — From constraint models to playable puzzle games。△14（Lobsters）。用约束求解自动生成解谜游戏关卡——CP（约束编程）的应用向文章。
  • PS3 模拟器在 ARM 上跑快了 — PS3 emulation is fast on ARM now。△12 / 1 评论（Lobsters）。RPCS3 在 ARM 平台性能突破的视频——Cell 架构模拟的持续攻坚。
  • Super Mario Derivations — Super Mario Derivations。△35 / 9 评论（Lobsters）。从 Nix 视角推导超级马里奥——fzakaria 的「用 Nix 构建一切」系列续作，标签 games + nix 的奇妙组合。
  • 让 1998 年的 CD-ROM 世界地图集跑在 Windows 11 上 — I got a 1998 CD-ROM world atlas running on Windows 11。△14 / 7 评论（Lobsters）。儿子在二手店淘到 1998 年世界地图集 CD-ROM，作者折腾让它跑在 Win11——retrocomputing 的温情日常。
  • 1948 年 IBM 系统的真空管触发器模块通电 — Energizing a vacuum-tube flip-flop module from a 1948 IBM system。15 分 / 3 评论（HN）。Ken Shirriff 又一篇复古硬件文：给 1948 年 IBM 604 的真空管触发器模块通电——电子管时代的数字逻辑课。

📝 今日总结

整体情绪：AI 话题从「兴奋」转向「责任与成本」——DeepSeek 的性价比冲击、Oracle 的 AI 代码禁令、Meta 的巨额赔偿同一天出现，社区在认真讨论「AI 输出谁来负责」。必读 Top 3：① Postgres 300x 优化长文（纯工程主义的清醒剂），② Meta 判赔的评论区数学（$7,250/孩子的威慑力计算），③ AMD 收购 Taalas 的「4K 硬解类比」（理解蚀刻芯片路线的关键视角）。横向信号：xoreaxeaxeax 一人占两条（Assembly Hall of Shame + REpsych）、「热度延续」条目集体涨分（AMD 232→874、tl;dv 114→183、Zig 20→78、web deployment 2→30）——今天的榜单是昨天的延续而非刷新，说明这些话题还在社区里持续发酵，值得跟进。