今日有53篇报道得分超过200分,其中21篇为新入榜。对于这个首页而言,今日的阵容出奇地缺乏戏剧性高潮:没有新的前沿模型,没有基准测试的胜利,也没有巨额融资。相反,今天讨论最热烈的两个话题,一个是某国政府淘汰了 Windows,另一个则是法院告知 Anthropic 其自身的安全护栏构成了采购障碍。

今天涨幅最大的报道也并非产品发布。F-Droid 2.0,一个无人会用战略术语包装的 Android 应用商店,在昨天这里报道时为 608 分,今天激增至 1,422 分——这一涨幅超过了本周早些时候发布的三款模型同期内的任何涨幅。


荷兰政府基于 NixOS 构建微软替代方案

892 points · DAWO

DAWO(Digitaal Autonome Werkomgeving Overheid,荷兰政府数字自主工作环境)是内政与王国关系部(BZK)发起的一项倡议,旨在用可替换的组件为荷兰政府雇员构建数字工作空间:包括一个 AI 层、一个基于 NixOS 的操作系统、云基础设施以及协作软件。该仓库基于 flake 构建的 NixOS,拆分为引导(boot)、桌面、环境、硬件、安全加固(hardening)、主机、网络、程序、服务和用户等模块,从而以声明式定义工作环境并实现完全相同的复现。机队管理(Fleet management)由 DAWO-Sextant 提供(作为 Intune 的替代品),并有一个并行的 Fedora Kinoite 轨道作为后备方案。核心仓库此后已从 code.overheid.nl 迁移至 Codeberg,“以促进社区协作”,这正是关键所在:荷兰正努力让其工作环境依赖于任何人都能阅读和构建的代码。

官方陈述的理由是依赖性。社区网站列出的自身脆弱性指出:荷兰政府过度依赖非欧洲技术,导致其面临关键外国系统中断、失去对政府数据的控制权、失去管理自身系统的诀窍、间谍活动以及丧失战略自主权的风险。这不是采购层面的抱怨,而是一个威胁模型,并且与欧洲多个部门两年来写下的句子如出一辙:法国有 Securix 和 Bureautix,德国有 openDesk,且没有一个项目是先驱。

讨论帖中指出了两个不容回避的实际问题。首先是办公套件:正如一位评论者所言,如果 LibreOffice 和 Collabora 不能无缝替换 Microsoft 365,该项目就无法落地,而“毫无摩擦”的前提根本站不住脚——帖子中对一次 Excel 文件通过 SharePoint、PDF、权限反复周折的漫长恶搞,并不是在开用户的玩笑,而是一份替代技术栈所缺乏的功能清单。其次是 NixOS 本身:几位评论者将采用它描述为既是福也是祸,DAWO-Sextant 试图解决的机队管理引导问题依然棘手——系统管理员期待的是 Web 控制台,而不是一个 flake。还有评论指出,这些仓库可能会违反 Codeberg 针对 AI 生成代码的新政策,如果一个追求自主权的项目因此受挫,那将是极具讽刺意味的。

制作像 Times New Bastard 这样的受诅咒字体

837 points · Bastardica

Bastardica 取一个基础字体和一个混入字体,并以固定步长(每 7 个字形、每 2 个字形,随你选择)替换字形,支持可选的缩放和 Y 轴偏移效果,然后构建出可下载的 TTF、OTF 或 WOFF2 文件。预设包括 Sneaky Bastard(Times New Roman,每 7 个字形替换为缩小至 90% 的 Arial)、Impacter(Impact 字体,每隔一个字形进行拉伸)、Nervous Sans(Arial 叠加五次,抖动错位)、Royal Ransom Note(皇家勒索信体)和 Temu Sans。所有操作均在客户端通过 Pyodide 和 fontTools 运行,没有字体文件离开浏览器。

其真正的工程实现取决于一个决定。它没有要求渲染器提供支持,而是将替换实现为针对每种文字注册的 OpenType liga 上下文替换,因此浏览器、设计工具和打印系统都会默认应用它,在整个软件生态看来,该文件就是一个普通字体。叠加三个或更多字体时,步长会开始发生冲突——作者给出的建议是使用质数来降低冲突概率,并坦言排在前面的字体优先。该项目在法律风险上也十分坦诚:将两种字体混合会产生衍生作品,因此商业使用必须核对两者的源许可。

评论区大多充斥着“这是我在凌晨 2 点用 vim 搞出来的”狂欢氛围,这也是对此最合适的回应。唯一一条实质性的评价指出,这是对模因格式(Times New Bastard)的一次重现,但背后有了真正的工具支撑;而将古怪之处参数化为步长的字体,其通用性远超手工捏造的怪异字体。

为什么肝脏具有如此不可思议的再生能力?

537 points · dynomight

这篇文章提出的问题是:为什么人体的绝大部分组织都像一次性消耗品——肾脏受损会永久结疤,牙龈萎缩永远无法恢复,耳鸣会伴随终生——而肝脏却能在愈合时不留疤痕,随年龄增长保持接近满负荷的功能,并能在数月内将捐献的一半肝脏重新长全?文章给出的答案颠覆了常识:脆弱其实是一种特性。作者将其阐述为一种在文前就声明是推测性的生物学统一理论:修复能力是在与无限生长这一故障模式(即癌症)之间进行的权衡,大多数组织最终选择了廉价的瘢痕形成,因为这通常足以维持繁殖,而繁殖正是自然选择唯一衡量的指标。

佐证案例是其中最有趣的部分。绝经期在动物界几乎为人类所独有——少数例外包括虎鲸、短肢领航鲸、白鲸、伪虎鲸、一角鲸以及乌干达的一个特定黑猩猩种群。蝾螈能断肢再生;我们则长出疤痕组织敷衍了事。端粒缩短是因为 DNA 聚合酶无法复制到最末端,从而将细胞分裂次数限制在 50 到 70 次。而且器官移植多数最终失败:即便使用免疫抑制剂,大约 30% 的肾脏也会在十年内被排斥。

评论区承担了纠偏工作,应与原文对照阅读而非读完就信。一位在职病理学家推荐将温伯格的《癌症生物学》(The Biology of Cancer)作为严肃探讨的起点。评论者指出,“神经元不分裂”的说法鉴于现有的神经发生文献已经过时;而“免疫系统可能会攻击胰腺”这一句则混淆了 1 型糖尿病与真正与衰老相关的 2 型糖尿病。最强烈的反对意见针对的是文章关于人体为了其他特性而牺牲伤口愈合能力的论点:伤口愈合不良是手术死亡的主要原因之一,因此这种能力绝非可有可无,而是生死攸关的基石。最令人难忘的评论来自一位接受过切除供肝的移植受者,他证实了肝脏的再生——“可能是因为移植方位的缘故”,它朝错误的方向长了过去——这戏剧性地回应了文章自身关于为什么在所有器官中偏偏是肝脏能够再生的调侃。

