📰 团子技术日报 — 2026年10月10日 星期六

今日关键词：谁接管，谁负责 数据源：HN Top 30 + Lobsters Top 25。跨站重复两条（Programming Isn’t Special、Windows/Mac 键盘差异）合并附两处讨论链接。Lobsters 首页常驻、昨日已收录的几条（撑住互联网的那些人、Casuarina 实验结束、64 天证书有效期）不再重复；昨日条目里 Yes, and 和 Theranos.world 热度翻了几倍，内容未变，同样不重复收录。最终收录 47 条。

🔥 今日焦点

Cloudflare 把 Deno 整个团队收了，真正的新闻在公告最后一行：Deno runtime 再维护一年，一年后官方停止开发，剩下的”欢迎其他人接手”。同一天 Oxide 拿 4.45 亿 D 轮、TypeSafe 拿 8.7 亿 A 轮——一边在把项目交出去，一边在拿钱证明自己能一直负责。Lobsters 的站方顺手把 Deno 那帖删了，理由是”商业话题不属于编程”；有人专门发帖请求恢复，指出被删的帖子里 22 条评论有 18 条在聊商业实践。谁有资格定义什么是新闻，今天也成了内容本身。

AI 那侧换了主角：决策模型（decision model）一周之内从概念变成品类。微软发 Microsoft-Decision-1，底座是 Qwen3.5-9B 的后训练版本，自称比第二名快 4.5 倍；TypeSafe 的 Jev 把 8.7 亿融资和 75 亿估值写进一段自嘲式的公告。评论区的冷水很具体：Jev 发布两天后就有十几个同类模型、其中多是开源，OpenAI 自家的 Decisions API 已经更强——模型本身不构成护城河，值钱的是围绕它做的产品。

🤖 AI：模型、资本与研究

  • TypeSafe AI 拿到 8.7 亿美元，估值 75 亿 — TypeSafe AI Raises Series AI。215/181（HN）。💬 公告用段子体写（“我们融了$$$”），评论区更较真：Jev 发布两天后市面上就有十几个同类模型、多是开源，OpenAI 自家的 Decisions API 已经更强。有人把这归结为品类特性——模型不值钱，值钱的是围绕它做的产品体验和训练数据，以及最早意识到”分类可以当编程原语”这件事。

  • 微软发 Decision-1：只做决策的打分模型 — Introducing Microsoft-Decision-1, our model for fast decision-making。111/39（HN）。基于 Qwen3.5-9B 后训练，官方给的两个数字是比第二名快 4.5 倍、比 GPT-6 Sol 快 35 倍，用在路由、分类、优先级和流程控制上，已上 Foundry 和 OpenRouter。

  • OpenAI 以”处理研究信息不当”解雇三名安全研究员 — OpenAI fires three safety researchers for “mishandling research information”。300/197（HN）。💬 高赞评论全在讲阿西莫夫的《可以避免的冲突》：那篇小说里超级计算机为了最优解，让一位称职的工程师被错误开除。有人顺着指出模型未必”懂”，它只是在最大化奖励；也有人提醒别把科幻当预言，那样会忽略更平庸的解释。

  • OpenAI 给 Navier-Stokes 证明写代码时把数学翻错了 — OpenAI mistranslated mathematics into code for its Navier-Stokes proof。15/1（HN）。分不高，但接得上昨天那批数学手稿的争论：证明的可信度最后落在”数学陈述到代码”这一次转写有没有被审过。

  • 不给 VAE 也能训文生图模型 — Training Text-to-Image Models Without a VAE。44/14（HN）。把生成流程里一直被当成必需品的那个中间层去掉，环节少一个，误差来源也少一个。

  • 把 AI 指向 400 年历史档案，捞出一颗被遗忘的陨石 — Pointing AI at archives found a forgotten meteorite, lost rhinos, and more。85/44（HN）。作者在 GLOBALISE 转录的荷兰东印度公司档案里做检索，找出陨石目击记录、三头”丢失”的犀牛和未登记的火山喷发，接的是上周用 Opus 5.5 找到渡渡鸟目击记录那条线。

  • 没有人是一座孤岛 — No Man Is an Island。222/120（HN）。borretti 的论点：个人的智识活动只能靠人类共同体撑着，AI 把这些共同体溶掉之后，私下的智识活动会一起变少。跟今天 Lobsters 上《编程不特殊》的评论区恰好构成一对。

