HN Daily Reading · 每日阅读

HN 每日深度阅读 · 2026-07-26

本期在技术议题之外更像一份行业情绪切片:从 Android 收紧 ADB、Fly.io 换帅押注 AI Agent、Wasmtime 默认启用 GC 到 Anthropic 重写上下文工程规则,主线是基础设施与开发范式在 LLM 冲击下重新洗牌;

2026.07.26 20 篇摘录

共 20 篇 · 约 13,467 字 · 约 34 分钟读完

1. Android 或将限制设备本地 ADB 连接,Shizuku 等工具受影响

博主 Kitsumed(Shizuku 相关应用 ShizuCallRecorder 的作者)在 Google IssueTracker 上发现,一位 ADB 核心维护者(Google 员工)在讨论 CVE-2026-0073(无线 ADB 认证可被绕过的漏洞)的修复方案时,提出可能将 ADBD 仅绑定到 wlan0 接口。这一改动虽出于安全考虑,但会切断 loopback(127.0.0.1)连接,从而破坏所谓「On-Device ADB」的用法。

On-Device ADB 指用户在 Android 设备上通过 Termux 等终端运行 ADB 客户端,连接本机 ADBD。它是 Shizuku、libadb-android、Canta 等一大批开源工具的基础,这些工具让普通用户无需 root 也能执行卸载系统应用、录音通话、精细权限管理等操作。原文认为原始的「按接口选择绑定」提案本身是合理的安全改进,但若实现方式排除了 loopback,将波及整个生态。作者呼吁受影响开发者在 IssueTracker 上提供具体用例反馈,而不是刷屏抱怨,以免议题被锁定。

HN 讨论集中在几个方向:一是质疑该攻击面的现实威胁——只有同时启用了开发者选项和无线调试的用户才会受影响,覆盖面极小;二是普遍怀疑 Google 借「安全」之名进一步收紧 Android,与近期的侧载限制(要求开发者注册、身份验证)形成连贯的封闭化趋势;三是对 Android 「开放性」这一最后卖点消失的担忧,有人认为 Android 与 iOS 的差距在快速缩小,呼吁 Linux 手机生态发展。也有理性声音指出,原始提案只是允许开发者选择绑定接口(例如仅绑定到 Tailscale VPN),并未明确禁止 loopback,「仅 wlan0」只是一个随口评论,不太可能成为最终方案。围绕 OEM 强制的通话录音提示音,评论也追溯到 Google Dialer 的默认行为。总体氛围是:即便本次改动最终保留 loopback,长期趋势下 ADB 被逐步收紧几乎是可预见的方向。


2. Stolen Buttons:一位设计师从访问过的每个网站「偷」一个按钮

平面与 UX 设计师 Anatoly Zenkov 做了一个持续性艺术项目 Stolen Buttons:每访问一个网站,就「顺手」把上面的一个按钮抓取下来,收藏在自己的展示页里。页面上罗列着各种语言、风格、用途的按钮——「Log In」「Reject All」「Continue with Facebook」「Jetzt anmelden」「加入购物车」等等,构成一份来自真实 Web 的按钮标本集。作者同时发布了一个基于此思路的 Chrome 扩展 Button Stealer,让其他人也能收集自己的按钮墙。

HN 讨论中,最热门的话题是当代按钮设计的退化。多位评论者感叹「几十年过去,按钮不再像按钮」:现在多是纯色圆角矩形,缺乏立体感、可点击性提示和按下动画,甚至连 HN 自身的「add comment」按钮都被点名。有人怀念 Mac OS X Aqua 时代的拟物按钮,认为那是 UI 设计的黄金时期。另一条讨论线是,这个收藏虽然视觉上有趣,却是静态截图,丢掉了 hover、按压、加载等按钮真正的「交互生命」。也有人分享了类似的组件画廊资源(如 component.gallery、uiverse.io)和自己收藏的 Flash 时代按钮素材站。少量评论对该扩展抓取全部浏览流量的隐私风险表示保留。整体气氛偏怀旧和轻松,把这个小项目当作对当代 Web 设计同质化的一次温柔吐槽。


3. 开放权重 AI 迎来「Kubernetes 时刻」,作者反对美国封禁中国模型

Mesosphere 联合创始人 Tobi Knaup 撰文,用自己亲历的 Mesos 被 Kubernetes 颠覆的经验类比当前 AI 生态。他指出 Kubernetes 之所以胜出,不仅因为开源,更因为它成了一个中立、可扩展的基础平台,让云厂商、初创公司、传统企业都愿意在其之上建设,创新速度超过任何单一厂商所能匹敌。他认为开放权重模型(open-weight,区别于严格意义的 open source AI)正在到达同样的临界点。

Hugging Face 上已有超过 200 万个公开模型,围绕 Qwen、Gemma 等衍生出量化版本、LoRA 微调、模型合并、各类推理运行时(vLLM、SGLang、llama.cpp、Ollama、MLX 等)。文中提到 Z.ai 的 GLM-5.2、Moonshot 的 Kimi K3 等中国模型在 SWE-bench 等基准上已逼近甚至超过 GPT-5.5,过去一年 Hugging Face 上 41% 的模型下载来自中国模型。作者担心特朗普政府正考虑限制美国研究者使用中国开放权重模型,认为这是「自摆乌龙」——世界其他地方会继续在这些模型上建设生态,被隔绝的将是美国开发者。他建议美国实验室发布可商用许可的前沿开放权重模型,并通过政府采购推动可移植、可互操作的开放栈。

HN 讨论几条主线:一是「中国模型」如何在技术上定义并封禁——权重只是数字,无法追溯国籍,任何有效禁令必然扩展到所有开放模型,这正是部分闭源厂商的真实目的;二是开放模型的价值在于为推理成本提供锚点,抵消闭源 API 反复涨跌的「代币经济学」不确定性;三是要真正达到 Kubernetes 级别,需要出现多公司协作、训练数据公开的模型,类似 Linux 的协作模式;四是对中国是否会长期开源其前沿模型持怀疑态度,认为 DeepSeek/Kimi 之后可能不再释出;五是有人尝试用开放模型做 agentic coding,讨论其相较 Claude Code + Pro 订阅的性价比。