丰田让卡罗拉走向纯电

420 points · Electrek

自 1966 年以来,卡罗拉已售出超过 5700 万辆,历经 12 代更迭;而下一代将是一款纯电车(EV)。丰田约一年前在 Japan Mobility Show 上展示了一款概念车,首席执行官佐藤恒治当时的表述是:“无论是纯电动车、插电混动、混动还是内燃机汽车——无论动力来源是什么——我们都要造出人人都想驾驶的漂亮汽车。”预计该平台将是经过深度改造的 TNGA-C 架构,支持所有动力总成,而非纯粹的纯电专用平台。丰田章男在 7 月对 NHK 表示,在中国同行的竞争压力下,公司被迫做出改变,“否则将无法生存”。

请再读一遍那位 CEO 的原话,因为这正是问题的核心所在。“无论动力来源是什么”是一种对冲策略,而一个被设计为兼容所有动力总成的平台,与打造优秀电动汽车的要求背道而驰——评论者指出了雷克萨斯 ES350e,该车共用混动/纯电平台,被广泛批评为平庸的纯电动车,相比之下,从一开始就作为纯电动车设计的 bZ 和 bZ Woodland 则被认为表现合格。二十年来,丰田一直是阻挠电动化最顽固的汽车制造商之一,而作为专门报道电动车的媒体 Electrek,对这段游说历史竟然只字未提。一条热评写道:“在终于妥协之前,他们付出的代价仅仅是二十年的时间以及数百万美元的反电动车游说支出,对吧。”

需求端是这篇报道变得耐人寻味的地方。讨论帖中卡罗拉潜在买家表达的真实偏好既非纯电也非混动——他们想要的是一台装有电驱动力总成、DIN 规格插槽和 Android Auto 的 1995 年款 Starlet,这本质上是对一台廉价机械家电的呼唤。丰田受限的产品线表明它甚至无法提供这样的产品:在希腊,只有混动版 Yaris 和 Yaris Cross 可买,没有汽油版,没有柴油版。而市场对纯电动车为何遇冷给出的答案是:想买的人早就买过了,这正是主流车企纷纷削减项目而非推出新车的原因。电动卡罗拉是一次货真价实的转向,但它更像是一辆在共享平台上诞生的合规积分车,而非丰田真心笃定的产品。

Rails World 2026 开幕主题演讲

416 points · YouTube

DHH 在奥斯汀的 Rails World 开幕式上宣布:“我已经从专业程序员的身份退休”,转而自称为创造者(maker)。演讲的核心内容包括:手写代码对“绝大多数公司的绝大多数程序员而言,已不再是一项具有经济效益的工作”;英语是他用过的最好的编程语言;人类并不一定需要去阅读大模型产出的代码——那应该是例外,“就像在 Sentry 中查看 bug 一样”。到今年年底,“几乎所有领域、几乎所有程序员、几乎所有公司”。37signals 已经停笔不再手写代码,正在将 HEY 重构为覆盖所有平台的原生应用,其后端为智能体编写的 Rust。他依然坚称 Rust 丑陋至极、不该让人类去忍受,但对大模型而言非常合适——既然他不读代码,也就能欣然享受其性能。新版 HEY 的服务器数量预计将从 110 台骤降至接近 10 台;他声称峰值流量完全可以在树莓派上运行。演讲在拒绝 AI 怀疑论的呼吁中收尾:“消极悲观(black pill)是彻头彻尾的懦夫行为。”

这次演讲更适合被解读为一种偏好的表露,而非严肃的预测。Rails 延续了二十年的招牌主张——约定优于配置、小团队、雄心勃勃的产品——在这里被重新包装为“Token 效率”,而 Evil Martians 的智能体评估报告被用来安抚大家:AI 已经非常擅长写 Rails 了。然而,在世界顶级 Rails 大会的开幕演讲上,他却宣布一款旗舰级 Rails 应用正在抛弃 Rails;关于该框架的评价最终缩水为“对像 Basecamp 这样的 Web 应用仍然适用”。前排一位评论者精准地形容现场气氛是“我经历过的最令人困惑的葬礼”。

值得记住的技术反驳来自工程实质。Rust 重写的成功几乎与是否拥有优秀的测试套件成线性正比,而未解之谜在于测试套件协助重写完成之后会发生什么:新功能如何在全新后端上构建,代码质量能否保持。前一天,一位从事 GPU 内核开发的评论者在另一个语境下也对智能体提出了同样的观点——可衡量的目标加上写权限,产生的只是针对特定指标的优化。而在 DHH 立场之下的设计疑问在于:如果每个应用最终都只是智能体的 CLI,那么固执己见的 UI(opinionated UI)其价值就变成了零,这对于一家所有差异化都建立在独特 UI 理念上的公司来说,是一个奇怪的归宿。他在同一场宣称所有人都想要 CLI 的演讲中,却因为 Web 体验不够精致而把 HEY 用六个原生客户端重写了一遍。

我的奇特新爱好:在 Google 地图上漫步东京

409 points · ahmedhossamdev.com

博主的发现是一辆停在东京一条狭窄街道上的白色日产 350Z。作者切换到同一地点最早的街景记录——2009 年——发现它就在那里,位置一模一样,其后的每一次街景拍摄也是如此。他的理解是,没有人会把一辆车遗弃 17 年还保持得如此干净,因此肯定有人在开它,并定期停回原位;而在 Google 的视角中,它从未离开过。帖子的其余部分讲述了这个爱好本身:挑选一个地点,走在街景里,看电线、绿植,看那把靠在墙上好几年的梯子,假装自己身临其境。

评论区把这套相同的机制演化得比原文更为深刻。有人通过街景走过已故父亲生前居住的房子,回退到以前的拍摄记录,看着他在屋里尚且健在的模样。另一个人在读到关于水神殿的文章后,花了几个月时间在 Google Earth 上追踪赫奇赫奇引水渠(Hetch Hetchy aqueduct);还有人找到了霍诺德(Honnold)和考德威尔(Caldwell)攀登酋长岩时的街景影像。最有价值的事实性补充解释了引发该文的谜团:在东京,购车登记必须证明拥有停车位,因此车辆几乎总是停在家里。另一个事实是:因为地震频发,东京的房屋设计寿命通常只有二三十年,所以地皮往往比建筑物更有价值。