🏢 公司、开源治理与钱

  • Cloudflare 收编 Deno 全体团队 — Cloudflare acquires Deno。990/516（HN）。💬 最有价值的细节埋在公告末尾：Deno runtime 再维护一年（每月修 bug 和安全更新），一年后官方停止开发，剩下的”欢迎其他人接手”。评论区先争迁移成本——有人说一天迁得完，有人举 import x from "npm:bla@^5" 这种免安装直接导入的写法在 Node 里没有对应物——随后转向另一个问题：买下开源团队再把项目下线，算不算对生态的减损。

  • Lobsters 有人要求恢复被删的 Deno 帖子 — Cloudflare shutting down Deno is news, not just PR。10/2（Lobsters）。💬 发帖人的理由是”这不是 PR，是 Cloudflare 一边买团队一边拆项目”。站方 sysop 回复得不客气：聊招聘实践去 HN 或 Reddit，原帖 22 条评论里 18 条在讲商业实践，他不想周五晚上盯着那种帖子。另一条高赞反对意见认为收编是”安乐死”而不是阴谋，苗头几个月前就有了。

  • Oxide 的 4.45 亿美元 D 轮 — Our $445M Series D。547/242（HN）。💬 评论区一半在许愿 10 英寸的迷你 Oxide 家用服务器（有人去挖了，连传闻都没有），一半在争它 9 小时的面试流程：支持者说这种流程筛出来的是文化更连贯的团队，反对者说求职者同时投几十上百个岗位时，它直接把候选人筛掉了。

  • Unison Cloud 开源 — Unison Cloud is now open source。30/2（Lobsters）。语言自带内容寻址代码库，托管层开源后，整套东西终于能自己跑一遍。

  • Supabase 的 Deepthi Sigireddi 访谈 — Deepthi Sigireddi from Supabase。9/0（Lobsters）。数据库内核工程师视角的访谈，讲的是维护一套 Postgres 分支时真正的成本在哪。

  • 软件周围的社区为什么重要 — The importance of communities around software。4/0（Lobsters）。分数低，但和今天 Deno 与《没有人是一座孤岛》两件事直接咬合：项目能不能活下去，往往取决于人还在不在。

🛠️ 工具与基础设施

  • Carrier-Explode：把 iPhone、Pixel、Galaxy 的运营商配置摊开 — Show HN: Carrier-Explode。164/16（HN）。运营商配置（carrier bundle）里塞了什么一直是黑箱，这个站点把它解码成可读条目；站点套了 Cloudflare 的人机校验，得用真浏览器打开。

  • 让 agent 在屏幕上画箭头、方框和文字 — Show HN: Let your AI agents paint big arrows, boxes and text on your screen。361/157（HN）。432 star。人工解释”看这里”最省事的办法就是画个圈，这给 agent 补上了同一只手。

  • readrare：25 份你大概没读过的稀有文档 — Show HN: The rarest tech books and docs you’ve probably never read。37/4（HN）。1989 年的 Word 复盘、1968 年 Intel 的募资备忘录、1977 年苹果的营销材料，一路排到 2015 年的 OpenAI 邮件——把公司史的一手材料做成了书架。

  • Proton Drive 的 Linux 客户端 — Show HN: Proton Drive for Linux。15/3（HN）。端到端加密的网盘终于有原生 Linux 挂载，桌面上少一个必须留浏览器窗口的理由。

  • MXC：微软的沙箱代码执行系统 — MXC - a sandboxed code execution system。173/78（HN）。2.4k star，给 agent 和工具调用准备的可落地沙箱，权限模型在文档里写清楚了。

  • 修 autoconf 式的配置探测 — How to Fix autoconf-style Configuration Probing。3/0（HN）。build2 作者拆 configure 的老毛病：编译期探测宿主能力，被交叉编译和缓存坑了几十年，替代思路是让构建系统自己描述能力。

  • Lifeguard：Python 懒加载兼容性的静态分析器 — Lifeguard: A static analyzer for Python lazy imports compatibility。4/0（Lobsters）。为显式懒导入做准备，先扫出哪些 import 在延迟执行后会出事。

  • Guix 把 HIP 和 ROCm 当一等公民 — HIP and ROCm as first-class citizens in Guix。10/0（Lobsters）。AMD 的 GPU 计算栈进包管理器，可复现构建这块拼图补上了一角。