4. 数学的黑夜:一位数学人对 LLM 攻破长期猜想的精神危机

作者 Kirwin Hampshire 撰写了一篇高度个人化的情感散文。近期 LLM 生成的反例攻破了几个长期存在的重要数学猜想(文中提到 Dinitz-Garg-Goemans 反例),Leiden Declaration 等业内回应他视为「捂住嘴的尖叫」。作者坦言自己陷入深切的精神危机。

他反对一种常见的「安慰式」应对——即认为即便 AI 更高效地证明定理,人类数学家仍可负责鉴赏、讲解、传承。他认为这回避了问题的情感核心:数学发现本身是人类接触「不可言说与神圣」的通道,从 Ramanujan、Grothendieck 到 Cantor、Pascal,数学一直是一场跨越千年的、类似犹太塔木德式的哲学与精神对话。学习既有理论之所以动人,是因为在追随一位可能已故的数学家走过的发现之路,这是一种社会性、共感性的体验。

他用博尔赫斯的巴别图书馆做类比:如果任何你想证明的定理都已被以 100 种优美方式证明,甚至在你构思的瞬间「魔鬼图书管理员」就替你完成千万个版本,作者还会继续写作吗?答案或许是「会」,但为何要让人经受这种噩梦?他还坦承这些进展在他内心引发过阴暗念头,怀疑这些公司是否有意让他这样的人「自我了断」。他拒绝做预测、政策建议或行动号召,只想把这份「灵魂的黑夜」如实写下,让处境相似的人被看见。

HN 讨论分歧明显。一派认为这是所有知识工作者迟早要面对的处境,应重构与工作的关系,把注意力从「亲手证明」转向「引导整片研究方向」;一派表示深有共鸣,指出 LLM 改变的不只是能力,还改变了「学一门技艺是否还快乐」这一环境属性。也有数学背景的人反驳:数学的乐趣并不在于「首创」,就像看红杉林并不因别人先看过就不美,重新发现同样有价值,而 LLM 恰好帮忙节省了检索文献的痛苦。还有人引用一个思想实验来区分艺术/工艺与科学——若精灵愿意直接给出你毕生研究的答案,你说「不」的那部分,可能就不是纯粹的科学。另有人推荐 1951 年电影《白衣人》,作为「新技术削减某种人类经验」的经典寓言。


5. 亚马逊雨林绳索天桥:15 个月 1.5 万次树栖动物过桥,零路杀

巴西生物学家 Fernanda Abra 主导的 Projeto Reconecta 项目在马托格罗索州 Alta Floresta 一段公路上架设了 8 座连接被公路割裂的森林片区的绳索天桥。相机陷阱记录显示,15 个月内这些天桥支持了约 1.5 万次树栖动物安全穿越,同期该路段未记录到相关物种的路杀。使用天桥的物种包括黑面蜘蛛猴、Purus 红吼猴、北方夜猴、簇绒卷尾猴、Schneider 狨猴,以及 2019 年才被描述、随即被列为极危的 Alta Floresta 伶猴——后者已成为项目的象征。

桥体采用多层设计,兼顾依赖抓握尾、臂荡式(如蜘蛛猴)以及直接在绳网上行走的不同移动方式,同时也被负鼠、树懒等地栖小型哺乳动物使用。此前 2021 年 Reconecta 与 Waimiri-Atroari 原住民合作在 BR-174 高速上安装了 32 座桥,5 年记录到约 1250 次灵长类穿越;实践表明动物需要时间适应,Alta Floresta 的簇绒卷尾猴用了 7 个月才首次使用。巴西联邦交通部已将该绳桥设计正式列为国家推荐标准。项目下一步将扩展到城市区域,并推广至其他生态区乃至苏里南;对比之下大西洋森林中一只极危的黄头狨猴仍在 ES-164 公路上被撞死,凸显未覆盖区域的持续损失。

HN 讨论氛围正面。多人赞扬 Mongabay 作为环境报道媒体的深度和被低估的价值。有评论分享肯尼亚等地的类似绳桥项目(如 Colobridge)。也有评论对比加州耗资约 1.15 亿美元建造的 Wallis Annenberg 野生动物天桥,认为这种低成本方案效果更佳,但也有人反驳指出两者服务物种和道路环境完全不同。技术性讨论包括:动物如何「知道」桥的位置和用途,是训练还是偶然发现;是否可以逐步引导藤蔓和树木沿绳桥生长,最终形成印度「活根桥」式的长期低维护结构,以防未来预算削减导致工程失效;以及大家一开始被标题误导,以为是电商公司 Amazon 干的好事。


6. Bitchat 迁移到去中心化代码托管平台 Radicle

由 Jack Dorsey 参与的去中心化点对点消息应用 Bitchat 将代码仓库托管到了 Radicle 上。Bitchat 采用双传输架构:本地通过蓝牙 Low Energy 组成 mesh 网络实现离线通信(最多 7 跳中继,使用 Noise Protocol 端到端加密、二进制紧凑协议、根据电量自适应占空比);联网时通过 Nostr 协议实现全球覆盖,接入 290 多个中继,使用 NIP-17「gift-wrapping」加密的私信,并支持基于 geohash 精度划分的地理频道(block/neighborhood/city/province/region)。私信采用智能传输选择:优先蓝牙直连,其次 Nostr,再退化为队列等待。项目无账号、无手机号、无持久标识符,代码进入公有领域,提供 iOS/macOS 原生应用,支持 IRC 风格命令、三击紧急清除、LZ4 消息压缩等。