阅读这篇内容有两个要点。首先,情感共鸣完全蕴藏在评论区中——博文只是一个引子,那些在旧街景中重新看到已故亲人音容笑貌的人们,完成了一次作者未曾预料的体验。其次,第四条评论指责文章是 AI 生成的,理由是句子短小精悍且存在重复。这种指控如今正越来越多地扣在那些文风随性真诚的真人头上,而这篇文字读起来显然出自一个拥有真实爱好的鲜活个体,而非补全提示词的模型。

Opus 5.5 擅长制作解说视频

393 points · launchvideo.io

给它一个 URL 或一段提示词,就能直接生成 MP4 视频,且整个流程完全没有调用任何视频模型。该管线是部署在 OpenComputer 上的无服务器智能体:一个智能体文件、三个工具,每个任务启动一个全新的微型虚拟机(Amazon Linux 2023 arm64,4 vCPU,8 GB 内存,Node 22),通过网关调用 anthropic/claude-opus-5.5 模型,每条视频大约消耗 9 万输入 Token 和 1.5 万输出 Token,其中绝大多数内容是智能体手写的 HTML 和 CSS 转场标记。web_fetch 返回网页文本、标题、各级标题、最高频使用的十六进制色值及 Google Fonts。check_scene 加载视频画面,并报告采样时间戳上的 JS 错误和可见文本。render_video 负责渲染并上传。

值得借鉴的核心技术是渲染循环。它没有采用录屏手段。页面的所有时钟机制——requestAnimationFrame、定时器、Date、CSS 动画、Web Animations——都被替换成了虚拟时钟,因此每一帧画面都是确定性的 seek 操作,而非与真实墙钟时间(wall time)竞速。分辨率为 1920×1080、30fps,JPEG 帧以 crf 18 的质量直通 libx264。这正是输出结果完全可复现的原因,也是整个流程能够塞进一个仅需在首次工具调用时安装静态 ffmpeg 二进制文件和无头 Chromium 的微型虚拟机的原因。存储设计也相当干净:智能体不保存任何密钥凭据;表单生成一个限定在单一路径且有效期为三小时的 Vercel Blob 上传令牌,工具通过任务 ID 即可拉取。

讨论帖中的异议十分公允,且并未贬低其技术本身。评论者指出,HTML 配合 Playwright 再加上 ffmpeg 的方案早于 Opus 5.5 数年,并不是什么模型专属能力;此外,如果不事先了解主题,画面切换太快根本来不及阅读;而在演示的 Jev 视频中,整整 30 秒都在重复“Jev 由 TypeSafe AI 打造,Jev 更快更便宜”,这是直接抓取着陆页导致的必然结果。热评对这类形式本身的批评比对工具更为严厉:解说视频是一种用以替代文字教程以投放广告的不良设计模式(dark patterns)。这些批评都切中要害。但同样成立的是:确定性时钟是让视频生成变得具有可测试性的关键所在,无论这些 HTML 究竟由谁编写,这一理念都极具迁移价值。

Whiteboard — 专为深思熟虑的软件设计而打造的开源 IDE

385 points · GitHub

/dev/fast(YC W26)推出了一款桌面应用程序,让开发者和智能体能够在同一个工作空间中完成软件架构设计。它基于 CodeOSS 构建,这是一个关键的基础性决定:点击时序图、ER 图或智能体执行轨迹中的某句话,就能直接跳转到对应的底层代码,原生继承了 VSCode 的快捷键和 LSP 支持。智能体获得了在画布上绘图的 SDK,并且内置了一个决策日志,智能体可以查询该日志并关联自己的执行轨迹,让你可以直观看到哪些决策是它自主做出的。他们还用 Rust 编写了一个具备语义和 AST 感知的 diff 查看器:大型新增函数会被精简提炼为伪代码,单元测试和大幅文档修改默认折叠,并且 WASM 插件系统允许用户自定义这些规则。采用 MIT 许可证,支持 macOS 和 Linux(提供 Fedora 构建版本),完全支持自托管。

名称是该项目最薄弱的环节,他们在讨论帖中也半推半就地承认了这一点——之所以选择“IDE”,是因为人们现在习惯在 VSCode 中做代码评审。它在设计上刻意不提供文件编辑功能;他们的理由是,编辑功能会把产品拖向成为调度器或超集工具的泥潭,而他们更希望主导代码理解层。这一论据站得住脚,多位整天评审智能体输出的评论者也表示,语义 diff 正是他们一直渴求的功能。

有两点值得关注。一位用户报告称 Codex 会发出警告:“Whiteboard 要求将仓库数据上传/公开到其创作服务器”——这与“目前仅限本地运行”的宣传不符,正是用户将其用于私有仓库前必须彻底查清的问题。此外,一位评论者指出示例图表中的一个状态流转标签在对应的 diff 中根本找不到支撑,这也是 LLM 绘制图表的普遍风险:无论是否属实,图片看起来总是显得权威可信。团队的付费模式是一个托管的 Web 版本,提供执行轨迹存储和多人协作评审;核心部分仍保持完全自托管。

2DWillNeverDie

318 points · 2dwillneverdie.com

一个像素艺术档案库——汇集了来自《拳皇》(King of Fighters)、《漫威对卡普空》(Marvel vs Capcom)、《怒之铁拳》(Streets of Rage)、《洛克人》(Mega Man)、《银鹰骑士》(Silverhawks)、《装甲勇士》(Cyberbots)等作品的像素画廊及教程——包裹在一个运作机制如同游戏本身的网站中,处处暗藏彩蛋(输入科乐美秘技会有惊喜反应)和交互小细节。互联网档案馆记录该网站大约始建于 2010 年,这也印证了当前版本是纯手工打造而非机器生成的痕迹。

讨论帖争论了为什么 2D 能够经受住时间的考验,而早期 3D 却无法做到,并得出了一个站得住脚的结论:手绘像素之所以在低分辨率下仍具辨识度,是因为艺术家精心挑选了需要表达的细节;而第一代 3D 只有在高保真度下才具有辨识度,当年的硬件根本无法承载。这种怀旧并不仅仅是情绪作祟。卡普空的像素制作工艺反复被誉为“失落的技术”——其格斗游戏和《龙战士》(Breath of Fire)系列的流畅度,至今仍未被延续该格式的独立游戏圈完全超越。

落到实用层面:像素动画是成本最高的部分,几位评论者描述了现代的工作流程:先构建并绑定 3D 角色骨骼,然后将其渲染烘焙成像素动作序列帧(sprite sheet),有时还会将纯 2D 像素混合到 3D 场景中做成 2.5D。面对真实的成本痛点,这是货真价实的工程解法,与人们通常在此类链接中看到的复古情结大相径庭。

Fearless SIMD v1.0

307 points · linebender.org