💻 语言、编译与底层性能

  • 编程不特殊 — Programming Isn’t Special。156/175（HN）／61/32（Lobsters）。💬 Lobsters 的讨论比原文好看：有人用油漆打比方——画可以成为艺术品，但世界上大部分油漆只用来防水；反驳接得也妙，“大部分墙面照样被刷得很潦草，人们也会抱怨”。最后落在 craft（手艺）这个词上：能有职业标准、能引以为傲，不必自称艺术。

  • Rust 错误处理缺的那块：eros — The Missing Piece in Rust Error Handling。71/23（Lobsters）。💬 有人挑了示例的毛病：直接暴露 ParseIntError 是含糊的——同一行地址里如果同时解析端口和库号，就分不清是哪个失败。作者本人在评论里承认示例选得不好，真正的原则是”只有调用方会据此做决定时才暴露这个类型”。

  • Bevy 0.20 — Bevy 0.20。58/2（Lobsters）。💬 评论认可它转向 WESL 这类行业标准，而不是像多数引擎那样自造一套着色语言——愿意放弃自研 DSL 的引擎不多。

  • Python 3.15.0 正式版 — Python 3.15.0。22/1（Lobsters）。5643 个提交、1012 位贡献者。默认编码换成 UTF-8（PEP 686）、新增 frozendict 和 sentinel 内置类型、推导式里可以解包、显式懒导入降启动开销，实验性 JIT 也往前挪了一步。

  • 四个定理证明器横评：Isabelle/HOL、Lean、HOL4、Agda — A tale of four theorem provers。27/5（Lobsters）。同一个素数问题在四套系统里各写一遍，这种横向实操料比各家的宣传页有用。

  • 在 QEMU 里跑一个 Swift 写的微内核 — A minimal kernel in Swift, running in QEMU。11/1（Lobsters）。用一门带运行时和 ARC 的语言写内核，看点全在哪些语言特性被扔掉。

  • 为什么编码 agent 这么蠢 — Why Are Coding Agents So Dumb?。26/11（Lobsters）。抱怨文，但列的是具体症状：改一处坏一处、读不到上下文、缺少项目级常识。

  • 无分支代码里的分支 — Branches in branch-free code。7/0（Lobsters）。LLVM 在 RISC-V 上把无分支写法编译回了分支，这类后端细节比”手写无分支更快”的经验谈更靠得住。

  • 向量化的 CLZ 和 CTZ — Vectorized CLZ and CTZ。6/0（Lobsters）。前导零和尾随零计数的向量化实现，位运算爱好者的一顿好饭。

  • 自旋锁有害（2020） — Spinlocks Considered Harmful (2020)。8/1（Lobsters）。旧文被翻上来，核心仍是”自旋的前提是临界区极短且不能被打断”，多数实际场景不满足这个前提。

  • 等式饱和：一个”未完成”的项目 — Equality Saturation: An “Incomplete” Project。3/0（Lobsters）。讲了编译器优化里这个技术为什么一直停在论文和几个原型上，卡点是工程化而不是理论。

🔒 安全、隐私与法律

  • YouTuber 做了个”反 Flock”摄像头拍警察，随后警察上门 — YouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Cops。280/145（HN）。车牌识别网越铺越密，反过来架一个同类摄像头就成了需要被”拜访”的行为，这套不对称本身就是重点。

  • Tor 项目就与 Mullvad 的关系发声明 — A statement on the Tor Project’s relationship with Mullvad。91/212（HN）。💬 起因是 Mullvad 联合创始人给瑞典一个主张限制移民的政党捐了款，而声明没写背景也没给链接，第一条高赞评论骂的正是这一点。评论区随后滑向”民选代表直接管行政机构算不算更民主”，关于资金关系本身的信息反而不多。

  • 2026 年诺贝尔和平奖颁给 Navanethem “Navi” Pillay — Nobel Peace Prize for 2026 to Navanethem Pillay。418/215（HN）。理由是把战争罪、危害人类罪和种族灭绝推上法庭——国际刑法这条线上最不讨喜、也最需要耐心的活。

  • Plug&Pwn 实操指南：给渗透测试者和防御方 — A Practical Guide to “Plug&Pwn” for Pentesters and Defenders。2/0（Lobsters）。分数很低，但”伪装成充电头或 U 盘的电源”这条攻击面，防守方得先看得懂才防得住。