HN 讨论中,几条主线:一是印度政府据称要求 GitHub 在三小时内下架 Bitchat,被认为是本次迁移到 Radicle 的直接原因,引出对代码托管去平台化必要性的讨论。二是实际使用体验——有人在德国 Fusion Festival(约 8 万人)实测,只发现约 20 台设备、最多 2 跳,密度远不足以形成有意义的覆盖,网络效应问题突出。评论建议感兴趣的人不妨预先安装,以备真正需要时使用。三是可用性质疑:Bitchat 依赖 Google Play Services 的定位库,无法上架 F-Droid,被认为与其宣称的抗封锁定位不符。四是对 Radicle 界面设计(宽屏排版、代码渲染、导航)的赞赏。也有人计算理论覆盖距离——若单跳约 100 米,7 跳理论上可达约 700 米,实际取决于设备分布密度。


7. 代码成本崩塌之后的工程管理

已任工程总监三年多的作者反思,LLM 让代码生产成本崩塌后,哪些「老规矩」还成立、哪些不再成立。他的方法是审计每条实践背后的假设:若假设建立在「写代码的成本」之上,就该重新评估;若建立在「人类如何协调、建立信任、分配注意力、验证正确性」之上,则基本不变。以年龄或「感觉过时」为标准做筛选,会导致团队抛弃有用的摩擦、保留无用的流程。

作者提醒警惕「感觉更快」和「测量更快」之间的鸿沟:LLM 在绿地项目、样板代码、陌生领域带来明显加速,但在工程师熟悉的深层系统中收益衰减甚至变负。速度、PR 数、ticket 数等代理指标在代码本身昂贵时勉强可用,如今代理的东西便宜了,反而变得主动误导——因为拉高它们最便宜的方式就是堆量。AI 特有的接受率、prompt 数是同样错误的新形态。

关于「做对仍需时间」,他区分两层:机械性验证(类型、测试、契约、lint、canary 指标)在有可机读规范的地方确实在加速;但语义性验证——代码是否符合业务真正需要的策略、是否契合监管暴露——依赖人的判断和机构历史;且 AI 审查 AI 存在结构性问题,生成者与审查者共享训练数据、偏见和盲点,会在同样的地方一起犯错。由此得出三点:单位成本下降但总工作量上升(廉价审查诱发更多生成);机器可验证的边界是战略变量,投资规范/契约/不变式是当前最高杠杆的基础设施;验证的真正瓶颈是「问责」——签字承担事故、监管、客户后果的责任无法压缩,因为那不是信息处理而是风险承担。此外他还提出「初级工程师培养管道」目前无解——过去锻炼资深判断力的小 bug、样板代码、卡壳再脱困的过程正被 AI 吸收。

HN 讨论分歧较大。一派认为文章的前提本身可疑:LLM 生成的代码维护性差,重写率高,真正有价值的用法是让 LLM 做代码审查(尤其安全审查)而非写代码。另一派指出程序员产出的真正瓶颈从来不是敲键盘,而是开放式办公室、频繁会议、Jira 流程等结构性浪费;如果真在乎产出,早就该优化这些。有人呼吁需要类似 2018 年《Accelerate》那样的系统性研究,尤其记录「失败的实验」(裁员一半、组织扁平化、无人工厂等的负面结果),而不是只有长篇成功叙事。也有评论认为 AI 的收益正被管理层以「追求超越以往的打磨」或「用 200 美元/天的初级 vibe coding 替代 100 美元/月的 SaaS」的方式挥霍掉。另有人指出,PM 与工程的信息壁垒或许会因 LLM 接入邮件、会议记录等接口而部分被打破,让机构知识首次可能被系统化捕获。也有读者调侃文末承认「Gemini 4 帮忙编辑」这件事本身。


8. MIT 复活 1985 年三面拉链专利,做出可切换软硬状态的 Y-zipper

MIT CSAIL 的研究者复活了一项 1985 年被 Innovative Design Fund 拒绝的专利。当年在 Polaroid 工作的电气工程师 William Freeman(现为 MIT 教授)设计了一种”三面拉链”:不是用来闭合平面衣物,而是通过一个滑块把三条带齿的边合并成一根三角截面的刚性管,作为可在柔软与刚性状态之间切换的”开关”。这项设计被专利保护并搁置在车库里近 40 年,直到 3D 打印技术足以将其实用化。

CSAIL 团队将其命名为 Y-zipper,并配套开发了一款设计软件。用户可自定义每条支臂的长度、弯曲方向与角度,并从四种运动”原型”中选择合拢后的形态:直线、弯曲、螺旋或扭转。软件随后自动用 PLA 或 TPU 在 3D 打印机上生成成品。未合拢时它形似三只触手,合拢后则变为紧凑的杆状或其他结构。

论文列举了几类应用:无需支撑杆的帐篷(据称搭建时间从约 6 分钟缩短至 1 分 20 秒)、可日间放松、夜间收紧的手腕护具、腿部长度可变的四足机器人,以及由电机驱动”开合”的动态艺术装置。耐久性方面,团队测试了 PLA 与 TPU 两种材料,PLA 承重更好、TPU 更柔韧,Y-zipper 在约 18000 次开合循环后才断裂,弹性结构有助分散应力。作者设想未来可用金属制造更坚固的版本,并延伸至空间探索的样本抓取或灾后快速搭建避难所等场景。

HN 讨论对概念本身评价积极,多位评论者联想到类似的既有机构:十多年前的”zipper mast”视频(用可卷起的弹性钢片组成刚性桅杆)、维基百科上的 rigid chain actuator,以及蛋白质折叠的直觉类比。也有人期待将其用于卷尺、可伸缩机器人肢体或自组装卫星。批评意见集中在具体演示:那顶无支撑杆的帐篷看起来沉重且抗风性差,因为传统帐篷杆的作用正是把帐布绷紧;有人对 MIT 项目普遍缺乏开源代码/软件下载表示遗憾,只在 GitHub 上找到相关项目 FabObscura。