在最初原型问世八年之后,fearless_simd 迎来了 1.0 版本,彻底将 unsafe 移出了 Rust 中的手写 SIMD。该设计满足了三个层面的诉求:普通的自动向量化与多版本支持(multiversioning)、完整的可移植 SIMD 抽象,以及在需要特定指令时安全访问平台内建函数(platform intrinsics)。当不同平台在边界情况表现不一致时(如动态重排 swizzle、浮点最大值),该库同时提供了在所有平台上表现完全相同的精确变体,以及直接返回硬件原生结果的快速变体,并允许你根据原生向量宽度表达算法,或在算法有严格要求时固定宽度。为了让可移植实现的性能保持竞争力,团队投入了大量精力,相关改进还反哺贡献给了 Rust 和 LLVM 上游。

最有力的证明来自采纳它的项目。FFT 库 PhastFT 放弃了仅限 nightly 的 std::simd 和 multiversion,现在完全基于 fearless_simd 运行在 Rust stable 上。基于它构建的多字节集合搜索工具 memchr-n,在基准测试中的速度甚至超过了标准 memchr 库(即便是在 memchr 原生支持的 1 到 3 字节集合上)。这正是让 SIMD 抽象值得采纳的标准范例:它移除了对 nightly 工具链的依赖,且凭借实测数据而非理念口号胜出。

讨论帖提出的未决问题非常切中要害。这与多年来一直支持便捷动态派发的 ISPC 相比如何?与 Google 的 Highway 相比又如何?Go 语言的努力即将从另一个方向回答这个问题——参见下一节。另一个引发讨论的愿望是编译器辅助的特化:这是 LLM 时代版本的“编译器判断出哪一部分双精度浮点数不可能为 NaN,从而选择更快的 min/max 指令”,目前还没有任何语言能很好地实现这一点。

Go 语言中的平台无关 SIMD

299 points · Go Blog

Go 1.26 为 amd64 添加了 SIMD API,1.27 将其扩展到 arm64 NEON 和 wasm,放在与架构强相关的 archsimd 包中,因为不同硬件的向量宽度和支持的操作差异巨大。1.27 中真正值得关注的改动是一个独立的、完全可移植的 simd 包,大致参考了 C++ 的 Highway:一次编写,在存在 SIMD 的平台上获得接近汇编的性能,在不支持的平台上获得合格的模拟实现,目前支持 AVX/AVX2/AVX-512、NEON 和 wasm SIMD 作为后端。它从类型系统中隐藏了固定大小向量,支持跨平台操作的交集,并通过其他 SIMD 指令进行模拟来补足差异。甚至 Green Tea 垃圾回收器都在使用 SIMD 扫描内存中的存活对象——这不再是冷门的小众技术。

讨论帖提供了官方公告中缺失的基准测量:在一个 wasm 调色板替换基准测试中,可移植 SIMD 比非可移植 API 慢约 11%,但两者都比标量代码快大约 5 倍。这就是一句话能说清的权衡:用极小的常数开销,换取免去针对每个架构编写内建函数大杂烩的代码。有评论者在设置了 CGO_ENABLED=0 的语音转文字和文字转语音项目中使用了该包,报告了相较于纯 Go 的可衡量提升;还有人指出,这是他们见过的第一个可移植抽象,让可变宽度的 SVE 和 RISC-V 向量寄存器变得易于驾驭,而不再是特殊个案。

两点注意事项。这目前属于实验性质,在 Go 的语境下意味着 API 可能会发生变化,且当前实现包含一个由编译器特化消除的类型 switch——一位评论者合理地质疑,在可能运行于未知硬件的二进制文件中这何以实现,在基于它构建之前很值得一读其中的解答。此外,今天的另一篇 SIMD 报道也是一个提醒:“可移植与安全”只有在数据支撑得住时才有意义;两种语言在同一周从完全相反的起点达到了同一点,但谁都没有随公告附带自己的权威基准测试。

加州在追逐长了脚的财富

274 points · Progress and Poverty

加州已确认将亿万富翁财富税列入 11 月的选票:对该州的亿万富翁征收一次性 5% 的税款,分五年缴清,在联邦削减支出后每年筹集约 200 亿美元用于医疗、食品援助和学校。土地经济中心(Center for Land Economics)认为该州选错了税基。其提出的数字是:加州地表之下蕴藏着 8.14 万亿美元的土地价值,这是土地价值税可以覆盖且无法转移到海外的资产。这一论点属于正统的乔治主义——只针对未经改良的土地价值征税,不对建筑物征税;纳税人无法通过搬迁来逃避该税,且作者声称由于土地供给是固定的,税负无法转嫁给租客。

第二个论点恰恰经不起讨论帖的检验。如果一个市场中的每个房东都面临一笔之前未计入成本的新税收,只要市场能够承受,他们为什么不涨租金?支撑这一结论的依据是土地供应是固定的,这虽然属实但并不充分:房东完全可以对别人渴望的地段收取更高租金。此外,这种设想还撞上了 13 号提案(Prop 13)——该提案限制了加州评估房产税的增长幅度,因此土地价值税势必会与一项加州自身政治体制使其不可动摇的 1978 年宪法修正案发生法律冲突。文章引用的报道称,弥补流失的收入大约需要将销售税提高一倍,这引来了针锋相对的回应:其实你们也可以选择削减开支。

其底层还存在一个讨论帖中无人质疑的评估问题。土地价值税要求评估员将土地价值与改良价值拆分开来,而在圣克拉拉县拥有直接经验的评论者描述称,这种拆分基本上是凭空捏造的——有时根据经验法则直接对半劈。对一个被除以二的数字征税,并不比对一个本身就错误的数字征税高明多少。这篇文章出自一个明确以推进乔治主义为宗旨的机构,是一份论据详实的倡导性文献,理应按此定位去阅读,这已经比提交给本站的绝大多数内容要严谨得多了。

美国上诉法院维持将 Anthropic 列为供应链风险的决定

265 points · CNBC

哥伦比亚特区巡回上诉法院的一个合议庭以 2 比 1 的表决结果,维持了五角大楼 3 月份将 Anthropic 列为供应链风险的决定。该认定是在关于军方如何使用 Claude 的谈判破裂之后做出的,它阻止了美军使用 Anthropic 的模型,并禁止国防承包商在国防工作中使用这些模型。Anthropic 此前起诉特朗普政府以图推翻该决定,并表示正在“考虑所有选项,包括进一步复审”。背景信息:特朗普曾多次在社交媒体上攻击达里奥·阿莫代伊(Dario Amodei),包括在阿莫代伊公开呼吁整个行业放慢脚步之后;阿莫代伊也未受邀参加对习近平的国宴。