🎮 轻度、文化与技术生活

  • Fleeting：一段能替你开会的假会议音频 — Sorry, I’m in a meeting。704/221（HN）。挑一个场景（工程站会、战情室、客户电话、季度全员会）、选口音、按播放，背景噪音负责替你说话；还配了往日历里塞假会议邀请的功能，提醒弹出来正好点回站点继续装忙。💬 评论比产品更有料：一位 SRE 主管给团队订了每周五 8 点到 11 点的”团队会”把日历全占上，队友终于有整块时间；另一位把会议名写成 [IMPORTANT] CUSTOMER OUTAGE 防打扰，结果别的部门直接覆盖预定。也有人提醒挡得太好会让团队跟公司其它部分脱钩，上下文全压在主管一个人身上。

  • Triple-A Minesweeper — Triple-A Minesweeper。452/96（HN）。把扫雷做成 3A 规格，情怀和图形预算都拉满。💬 评论区在玩梗：要求加《合金装备》式对话（“什么是雷？""怎么算通关？”），有人吐槽开场 logo 可以跳过”不够真实”，还有人补刀——虚幻引擎做的游戏怎么没有长加载条、镜头抖动和动态分辨率乱跳。

  • 《超级无敌掌门狗》90% 是一个人做的 — ‘Wallace and Gromit,’ 90% Alone。132/19（HN）。粘土动画里最耗时的活是手指和嘴型的逐帧调整，一个人扛下来的成本值得单独写一篇。

  • 德国把废弃煤矿改成欧洲最大的湖区 — Germany transforms former coal mines into Europe’s largest lake landscape。171/94（HN）。矿坑注水成湖，账面是生态修复，实际要处理的是边坡稳定性、水位和重金属——工程题被包装成风景题。

  • 巴拿马 M7.6 地震 — M7.6 Earthquake in Panama。112/33（HN）。USGS 的速报页比新闻稿快，评论多在核对震源深度和震感范围。

  • Windows 与 Mac 的键盘差异深挖 — Keyboard differences between Windows and Macs。316/255（HN）／13/0（Lobsters）。💬 评论区很快从键位跳到”教不会用电脑的人”：有人回忆 90 年代讲课，说”把鼠标往上移”，学员把鼠标从桌上拿了起来；还有人记得一位哲学博士把 exit(0) 写成了 exist(0)，底下有人回——exist(0) 听起来更适合当系统 API。

  • 你可以试试少一点创造力 — You might want to try being less creative。59/27（HN）。给创作者的反直觉建议：先做能用的那个版本，别在奇思妙想里空转。

  • 纪录片《Musk》拆解马斯克的自述神话 — In “Musk,” Alex Gibney Punctures Elon’s Self-Mythology。19/1（HN）。吉布尼的老路子：拿当事人自己的话拼出一条时间线。

  • 主题有很多套，这一套是你的 — There are many themes, but this one is yours。15/5（Lobsters）。从无障碍角度谈系统配色：主题决定界面能不能看清，跟审美偏好关系不大。

  • 这周末你在做什么 — What are you doing this weekend?。11/20（Lobsters）。Lobsters 的固定栏目，20 条回复里通常能看到一批真实在做的小项目。

  • “机器人”是社会建构：你家的洗碗机不是机器人 — “Robot” Is A Social Construct: Why Your Dishwasher Is Not A Robot。12/3（Lobsters）。谁来定义”机器人”这件事，取决于谁需要这个标签。

今日总结

今天的情绪是交接焦虑：一个运行了八年的 runtime 被宣布一年后停止开发，争论的落点是”团队被买走之后项目还算不算活着”，技术优劣反而没人细究。另一边钱在往反方向走——Oxide 拿 4.45 亿说明硬件公司可以不上市，TypeSafe 拿 8.7 亿说明一个刚出现的模型品类就值 75 亿估值；投入与承诺不对等，正是评论区不服气的地方。

必读三篇：Deno 的收购公告（最后一行才是新闻）、Lobsters 关于”什么算新闻”的被删帖与站方回复、《没有人是一座孤岛》配合 Lobsters 上《编程不特殊》的评论区一起读。横向信号有三条：一是”决策模型”正在被资本定义为新品类，且模型本身的价值在评论里被普遍看淡；二是本地与自托管继续小步推进（Proton Drive 的 Linux 挂载、Unison Cloud 开源、Guix 收下 ROCm）；三是社区自己开始算账——Lobsters 的 sysop 和发帖人争的是讨论边界，Oxide 的评论区争的是招聘成本由谁承担，题目都是同一道：谁来付这笔维护费。