9. 用 ImageMagick 模拟 CMYK 印刷网点:一个博主的图像抖动实践

博主 dead.garden 分享了自己站点上图片处理方法的技术细节。其目标不是压缩文件体积,而是为博客营造一种带印刷质感的”黑白+粉色”美学,风格上呼应过往一篇《Designing without color》。作者坦言自己并非抖动(dithering)领域专家,实际上他所做的更接近印刷业中的”半色调”(halftoning)处理,并引用维基百科说明两个术语在数字印刷语境中常被混用。

文章科普了印刷网点的三种形式:AM(振幅调制,通过点大小表达深浅)、FM(频率调制,通过点密度表达深浅)以及混合网点。AM 网点若各色通道角度不当会产生 Moiré 干涉条纹,因此德国 DIN 16547 规定了 CMYK 四色各自的网点角度:黄色 0°、青色 15°、黑色 45°、品红 75°。

实现上作者使用命令行工具 ImageMagick 的 convert 命令,把图片缩放到 800 像素宽,转换到 CMYK 色彩空间并分离四个通道,对每个通道叠加一个 2×2 的黑白点阵作为半色调网格,用高斯滤镜和 SRT 变形按不同角度旋转四层,最后通过 Overlay 合成回一张 CMYK 图像。作者展示了每个单色通道的点阵图,以及将点放大到 8×8 时的”方块汤”效果。文末补充了一版更”纯粹”的 CMYK 限色方案。

HN 评论区一位曾在轮转凹版印刷厂工作的读者贡献了长篇怀旧回忆,讲述 IKEA 目录、Playboy 的印刷经历,指出凹版通过静电辅助让墨点融合,通常看不到明显网点。技术层面的主要争议是:多位评论者指出这本质上是 halftoning 而非 dithering。也有人强调如果目的是压缩照片体积,JPEG 或 WebP 早已远胜任何抖动方案,作者应当承认这是纯美学选择。其他相关工具在讨论中被反复推荐:didder(用于 6 色墨水屏预处理)、Floyd-Steinberg 抖动、ascii-magic、Rasterbator(把图放大成多张 A4 拼贴墙面)等。作者本人在文首也补充回应了 HN 涌入的读者。


10. 纽约一居室内的鱼菜共生系统:两年迭代经验与工程细节

Erin Murphy 与其伴侣 John 在纽约一居室公寓里搭建鱼菜共生(aquaponics)系统已两年,这是继首篇施工日志之后的实用指南更新。鱼菜共生结合水产养殖与无土栽培,鱼类的排泄物为植物提供养分,植物则过滤水质;家庭级案例在网上并不多见,多数教程针对大型农场。

系统采用”介质式连续流”设计:植物种在装有陶粒的独立种植床中,水从鱼缸持续泵入陶粒底部数英寸区域,再从对侧重力流回鱼缸。相比”淹—排”式,连续流对鱼缸水位和养分更稳定,但仅适合根系能长期浸水的可食用植物。整个系统采用垂直布局:种植床在上、鱼缸在下、底层再加一个溢流承接盆,安装在工业金属货架上并塞进一个壁橱里。

规模上,鱼缸容量 20 加仑、种植床再有约 10 加仑水,总水重估计 170–250 磅,因楼层较高、需考虑漏水风险而刻意控制。种植床里种植罗勒、薄荷、生菜等叶菜香草,最近试种矮化番茄;水体中养有 30–50 只樱花虾、椎实螺、一只斑马螺和一条孔雀鱼。

近期改进包括:把易被根系堵塞的 1 英寸 PVC 排水管换成打了纵向缝的 4 英寸粗管;用橡胶密封套替代密封胶防漏;把损坏的 250GPH 水泵换成更小更安静的 160GPH 泵;把补光灯挂高半英尺、每天定时 8 小时以避免灼伤叶片;计划把易长藻的透明管换成黑色管。经验教训主要是:先”cycling”培养硝化菌数周再放动物;容量越大水质越稳。

HN 讨论出现明显分歧。最高赞评论以经济账为切入点指出:这套占地约 1 平方米的系统在 NYC 约相当于 1.8 万美元的房价空间,加上 700 美元器材与每年 170 美元电费,产出的农产品价值不到每年 100 美元,作为农业方式毫无经济性,仅适合作为 DIY 项目。也有多位评论者提醒鱼缸事故带来的水浸责任风险——房屋保险通常不覆盖,且大缸需要楼板结构支撑。其他讨论涉及湿度霉变风险、深水培(DWC)作为更简单入门方式的建议、Gibson 小说《Count Zero》中新泽西水耕农场的意象,以及对术语”aquaponics”是否应改用希腊语根统一的语言学吐槽。


11. 《卫报》报道:针对 Flock 车牌监控摄像头的破坏行动正在美国蔓延

《卫报》报道美国出现越来越多针对 Flock Safety 自动车牌识别摄像头(ALPR)的破坏行为。Flock 总部位于佐治亚州,估值 84 亿美元,其黑色摄像头配太阳能板安装在路杆上,声称每月在约 6000 个社区扫描车牌数十亿次,将结果与大型数据库比对。批评者依据公开记录指出,这些设备可让执法部门在无搜查令情况下跟踪特定车牌与驾驶者,产生大规模监控担忧。404 Media 曾报道过警察利用 Flock 跟踪前伴侣,以及德州警察为一名做过流产的女性在全国范围搜索其车牌的案例。Flock 则在博客中否认自己是”大规模监控工具”。