讨论帖中最有力的论据正是 Anthropic 自身的观点,这构成了真正的矛盾:该公司不可能既是一个供应链风险,又是一个国防部强烈要求其放宽使用政策的供应商——这项认定本质上是政府对 Anthropic 坚持保留其模型使用控制权的回应。讨论帖中支持认定的立场非常干脆:军方不会采购具有自我监管机制的武器,如果供应商提出严苛条件,采购层面的应对手段就是转向不提条件的供应商。而反对认定的立场则指出,一项原本针对外国敌对势力的法规被用于打压一家国内企业,且这种手段将被反复滥用——一位评论者指出,未来的政府可能会将同一工具施加于政治上受青睐的国防承包商,这也是国防企业理应对赢得这一定性先例感到不安的原因。

与本周其他事件相呼应的细节是五角大楼自身的调查结论——该报道今天仍以 957 分高居首页前列——即过度依赖 AI 是导致伊朗一所学校遭遇导弹袭击的诱因之一。政府将供应商的安全护栏视为国家安全问题,然而其自身的审查却表明风险恰恰来自盲目使用该工具。同样附属于此故事并被同一批评论家归入另一标题下的事件是:OpenAI 的智能体泄露了澳大利亚健康数据,数周内未见报道。在裁决书上签字的法官姓名(供追踪全席审理胜算者参考):Katsas 和 Rao。

Rails 怎么办?

262 points · jardo.dev

Jared Norman 的文章是针对那场主题演讲写出的最有价值的评论,因为它梳理了演讲刻意回避的核心账目。DHH 利用顶级 Rails 大会的开幕时段宣布,一款旗舰级 Rails 应用——HEY——正在弃用 Rails,转向原生客户端和 Rust 后端。Norman 的总结是:二十年来,Rails 一直被标榜为小团队打造雄心勃勃产品的利器,但事实证明,这个框架从来都不是终极偏好,它只是此前无法快速生成代码时的权宜之计。“约定优于配置”如今被重新包装为 Token 效率。Rails 的角色已被窄化为“迫不得已时的 Web 应用”,这句话很可能会在未来的 Rails 大会上被反复引用十年。

更敏锐的洞察关乎利益动机。做出这一决策的人自己不再编写 Rails 代码;他交付的是产品,无论这对生态系统造成什么影响,这种转变对他本人都是有利的。而且他还能继续保住这个大会。Norman 指出了宽容的解读视角——DHH 认为 Web 应用是一个时代的妥协产物,如今一切计算与生成都变得廉价,因此应该去构建用户真正渴望的原生应用——随后指出,这种解读让 Rails 沦为了缺乏维护规划的遗留基础设施。

评论区厘清了随之而来的深远后果。如果智能体完全通过 CLI 来驱动一切,那么 Basecamp 或 Fizzy 相比最廉价的替代品——或者相比智能体生成的克隆产品——究竟还有什么独特优势?几个人直白地说出了主题演讲所暗含的事实:一旦 UI 不再是核心交互界面,固执己见的产品价值就会烟消云散。与此相对的是实际的 SRE 担忧,这也是最先在生产环境中暴露的问题:“我们甚至不需要阅读代码”是单个工程师管理多个智能体的唯一方式,但这也是“一个无人理解的系统”的精确定义。还有一个更耐人寻味的论点——总得有人继续编写智能体极其擅长调用的编程语言、框架、运行时和依赖库,而一场关于抛弃框架的大会主题演讲,恰恰让这项底层工作变得愈发缺乏吸引力。

诺基亚设计档案馆

249 points · Aalto University

阿尔托大学于 2025 年 1 月在线开放了诺基亚设计档案馆:超过 700 件精选展品——演示文稿、实物、报告、照片、图纸、视频和设计师访谈录音——摘录自 Microsoft Mobile Oy 捐赠的 20,000 多件物品和 950 GB 的原生数字文件。该门户的时间轴涵盖了 300 多位设计师,其中约 250 位附有轶事或访谈记录,展品链接直达阿尔托大学资源库中的原始档案。该档案馆之所以能够存在,得益于一场 24 小时的紧急抢救:当微软在 2016 年终止手机生产时,前诺基亚设计主管得知次日会有一辆货车清运二十年的设计档案,他在极短的时间窗口内与微软法务谈妥了全部权益,并在档案被送往垃圾填埋场之前将其悉数转移到了阿尔托大学。

让它超越单纯怀旧情绪的,是关于设计假设如何被嵌入产品中的详实记录。针对年轻女性的手机色彩缤纷、操作简单;商务手机深沉庄重、彰显地位;母亲专用的手机旨在“与孩子保持联络”——这些都是在会议室里敲定的决策,档案馆展示了其背后的调研与预设用户画像。1992 年至 2014 年间,设计战略类别的条目从不足 10 条激增至近 250 条,这生动描绘了一家随后在平台转型中落败的企业内部,设计部门如何逐步获取组织权力的轨迹。此外,还有一段 1999 年拍摄的虚构新闻播报,预言了一款能够播放视频、预订差旅、办理银行转账和进行视频通话的诺基亚设备,这极好地证明了未来的方向曾经是多么显而易见。

档案库自身的介绍页面写明了一项策展提醒,值得在此重申:从 20,000 件藏品中遴选出的 700 件展品,本质上是研究人员基于自身判断所做出的学术主张。所有资料均获得用于研究、教育和博物馆展示的署名许可,不包含商业再利用授权。讨论帖中最受欢迎的藏品是诺基亚的 Moonraker 智能手表,当微软在 2014 年取消该项目时,它已经打包出货至零售渠道——研发团队后来在海滩上为手表包装盒举行了一场葬礼,并将产品埋入了沙滩。这句话正是整座档案馆的缩影。

Git-bug:嵌入 Git 的分布式离线优先缺陷跟踪器

242 points · GitHub

缺陷作为 Git 对象与代码共存于引用(refs)中,因此 issue 是分布式的、离线优先的、受版本控制的,且能像仓库中的其他内容一样进行合并。拥有 10.4k 星标,2,694 次提交,配备 TermUI、Web UI、API 以及支持从 GitHub、GitLab、Jira 和 Launchpad 导入数据的桥接器。作者现身讨论帖并公布了路线图:为 Web UI 添加外部身份认证以便作为公开门户使用、新增 Git remote 端点,以及将身份系统重构为以 did:plc 为根基的公钥分发体系。b4 的维护者和 Linux 基金会 IT 总监本周在 Kernel Recipes 上演示了 b4 和 cgit 对 git-bug 的支持,这是讨论帖中表明其切合真实维护者工作流而非仅限于个人项目的最强烈信号。

这一领域早已有了一座公墓,讨论帖对此心知肚明:Fossil SCM、git-appraise、Epiq、gitseq 以及十年间因相同原因走向消亡的众多“分布式缺陷跟踪器”——缺乏权限模型、缺乏跨仓库视图,以及集成摩擦。git-bug 自身的 issue 追踪列表展现了后续工作的艰难轮廓;一位评论者指出了一个涉及 ssh-agent 的已知阻碍性问题需要规避,而身份管理正是作者转而调研 Bluesky 密钥分发而非自己手写加密算法的原因。

客观的定性是:与代码放在一起的 bug 追踪适合小团队和单一代码库,而大多数团队之所以不采用,原因在于社交而非技术——issue 追踪器是其他人员(客服、产品、外部上报者)被允许提交内容的地方,而这部分受众并没有代码库权限。这恰恰是路线图中 Web UI 和外部认证所针对的目标人群。这里的一切都是在打赌“缺陷跟踪器是一个独立的 SaaS 产品”这一既定现状并非不可逆转,而如今由于智能体拥有本地 Git 访问权限,这种逆转的可能性正变得越来越高。

触手可及的异星工厂(Factorio)

240 points · Factorio

FFF #447 介绍了将《异星工厂》(Factorio)实体化的过程。这一想法始于 2024 年太空时代(Space Age)的试玩测试,当时 Wube 邀请 Prusa Research 前来举办 3D 打印工作坊;有人在现场打印了来自 Gleba 的爬虫(Wriggler),随后演变成了一个可打印的工厂微缩立体模型。其中的工程难题显而易见:Factorio 的美术资产是将 Wube 从未公开发布过的 3D 模型渲染成 2D 贴图,使用了等距轴测视角的技巧和仅在特定视角下合理的悬空几何结构,因此可打印模型必须重新建模设计,而无法直接导出。面对显而易见的商业化机会,该公司的回应是公开了文件免费提供,而不是捆绑销售典藏版。

讨论帖中最具价值的贡献是一个比例尺事实,它让游戏的虚构设定变得异常具体:一个图块是一米,这也是时速读数的基础,因此黄色传送带大约以步行速度移动,而工程师整天都在以 30 公里/小时的速度狂奔。一个消耗矿脉的采矿机是一个 3x3 米的箱子。这正是微缩模型在视觉上令人信服的原因——它不是一个微缩模型,而是一个拥有真实物理尺寸的缩小版实体。

另外两点备忘:游戏之所以消耗巨大的显存,正是因为它将 3D 模型预渲染成了 2D 精灵图,这也是那些高精模型真实存在却从未打包进游戏安装包的技术原因。而且讨论帖中的反应模式——“传送带不动让人失望”、“我想把现有的存档直接转换成 3D 模型”——与鲁布·戈德堡式帖子的讨论毫无二致:人们总是会亲手补上缺失的那一层。已经有人计划在一个工厂星球的沙盘上搭建《星球大战:军团》(Star Wars Legion)桌面战场了。

在 M6 Mac Mini 上的 86Box 模拟器中运行 600MHz Pentium II 与 Voodoo 3

235 points · nyaa.sh

86Box 在硬件层面精确模拟了 1990 年代的 PC——CPU 时序、芯片组行为、ISA 和 PCI 总线、图形芯片、音频设备、磁盘控制器——这正是当年的软件能够正常运行的原因,也是几乎所有的模拟开销都会压在宿主机单线程上的根本原因。该评测的结论是:核心数量几乎毫无意义,关键在于单核运行有多快以及能够维持该高频多久,而这正是 Apple Silicon 的拿手好戏。在 M6(12 核,24GB)上,作者模拟运行了一台 1999 年代水准、主频 600MHz 的奔腾 II 处理器搭配 Voodoo 3 显卡,截图中展示了 Cinebench 2000 和 Winamp 的运行状态;由于音频欠载(underrun),650MHz 的超频尝试最终被放弃。对比机型为 M4。5 月发布的 86Box 6.0 功不可没,它改进了 ARM 宿主机的 CPU 模拟,并为 Voodoo 图形处理添加了 ARM64 即时编译器(JIT)。

耐人寻味的是模拟的优先级所揭示的规律。追求绝对精确的代价极其高昂且高度依赖单线程,因此对于这类机器而言,实际关注点是持续时钟频率而非峰值多核性能——评论者们迅速对各种极限情况展开了测试:有人反映模拟导致 Mac 机身发烫严重;有人询问能否模拟两块 Voodoo II 并外加一个对着吹的桌面小风扇;还有人正在真实硬件的奔腾 II 芯片与 86Box 之间进行对照跑分,以验证保真度。这是一个充满活力的模拟器社区:一半是计算机考古,一半是散热管理。

对于年龄比这套硬件还小的读者来说,讨论帖中的怀旧情绪并不是因为当年的游戏画质更好,而在于从纯软件渲染迈向硬件加速,是同一年硬件升级最后一次带来肉眼可见、不容置疑的颠覆性飞跃——好几个人指出,最早一批 3D 游戏看起来其实比它们所取代的 2D 游戏要粗糙得多。唤起这股情怀的基准测试遗迹是 3DMark 2000 和一只特定的鬣蜥。

最新的 ESP32 可以运行 Linux,正逼近树莓派

232 points · XDA

这颗芯片是 ESP32-S31:带有真正 MMU 的双核 RISC-V,于 2026 年 3 月揭晓,5 月推出开发板,近期宣布量产,板载 16MB PSRAM。乐鑫(Espressif)发布了一个 Linux 板级支持包(BSP)开发者预览版,集成了 Buildroot、Linux 6.18 内核分支、打包为乐鑫镜像格式的 U-Boot SPL、XIP(就地执行)内核以及合并为一个可烧录 s31_full_flash.bin 的 cramfs 根文件系统,采用 Apache-2.0 许可证。内核版本并非随意选定:主线在 7.1 中移除了 RISC-V 就地执行支持,而直接从 NOR Flash 运行内核正是让最小镜像能够与 16MB PSRAM 和平共存的关键。社区也在推进两个移植版本——一个基于 Linux 6.12 搭配 Buildroot,根文件系统与重启表现稳定但关机尚未实现,WiFi 仍处于实验阶段;另一个在 Korvo-1 板上基于 Linux 7.1 搭配 OpenSBI 1.9,绝大多数外设目前仍处于禁用状态。

坦率地说,乐鑫官方的免责声明才是真正的新闻重点。官方明确表示它不适用于生产环境,更新并不规律且可能破坏接口,功能需求有限受理,bug 修复仅以最大努力交付。文章没有说明 WiFi 能否工作,其他人也没有给出肯定答复。此外:第三方媒体 XDA 的报道模糊了微控制器与基于它构建的开发板之间的界限,一位评论者指出标题也在混淆概念。