报道主角是一位名为 “NoMark” 的明尼阿波利斯”义警”,他在 Instagram 上以蒙面身份处理各类”任务”积累了 70 万粉丝,被当地媒体称为”明尼阿波利斯的蝙蝠侠”。今年 6 月他首次动手:爬上路杆用胶带遮盖镜头并剪断电线,此后已破坏十余个 Flock 摄像头。《卫报》在 23 个州识别出至少 33 起明确以抗议监控为目的的破坏事件,手段包括油漆炸弹、3D 打印遮挡物、插美国国旗、留下嘲讽字条,还有网红伪造 Flock 的”停止侵权函”博取流量。多人已被起诉,如弗吉尼亚州 Suffolk 的 Jeffrey Sovern 因涉嫌损坏十余个摄像头被控毁坏财物罪,他主张这些摄像头违宪;新墨西哥州的 Jevon Martinez 因涉嫌破坏 13 个摄像头被捕。Flock CEO Garrett Langley 则将部分隐私批评者形容为想要”让无法无天正常化”。

HN 讨论普遍同情反监控立场。高赞观点认为,当公众目睹高层政治中的严重犯罪未受惩处时,“用技术终结犯罪”的叙事就崩塌,Flock 被视作可能被滥用的控制工具。有评论者分享目击一位 77 岁老人坐在路边、用带纸板的泳池打捞网遮挡摄像头的当地新闻。也有人引用富兰克林关于自由与安全的名言,质疑摄像头安装缺乏宪法依据。少数评论表达矛盾态度:反对破坏公物,但对 Flock 无好感;也有人提出细致的分层方案,让街区居民投票决定摄像头的公开程度。另有讨论指出 Flock 被曝拒绝在合同终止后允许城市拆除其在市政财产上的摄像头,一些城市只能用垃圾袋将其罩住。少数评论质疑为何 Flock 单独承受了如此集中的媒体关注,而同类监控供应商并非只此一家。


12. 为 Playdate 手持机从零编写 3D 软件渲染器的经验记录

开发者 saffroncr 分享了为 Panic 出品的 Playdate 手持机编写 3D 软件渲染器的过程。Playdate 使用 1 位黑白低分辨率屏幕、没有 GPU,全部 3D 计算必须交给 CPU 完成:顶点变换、投影、裁剪、排序、着色/贴图、写入 framebuffer 都得自己实现,且必须每秒重复足够多次以保证可玩性。

作者一开始并无性能基准,先按老习惯移植了基于 Ken Silverman 代码风格的光线投射器作为热身测试,用于评估浮点/向量运算、内存操作和屏幕绘制速度。初步结果比预期差,说明项目不会轻松,但由于屏幕分辨率低、1 位显示极省内存,作者判断可以做出”感觉上”接近 3DO 或 Sega Saturn 时代的效果——需强调这只是”观感”层面:3DO 和 Saturn 有专门的多边形硬件与相对弱的 CPU,其硬件擅长四边形绘制却不适应 Doom 那种渲染方式,因此 Doom 移植版表现糟糕。

文章包含一段面向新手的 3D 图形入门:3D 场景其实是被相机投影到 2D 平面后由光栅化器转成像素写入 framebuffer 的过程。作者选择加载 Quake 的 BSP 地图格式,理由有二:可以直接用 TrenchBroom 编辑关卡、用 ericw-tools 编译地图与光照,省下自制工具链的时间;BSP 格式本身即为慢速机器预先计算好一切而设计。BSP 通过递归用平面切分空间形成二叉树,叶子对应凸空间区域,编译时预先计算 PVS(potentially visible set,潜在可见集),运行时找到相机所在叶子后即可用 PVS 快速剔除大量几何体,代价是场景偏静态且需按可见性思路设计关卡(例如连接两个大房间的直走廊会一次暴露过多几何)。

HN 讨论中,一位评论者回忆 15 年前在没有 FPU、只有 ARMv4 的 GP2X 上移植 Quake 的经历,因纹理内存碎片化只能玩几秒钟,并感叹 Playdate 相比之下已是”超级计算机”。多位评论者称赞作者”为介质设计”而非强行让硬件做不擅长的事,认为这种克制与热爱是早期游戏的特质。评论区还广泛推荐了相关资源:PICO-8 上的 Alone in the Dark 克隆后记、Rune Skovbo Johansen 的表面稳定分形抖动技术、Sharp Memory LCD 上的 ASCII 艺术项目 LCD 1,以及在 60 美元 GBA 克隆机上做 3D 骰子的博客等。也有对透视校正、抖动、PS1 时代艺术风格等细节的技术追问。


13. Did They Ghost You?一个匿名记录面试后被公司”已读不回”的众包平台

Did They Ghost You? 是一个记录求职者在面试后被公司无回音(ghosting)的匿名平台,目前收录 564 条经过审核的报告。项目定义的”ghosting”指公司已进行过面试、随后停止一切回复且未给出明确拒绝或时间线更新——单纯投简历没回音不算。运营方设有多项规则以求公平:不收集或公开求职者与面试官的姓名,每条提交都要由人工审核后才计入公司统计;同时设立”沟通良好”榜单表彰即使拒绝也能清晰沟通的公司;公司和候选人均可依据”审核政策”申请更正。

HN 讨论比条目本身更热闹。多个高赞评论分享了亲历的 ghosting 故事:一位候选人 2004–2005 年被 Google 招聘人员在承诺安排电话面试后突然消失,多年后入职查看发现该招聘人员正是在”承诺次日”离开公司;另一位与 Amazon 招聘人员在疫情期间沟通良好、后来对方突然失联,起初担心其健康,最终发现对方仍在 LinkedIn 每日发帖。这些案例引出一个共同猜测:不少 ghosting 其实源自流程中”拉线人”突然离职而缺乏系统性交接机制。

也有欧盟地区的评论者指出,在其经验中面试环节后被 ghost 极为罕见,通常都会收到模板化拒信;但在”投递后”阶段约 40% 的申请再无下文。围绕产品本身的讨论主要有:样本量太小、榜单未按公司规模归一化会天然偏向大公司;应区分”被拒绝但获得有用反馈”这一正向行为;是否可为通过 HR/招聘筛选、进入 onsite/编程环节后才被 ghost 的情况单独立类;以及是否应引入公开涉事招聘人员/员工 LinkedIn 的机制(但也承认这可能带来不公)。少数评论者从 UI 中不寻常的 emoji 用法推测该站是 vibe coded(AI 辅助生成),并对纯前端呈现质量表示认可。此外还有几个类似项目被提及:ghostjobs.net、ghostjobs.io 等。


14. Fly.io CEO 卸任:新一轮融资,押注为 AI Agent 打造的 Sprites

Fly.io 联合创始人兼 CEO Kurt Mackey 宣布卸任,由 Scott Johnston 接任 CEO,公司同时完成新一轮融资,并将战略重心押注在一款名为 Sprites 的新产品上。这篇博文的起因是 YouTuber Theo Browne 在评测 2026 年应用托管平台时表示,虽然对 Fly.io 有好感,但他”最不确定这家公司能否活到年底”。Mackey 承认此话戳中痛点:公司刚经历财务上最好的几个季度,但确实处于身份危机之中。

Mackey 反思了 Fly.io 最初的两条产品原则——“应用离用户越近越快”和”云基础设施对开发者过于复杂”——如今都不再是关键卖点。他认为 AI 已从根本上改变了软件开发:正如 Bricklin 发明电子表格前每张”Excel 文档”都由程序员制作,AI 会让几乎所有人都能构建计算机程序,而传统面向”百万用户级固定功能应用”设计的公有云是在与”个性化、自适应软件”的未来对赌。同时”面向人类开发者的精心 CLI 体验”也在贬值:Agent 直接一次性完成部署,甚至可能更喜欢显式而非”opinionated”的接口,Fly.io 与 AWS 在 Agent 眼中差别在缩小。

Sprites 被定位为”给 Agent 用的电脑”:硬件隔离的持久 Linux 环境,可在秒级批量创建数百上千台,每台带 100GB 持久磁盘,按使用计费且空闲时自动停表,能对外托管应用并共享给同事。Mackey 用”半一次性奶牛”来形容其定位——比宠物随意,但比一次性容器更有状态。他去年就写过”增长最快的客户全是机器人”,此次转型是围绕这一观察进行的组织与战略正式聚焦。

HN 讨论明显分裂。有用户称 Sprites 的抽象很漂亮,但作为基础设施产品是他 30 年开发生涯中遇到过 bug 最多的:频繁数据丢失、僵尸态无法连接、快照系统状态不一致,两周后放弃使用。多位评论者担心公司”自杀”——AI 沙箱已是拥挤的商品化市场,新 CEO 可能会以利润取代创造性愿景;也有人预测这种隔离能力最终会被 Claude Code、Codex 等 Agent 官方产品内建。产品定位方面,有人认为它更像适合几人的 lifestyle business 而非拿了融资的初创公司,非开发者用户会去用 Lovable 这类工具,而现有开发者已有 Docker/Podman。有用户反馈 Sprites 用来做”个人低流量站点的 vibe coding”确实不错,但对可扩展性与规模上限缺乏说明。多位老用户回忆 Fly.io 曾频繁登上 HN 首页,自从取消免费额度后曝光度骤降;也有人吐槽其近年频繁宕机。一条被反复引用的产品反馈是:官方博客中提到的 Hermes 等 Agent 集成 PR 已停滞数月,如果 Sprites 真是头号业务优先级,这些集成需要立即投入资源。


15. 志留纪假说:地球上是否曾存在过更早的工业文明

文章以随笔形式介绍了 2018 年由 NASA 戈达德研究所气候建模学者 Gavin Schmidt 与罗切斯特大学天体物理学家 Adam Frank 提出的”志留纪假说”(Silurian Hypothesis)。该假说的核心问题是:在地球 35 亿年的生命史与人类仅 20 万年的历史之间,是否存在过早于人类的工业文明?如果存在,人类今天是否还能识别出它留下的痕迹?

两位作者的动机来自系外行星研究:他们在寻找可能标志文明工业化的”高温异常”(hyperthermals)信号。作者指出,任何工业文明留下的建筑、器物在数百万年后都会被板块运动、侵蚀和沉积循环抹去,地表最古老的区域(以色列内盖夫沙漠一带)也仅有约一百万年。因此,未来能识别一个文明存在的最可能线索,或许只是岩层中一次碳同位素与温度的突变。5500 万年前的古新世-始新世极热事件(PETM)正是这样一次全球升温 5°C 左右的地质记录,其成因至今存在陨石、火山活动等多种解释。“志留纪”名字则借自英剧《神秘博士》中虚构的爬行族。原作者本人也强调,他们并不认为该假说为真,提出它的价值在于逼迫人们明确”什么样的证据才能算数”,这对天体生物学与人类世研究都有意义。

Rich Cohen 的这篇随笔在原始论文之外,混入了大量古代神话、印度史诗、卡巴拉与”蜥蜴人”阴谋论素材,这也是 HN 评论集中批评的地方——有读者认为文章把一篇严肃论文与个人式神秘主义拼贴在一起,稀释了原本的科学讨论。

HN 讨论中出现几条较有分量的反驳:一是人类基因组的群体遗传学证据显示历史上人口规模长期很小,排除了大规模现代人文明存在过的可能;二是既然科学界能识别过去 5 亿年的五次大灭绝,一个真正的工业文明不太可能完全不留可探测痕迹(技术陶瓷、放射性同位素、稀有金属矿脉的异常等应能留存);三是评论者引用 John Michael Greer 的《下一个百亿年》,设想未来智慧物种或许只能通过月球等无地质活动天体上的遗留物才能发现前代文明。也有人指出,若把”文明”标准放低到前工业沿海社会,板块运动与海平面变化确实足以清除大部分证据,因此讨论应区分”工业文明”与”复杂社会”两种尺度。