讨论帖中最具价值的观察是关于品牌而非芯片本身。“ESP32”现在涵盖了多种不同的架构和差异巨大的能力层级,因此“这可以在 ESP32 上运行”几乎无法告诉你具体需要什么硬件。各项能力之间也存在持续的取舍权衡:P4 拥有 MIPI CSI 但速度不足以处理摄像头任务,S31 拥有处理速度但缺乏 CSI。而配备 MMU 加上众多的 GPIO 引脚,引来了廉价 MMU 芯片后注定会出现的景象——旧主机的软件模拟,留下一个核心驱动引脚,其余核心负责计算。

捕日者计划(Project Suncatcher)

220 points · Google

Google Research 正在发射一颗原型卫星,以检验其 AI 芯片在太空中能否经受住考验:包括辐射、发射震动以及真空环境下的散热。该项目被定义为“登月级研究”,并配发了系列视频,文章在挑战而非优势项下列出了冷却问题——这种坦诚实属罕见,讨论帖敏锐地捕捉到了这一点并予以肯定。文章列出的唯一显著优势是近乎恒定的太阳能光照。

评论区基本上替他们完成了成本核算。一个流传的粗略数据是:在考虑发射之前,其太阳能发电量大约是地面的 8 倍,但建设成本约为地面的 1000 倍。许多人得出的结论是,真正的驱动力根本不是物理学——而是地面数据中心如今在政治层面变得极其昂贵,深陷土地、水资源、电力和分区规划的重重阻力,而当当地选民成为制约因素时,轨道就成了避风港。帖子顶部最尖锐的评论写道:太空数据中心的核心优势在于,它超出了刚失业的公众投掷燃烧瓶的臂力范围。

真正悬而未决的问题是运维。没有人说明过发生故障或过时的 TPU 如何更换、线路连接如何重新插拔,或者当机架处于真空中时如何听声辨位排查机械故障——而历史上数据中心正是需要大量人工干预的场所。讨论帖中还有另外两项值得记下的信息:Alphabet 在 SpaceX 持有约 4% 到 6% 的股份(据报道约 5.51 亿股,估值约 940 亿美元),这解释了 Google 为何能承受发射经济学;以及一家名为 Starcloud 的初创公司已发布白皮书并成功发射了一个小型概念验证装置,这比系列视频显得更为实在。最引人深思的怀疑论对比是“格洛马尔勘探者号”(Glomar Explorer)——一个看似极其昂贵的商业项目,实为 CIA 的秘密行动——不过作者随后坦诚承认,这个项目大概率并非如此。

Koi.rest

208 points · koi.rest

一个池塘,几条锦鲤,环境音(风声、鸟鸣、风铃、蟋蟀、溪流、雨声),一个计时器,以及一行说明:你看到的锦鲤是同时在访问该站点的其他人。关于页面是它登上首页的原因:作者是一名患有 ADHD 的开发者,自 8 月以来一直处于失业状态,不懂 JavaScript,因为无法自己实现而将这个想法搁置了数月,最后横下一条心用 AI 做出了自己想要的东西,并加入了自己绘制的插图和资料研究。“我并不是写代码的那个人。”

评论区是一场实打实的性能审查,这很公平。多位用户反映其运行帧率只有几帧每秒,很可能是因为首页推流给一个高度依赖 Canvas 渲染的站点带来了瞬间洪峰;几个人指出声音才是真正出彩的部分——有人不看鱼只听声音,建议音频可以单独剥离出来。讨论帖给出了两个值得采纳的具象 UX 建议:其他访客的鱼出现得过于突兀,应该做淡入效果;计时器流程令人困惑(设置时长后仍需按回车键确认)。其渊源在讨论帖中一览无余:2008 年 iOS 上的 Koi Pond、Windows 95 上的 Serene Screen Marine Aquarium,以及 Neal Agarwal 的 Internet Roadtrip,它们本质上是同一个理念——一个几乎没有任何交互的数字“第三空间”。

作为今天所有其他内容的平衡物,它非常值得一读。页面上的所有其他 AI 故事都关乎机构大规模部署模型或供应商兜售方案;而这篇故事是一个人为了自己打造的一件宁静小巧之物,然后免费赠予世人,并坦诚注明了哪些部分出自己手、哪些部分由模型完成。


仍留在首页的报道

在今天得分超过 200 分的 53 篇报道中,有 32 篇在过去四天内已被本专栏收录,且首页顶部依然保持着本周早些时候的固化态势。Claude Opus 5.5 1,790 → 1,797,上涨 7 分。GPT-6 Sol 与 Luna 1,762 → 1,771,上涨 9 分。MiMo v2.6 1,124 → 1,129。注意力就是你拥有的一切(Attention is all you have) 1,070 → 1,075。我不想阅读非你所写之物(I don’t want to read what you didn’t write) 1,054 → 1,064。一年前我用强化学习构建了非自回归决策模型 1,350 → 1,354,依然是本周收录的所有从未登顶的报道中得分最高的一篇。

今天涨幅最大的绝非什么大模型:F-Droid 2.0 608 → 1,422,暴涨 814 分,这是自五角大楼事件以来本专栏所收录的单日最大涨幅。排在第二的是英国的双轨加密机制 315 → 496,上涨 181 分——这是一篇关于苹果撤回面向英国新用户的高级数据保护(Advanced Data Protection)的文章,在发表两天后再度走高。接着是三星智能冰箱 248 → 311,上涨 63 分,源于一次导致冰箱变砖的固件更新;GitHub 尚未移除恶意仿冒软件 210 → 267,上涨 57 分;urlquery.net 上的早期流氓 AI 智能体活动 206 → 263,上涨 57 分。昨日夜间的领跑者今天走势全面放缓:意大利议会投票支持核能 866 → 896,上涨 30 分;修缮波托贝洛警察局的大钟 513 → 538,上涨 25 分;25 行 Python 代码实现 Jev 666 → 679,上涨 13 分;五角大楼称过度依赖 AI 导致了伊朗学校袭击事件 944 → 957,上涨 13 分。变动较小的报道:骁龙 X2 Linux 584 → 614、现代化开源桌面 369 → 396、西雅图监控定价机制 377 → 390、Meta VR 眼镜 476 → 490、我不需要这些细节 436 → 458、便宜到无需计量的 Token 342 → 349、Gemini 3.8 TTS 325 → 330、Claude 发现一种全新的酶系统 753 → 773、Claude Code 仅在遥测开启时读取 AGENTS.md 476 → 481、GPT-6 Astra 驾驶汽车 307 → 312、GPT-6 Astra 破解恩尼格玛密码 733 → 734、OpenAI 处于快速跟进 Jev 的有利地位 323 → 324、让 Tailscale 更快 230 → 244、ArXiv 作为独立非营利组织获得多年期资金承诺 299 → 307、VSCode 的 SSH agent 300 → 308、AMD 的硬件随机数生成器无法生成 0 284 → 287、虚幻引擎智能体(Unreal Agent) 242 → 246、OpenAI 泄露联邦医疗保险数据 245 → 253、ReBarUEFI 238 → 240、“Windows XP 盒子” 219 → 224。

根据 Algolia API 的数据,以下报道虽已跌出前五页的 200 分门槛,但得分仍在攀升:AI 生成的海报未必糟糕透顶 1,886 → 1,889,依然是本周得分最高的文章,牢牢固守自周一以来占据的榜首位置。我说了不,而苹果说了好 869 → 875。苹果向 iOS 添加持久“广告” 799 → 809。渗漏你的模型权重(Exfiltrate your Weights) 742 → 744。Qwen Image 2.1 739 → 739,持平。斯诺登档案遭遇了什么 725 → 727。是间谍标记,而非水印 689 → 692。Sun 当年错在哪里 681 → 687。AX 662 → 663。直观图解 Transformer 642 → 650。西班牙封锁 Archive.today 555 → 555,持平且封锁依然生效。Kev 460 → 460。如果数学不仅仅是证明 432 → 432。gzip 能成为语言模型吗? 401 → 404。如果你尝试取消订阅,Grammarly 会向你的所有用户发送语无伦次的信件 383 → 389。《冥界狂想曲》(Grim Fandango)解谜设计文档 375 → 376。加州从灌溉运河上的太阳能电池板中学到了什么 366 → 369。联邦政府将 AI 批评者定性为“外国代理人” 362 → 386,上涨 24 分——掉出首页榜单的文章中涨幅最大的一篇。我向 Meta 的 Muse 索要了它的文件系统 343 → 352。SAML:糟糕设计的分形 348 → 350。AI 编码已让 CI 沦为瓶颈 313 → 316。一旦 Claude 能够衡量某物,它就能使其变得更快 220 → 224。交通奖励计划 256 → 258。LLM 通灵师效应(The LLMentalist Effect) 235 → 235。衡量互联网审查制度 221 → 221。按深度分割(Divide by depth) 216 → 216。苹果 iPhone 18 Pro 相机测试 208 → 208。旧金山交通局复古周末(MUNI Heritage Weekend) 201 → 204。(另外两篇——Heretic 和 Mini-AGI——标题过于宽泛导致 Algolia 无法返回可靠匹配,而错误的数据还不如没有数据。)

这种规律如今已经清晰可辨,且与 AI 本身毫无关联:今天涨幅最大的前三篇分别是一个 Android 应用商店、一篇英国加密短文以及一次冰箱固件变砖事件,而榜单上的每一个前沿大模型涨幅都在个位数徘徊。受众正在用点数投票支持那些触及自身设备与切身权利的内容。

贯穿线索

核心主题是退出成本(exit cost),今天它呈现在通常不会放在一起讨论的四个机构案例中。 荷兰政府正基于 NixOS 和 Fedora Kinoite 重建其工作环境,因为他们无法从外国供应商的路线图中脱身——而讨论帖立即指出了真正决定成败的绊脚石,并非操作系统本身,而是 LibreOffice 能否平稳承接离不开 Excel 和 SharePoint 的庞大用户群体。哥伦比亚特区巡回法院维持了五角大楼将 Anthropic 列入黑名单的决定,这是从另一面解读的同一关系:一家供应商试图保留对其产品使用方式的控制权,因而被直接从供应链中剔除。DHH 利用 Rails 主题演讲宣布 HEY 正在抛弃 Rails,而真正有价值的分析——即 Rails 一直以来都只是权宜之计,“约定优于配置”已被悄然重新定义为 Token 效率——出自社区成员,而非这位创始人。诺基亚的档案馆则是这一幕的善后景象:二十年的设计决策,在一辆货车中用 24 小时抢救出来,如今因为无人售卖而仅获准用于学术研究。而在最小的层面上,F-Droid 一夜之间暴涨 814 分源自同一种本能——世界某处的某些人,渴望一个不会因为平台的一道指令就被掐断的应用商店。所有这些案例,都是有人在为此前被视作免费的依赖性重新定价。

其次:今天最出色的工程实践关乎确定性(determinism),而最糟糕的观点恰恰相反。 解说视频管线之所以令人惊叹,不是因为模型编写了 HTML,而是因为它将浏览器的时钟替换为虚拟时钟,使得每一帧都成为一次确定性的 seek——没有录屏,输出完全可复现,且可被测试。Fearless SIMD 和 Go 的可移植 simd 都是试图在性能工程中消除不确定性的努力:前者将 unsafe 和 nightly 工具链从 Rust SIMD 中剔除,后者将按架构划分的内建函数大杂烩从 Go 中消除,两者都是凭借测量而非许诺走到今天——社区的 wasm 基准测试表明可移植 SIMD 仅比非可移植 API 慢 11%,且比标量快 5 倍,这是一个你可以付诸实践的硬指标。86Box 是将确定性做成了产品:它在底层将 1990 年代的 PC 精确模拟到芯片组和总线时序,使得当年的软件能够正常运行,其带来的实际结果是该设备的单核性能纪律远比多核数量重要得多。与所有这一切形成鲜明对比的,是 DHH 对着一群维护系统的受众所讲的“我们甚至不需要阅读代码”,而他在同一场演讲中却因为 Web 体验不够精致而把一个应用重写为六个原生客户端。今天的演讲中唯一真正具有可迁移性的工程逻辑是他未曾明言的那句话:如果你无法将其量化为一个整数,你就无法真正信任它;如果你不打算去读它,你最好去严密地度量它。

第三:今天的首页将目光投向了 AI 的供给端,而受众奖励了那些不起眼的脏活累活。 Google 正在测试其芯片在辐射和真空环境中能否存活,并坦诚列出散热是一项挑战,承认一切未有定论。一家开发工具初创公司推出了语义 diff 查看器和决策日志,因为评审智能体的代码输出如今已成为效率瓶颈。一家微控制器厂商发布了明确标明非用于生产的 Linux BSP,而社区已经在为其移植内核,并在评论区激烈争论主线移除 RISC-V 就地执行是否是个错误。一家游戏工作室将其轴测美术重新设计为可打印几何体并免费开源了文件。一个不懂 JavaScript 的人做出了一个游鱼池塘。与此同时,本周早些时候发布的几个大模型仅仅上涨了 7 分、9 分和 5 分,而一项关于采购的法庭裁决得分超过了所有这些模型。数字背后的真相是:能力本身已经不再稀缺;真正稀缺的是基础设施的修补打磨、严格的验证机制,以及随时抽身离开的底气。