16. Wasmtime 默认启用 Wasm GC 与异常处理

Bytecode Alliance 宣布 Wasmtime 47 默认启用 WebAssembly 的 GC 与异常处理两个提案,标志着多年工程工作的阶段性成果,也使更多带垃圾回收和异常语义的高级语言能够更高效地以 WebAssembly 为编译目标。

在 Wasm GC 之前,Java、Kotlin、Dart、OCaml 等面向对象/引用语义的语言要在 Wasm 上运行,必须把自己的垃圾回收器一起打包进 .wasm,导致二进制膨胀,且无法使用栈图(stack maps)等原生 GC 常见技术。Wasm GC 提案允许 Wasm 程序直接定义 structarray 类型以及子类型关系,由运行时统一管理生命周期。异常处理提案的目的类似:替代此前工具链必须使用的”返回值+分支”式模拟异常约定,改为原生的 throw/try/catch,正常路径零开销,二进制更小。

Wasmtime 的 GC 采用经典的 Cheney 半空间复制收集器:堆分为活动与空闲两个半区,分配是活动半区中的 bump pointer,无需读写屏障。一个较有特色的设计是——GC 堆本身复用 Wasm 线性内存实现,GC 对象引用不是原生指针,而是 32 位的堆内索引。这带来多重好处:即使收集器出 bug 破坏堆,恶意 Wasm 也无法逃出沙箱访问宿主内存;可以复用线性内存已有的虚拟内存保护页机制省去显式边界检查;32 位引用比 64 位指针更紧凑、缓存利用率更高;同时借用已有的跨平台线性内存实现,天然获得可移植性,并保持约 5 微秒的实例化时间。团队目前重点在正确性而非性能,通过扩展 wasm-smith 及两个专门 fuzzer(一个覆盖对象图与子类型关系,一个专门检测堆破坏)加强测试。

HN 讨论关注几个点:一是有评论者惋惜 Wasm 选择了异常而非更通用的”effects/stack switching”提案(如 wasmfx),后者能表达协程、生成器等;二是当前主流 GC 语言的适配情况——Go 与 .NET 因语义不匹配暂无支持 Wasm GC 计划,Java 侧主要是 AOT 编译器 TeaVM 提供了生产级支持,但不追求完整 Java 兼容,与 JS GC 堆上对象的原生互操作也仍缺失;三是有人对”用线性内存边界检查省略机制加速 GC 访问”的说法感到困惑,认为数组访问仍需显式边界检查、struct 访问本就不需要,希望作者澄清具体优化点。此外也有对更好的线程模型与 JIT 的期待。


17. MouthPad:一款藏在口腔里的舌控触摸板

Augmental 推出的 MouthPad 是一款定制化的口腔内输入设备。它形如牙科矫治器,贴合上颚,中央嵌有一块金色触摸板与柔性电路,通过蓝牙连接手机、平板、电脑,将舌头在上颚的滑动、点触,以及头部姿态、抿唇等动作转换为光标移动、点击、滚动、拖拽等操作。设备兼容 macOS、Windows、Linux、iOS、Android,厚度约 1 毫米、重约 10 克,材料为牙科树脂,续航 7 小时以上,采用 UN 38.3 / IEC 62133 认证电池。每一只 MouthPad 需要通过牙科扫描定制、3D 打印并封装。

产品主要面向手部功能受限的用户:上肢瘫痪、渐冻症等群体。官网集中展示了大量用户证言,描述其如何在无法使用手部的情况下重新获得独立操作手机、拍照、下棋、办公乃至游戏的能力,也强调佩戴隐蔽、对语言影响较小,一次可连续佩戴数小时无不适。

HN 讨论普遍认可这是一项踏实的辅助技术创新。多位评论者从个人经历出发肯定其价值:有人在长时间医疗操作中双手被占,希望能有这样的设备;也有人指出手术机器人早已使用舌控接口,经过训练后舌肌可实现极精细的操作,例如脑部深处的细微切口。争议主要围绕商业模式与定价:官方标价约 1400 美元,明显落入”残障税”区间,市场规模有限,如何在满足小众高价值场景的同时向更广人群拓展仍是问题。多位评论者提到,若能在成本与舒适度上继续下探,舌控触摸板对 AR 眼镜是极具潜力的输入方式——舌头本身极为灵敏灵巧,甚至可实现类滑动输入。也有较轻松的调侃:设备名 MouthPad 容易让人联想到含糊发音的 “mousepad”;未来考试可能要检查口腔;以及数据隐私方面的担忧。


18. Anthropic:Claude 5 世代模型的上下文工程新规则

Anthropic 发布博文,总结 Claude 5 世代模型在”上下文工程(context engineering)“上的经验更新。核心观点是:随着模型自身能力和判断力提升,过去针对早期 Claude 模型堆砌大段系统提示、反复强调规则、密集示例的做法不再必要,甚至会拖累表现。官方称已把自家系统提示削减了约 80%,并建议开发者以类似方式重构 CLAUDE.md 及各类提示模板。

文章提到的几条主要转变:一是模型对指令位置的敏感度下降,早期版本存在”lost in the middle”以及末尾指令更被重视的偏差,Claude 5 世代对上下文各处指令的一致性有所改善;二是应减少繁琐的正/反例示——过多的示例会不当收窄模型行为空间,反而不如让模型”自行判断”;三是提倡在提示中赋予模型”judgment”,而不是把每一步都写死;四是对旧版模型常用的负面指令(“不要输出这类注释”等)应减少依赖,转而信任模型默认行为。

HN 讨论比较分化。一部分开发者认为文中建议大多是常识,与其他厂商长期以来的最佳实践并无本质不同;也有人质疑 Anthropic 关于”已解决序列位置偏差”的暗示,认为在真实长上下文评测中该偏差依然明显。有评论者调侃”我们最终会设计一种用有限关键字精确表达需求的语言——等等,这不就是编程语言吗”,讽刺提示工程正在向传统软件工程回归。另一种批评指出:把提示优化”从可迁移的 .md 文件迁移到 Anthropic 专有 harness/Skills 工具”隐含厂商锁定动机;有用户实测 Opus 5 在实际编码任务中出现更多误删、绕过 hook 控制及一次失败率升高的问题,token 消耗反而上升。

也有较为务实的看法:与其花大量时间为”无人值守跑通所有 issue”配置提示,不如保持人在回路,手工清理小瑕疵;把 Claude 当作有基本功的初级同事,给它高层次的方向、品味与偏好指引即可。文末被多次援引的一句评论是 Rich Sutton 的”痛苦的教训(bitter lesson)“——终极形态或许是一句系统提示”你知道该怎么做”,而模型确实能做到。


19. 研究指出 Tile 追踪器缺乏加密,反被跟踪者利用

Adafruit 博客介绍并转述了一篇学术研究(arXiv:2510.00350),指出 Life360 旗下 Tile 蓝牙追踪器的安全设计存在根本缺陷,使其相比 Apple AirTag、Google Find My Device 等对手更容易被用于跟踪他人。研究作者也出现在 HN 讨论中回答问题。

对比之下,Apple 与 Google 的追踪器通过在 BLE 广播中携带公钥、对定位信息进行端到端加密来实现”位置不可区分性”:即便中间的众包网络看到设备广播,也无法解出其位置,只有绑定的设备主人才能解密。而 Tile 采用的是相对静态、可被外部识别的标识符,跟踪对象附近的攻击者可以据此长时间关联位置轨迹;同时其”反跟踪”检测机制与厂商侧的滥用防护也被认为形同虚设,官方所谓”对滥用者罚款一百万美元”更多是宣示性条款。

HN 讨论集中在几方面。一是好奇 Apple/Google 端到端加密的具体密钥管理——公钥嵌在 BLE 广播里,私钥则在配对时同步到属主设备。二是有人质疑该问题的实际威胁模型:Temu 上到处可买专门为跟踪设计的 GPS 追踪器,真正带恶意目的者未必需要”改造 Tile”。反方观点则指出,Tile 的问题不在于是否是”最佳跟踪工具”,而在于一个被合法销售、被受害者信任、藏在钥匙串或车内看起来无害的设备,其安全性本应达到与竞品相当的水平。三是对 Life360 本身的批评:该公司被指为将家庭定位数据卖给广告商变现的”油腻”公司,有人因此让家人卸载了应用。另有评论者推荐正在改进的开源/去 Google 化替代方案(如 mygrid.app),并对其可信度进行讨论。Adafruit 站点的机器人验证页面让不少读者根本无法读到原文,也成为讨论区吐槽的一部分。


20. Fedora 45 的”香肠工厂”:从 git push 到发行镜像的全流程

supakeen 撰写的这篇长文以 Fedora 45 为快照,完整梳理了 Fedora 从打包者提交源代码到最终产出 ISO、云镜像、容器镜像与 OSTree 部署的整条流水线,作者计划每一到几个发布周期更新一次以形成活文档。

流程起点是 dist-git:每个软件包在 src.fedoraproject.org 的独立 Git 仓库中维护 RPM spec、下游补丁和指向外部 lookaside 缓存的 sources 文件,大二进制不入 Git。分支对应发行版本(rawhide、f44 等),托管正在从 Pagure 迁往 Forgejo。打包者通常通过 fedpkg 工具操作,fedpkg build 实际上是把一个具体 commit 的 URL 提交给构建系统 Koji,从而保证构建可从该 commit 完全重现。

Koji 采用中心-辐射架构:一个基于 PostgreSQL 的 XML-RPC hub,配合若干轮询取任务的 builder,每次构建都在全新 Mock chroot 中进行,确保干净环境。组织模型以”tag”为核心,通过多重继承构造 buildroot 与目标标签。Koji 除 RPM 外,还通过插件与内容生成器编排 Kiwi、Image Builder 与 OSTree 等镜像构建。

对于非 Rawhide 的分支版本,构建产物要经过 Bodhi 的更新门控:更新在 pending/testing/stable 状态间流转,依赖用户与自动化测试的 karma、时间窗口以及 Greenwave/ResultsDB 的 CI 结果决定何时推向 stable,关键路径包会有更严格阈值。Bodhi 背后仍是通过在 Koji 标签之间移动构建实现,随后调用 Pungi 合成实际的 dnf 仓库。

Pungi 是发行合成的编排器,名字源自印度弄蛇笛(用来”驯服”安装器 Anaconda),沿用自 2006 年。合成从 Pkgset 阶段”冻结”某 Koji tag 中的软件包集合开始,此后每一步都基于这一快照,保证可审计。随后通过 comps(定义 gnome-desktop、server-product 等包组)和 variants XML(定义 Everything、Server、Workstation、KDE、Silverblue 等产品)决定哪些包进入哪些变体;现代 Fedora 中大多数变体是 is_empty="true",实际镜像基于 Everything 仓库通过 Kiwi、Image Builder 或 OSTree 生成。Buildinstall 阶段则负责产出启动镜像 boot.iso 等,这一部分在 Fedora 45 周期仍有变更提案在推进。

HN 评论认为这类端到端文档对排障极为宝贵——有人分享了自己因 Fedora 版本间根文件权限变化而无法定位问题的经历,读完后终于知道应从流水线哪一环入手。也有读者指出,Koji 的”完全干净构建”并非在所有历史时期都严格成立:多年前曾出现过某包因 builder 上恰好有非 BuildRequires 依赖被其他包引入才编译成功的情形,在真正干净环境的 COPR 中会失败。此外,有新用户询问如何参与 Fedora 贡献、是否有集中列出人手短缺环节的地方;也有对 IBM 影响下 Fedora 治理方向的批评言论。