欢迎来到 Agili 的 Hacker Podcast。今天的博客探讨 AI 如何改变数学研究与大众认知，同时关注数据中心遭受物理打击、通行密钥背后的控制权争议，以及老牌硬件与软件协议的新动态。 Yandex Cloud 第三座数据中心遭无人机袭击 核心云服务大面积中断 俄罗斯科技公司 Yandex 旗下的云计算平台 Yandex Cloud 遭遇重大故障。官方状态看板显示，10 月 10 日晚间，位于俄罗斯弗拉基米尔（Vladimir）的数据中心遭到无人机袭击并受损，现场无人员伤亡，数据中心已全面暂停运营。这是近期该平台遭遇物理打击的第三座数据中心。 袭击导致弹性计算（Compute Cloud）、虚拟私有云（VPC）、对象存储（S3）、托管 Kubernetes 集群（用于自动化部署和管理容器化应用的系统）以及各类托管数据库陷入不可用或不稳定状态。平台随后进入应急模式，建议客户启动外部平台的灾难恢复计划。目前控制台和 API 接口逐步恢复，多数高可用数据库完成故障切换但部分降级为只读，S3 存储写入受限，额外的云资源配额申请已被暂停。 集中式架构的脆弱性 俄罗斯近年来推动“数字主权”，在强化信息审查的同时应对西方云厂商因制裁撤出的局面，将政企服务高度绑定在本土数据中心。Hacker News 社区指出，这种物理上的集中放大了架构脆弱性，使莫斯科周边的数据中心成为显眼的战术目标。乌克兰在战前立法允许关键政务数据与系统镜像至境外欧美云平台，分散了物理损毁带来的业务中断风险。 袭击发生后，网络监控平台 Cloudflare 记录到特定网络机器人流量骤降。技术人员认为这是 Yandex 抓取爬虫下线所致，部分社交网络上的虚假账号活跃度也同步回落。原 Yandex 体系在战后已分拆为留在境内的实体与走向国际市场的 Nebius，伴随大量顶级工程师向海外迁移，依靠单一区域构建的封闭数字基础设施正面临严峻的弹性考验。 数学家陶哲轩：迈向 Math 2.0 时代 从证明稀缺到证明充裕 数学家陶哲轩在《Math 2.0》报告中提出，传统数学（Math 1.0）建立在“证明稀缺”的假设上，寻找未解问题的证明高度依赖人类专家。数学具备客观可验证性、高度可数字化以及海量高质量文献的特点，通过 Lean 这类交互式定理证明助手（利用计算机语言对数学公理和推理进行严格机器检验的工具），证明的有效性有明确的检验标准。这些特征契合现代机器学习的需求，正推动数学跨入“证明充裕”的时代。 陶哲轩认为，解决具体问题只是衡量数学进展的代理指标。纯数学中的未解命题更像是“灯塔”，意义在于指引学者探索未知的理论地貌。在证明充裕的当下，过早依赖自动化工具触达目标，可能会切断其他探索路径，让周边的数学领域陷入荒芜。 人类理解与“理论代码库”的维护 陶哲轩用一个思想实验探讨人类理解的必要性：如果 AI 给出了通过三期临床试验且经过 Lean 形式化认证的癌症新药，但在没有人类专家理解其作用机制前，患者是否敢将其注入体内？ 医药研究者在讨论区指出，现代医学大量建立在半经验和统计验证之上，对乙酰氨基酚和锂剂在机制查明前就已基于严格的临床试验投入使用。支持陶哲轩观点的技术人员则强调，这个实验的核心在于防范机制漏洞和奖励作弊（Reward hacking，指模型利用规则设计上的缺陷走捷径以获取最高分数）。AI 常常利用评测流程的漏洞生成表面合规的答案，套用到复杂工程中会带来未知风险。 有开发者用软件工程来类比：纯数学的本质是在协同维护一套优雅、可复用的“理论代码库”。目前的 AI 证明缺乏与现有知识体系的衔接，就像反编译器生成的机器代码，即使逻辑成立，人类数学家也需要耗费大量精力去反推消化。 Math 2.0 的探索方向 前沿模型公布的解法曾打破人类数十年来的固有假设，比如在离散傅里叶变换研究中找到了更优边界。AI 快速排除了不需要新原则就能解决的问题，帮数学家筛选出真正具备深度挑战的课题。 陶哲轩倡导让 AI 服务于人类理解，提出了多个具体方向：开展大规模“实验数学”，结合众包与自动化在等式理论项目（Equational Theories Project）中解决普遍代数领域的两千多万个命题；构建动态学术网络，将分散的论文整合成实时更新的知识图谱；通过移除关键假设开展“消融研究”，寻找更初等的证明路径；借助 AI 为极难理解的证明寻找符合直觉的解释。 大模型能力的认知断层正在扩大 陡峭的认知金字塔 人工智能研究者 Andrej Karpathy 在 X（原 Twitter）上指出，公众对大语言模型（LLM，基于海量文本训练的深度学习语言处理系统）真实能力的认知断层正呈金字塔状拉大。底层是全球约 60 亿从未接触过大模型的人口；往上是 10 到 20 亿偶尔使用免费聊天产品的普通用户，他们接触到的多是初代模型，将其视为略好一点的搜索引擎；再往上是约 2000 万深度使用前沿模型的编程与科研人员，他们正目睹智能体（Agent，能够自主调用工具、执行多步骤任务的 AI 系统）在几小时内完成过去耗时数周的开发与逆向工程；而在塔尖，仅有约 5000 名顶级实验室内部人员接触到未公开系统，亲历成千上万个智能体协同进行漏洞挖掘与数学猜想证明。 这种断层源于强化学习（Reinforcement Learning，通过试错与奖励信号优化行为的训练方法）的机制。强化学习依赖确定性的验证反馈，例如单元测试是否通过。这让编程和数学领域的能力突飞猛进，而缺乏明确验证标准的日常沟通任务则进步缓慢。 生产力的真实分野 即便在深度接触 AI 的开发者群体中，对其实际生产力的评估也存在分歧。一部分开发者认为，代码终端（Terminal）的标准输出和错误日志为模型提供了闭环纠错环境，借助规范驱动开发，团队能以更少的人力交付软件。另一部分工程师指出，提示词驱动的开发容易打破既有的抽象边界，滋生隐蔽的设计缺陷。真正的系统工程往往卡在业务权衡与长期维护上，自动化生成的代码反而加重了资深工程师的审查负担。 面对癌症临床试验、核聚变控制、电力基础设施等受制于物理规律的难题，单纯增加计算代币（Token，模型处理文本的最小数据单元）消耗并不能直接带来突破。普通人面对的生活成本与基建瓶颈并未改善，使得实验室内部的能力跃迁与大众日常感知的停滞并存。 通行密钥是一场控制权陷阱？ 远程证明带来的生态锁定隐患 技术博客 Non-Functional 撰文指出，各大网站力推的通行密钥（Passkeys，一种基于公钥加密的免密认证凭证）正在剥夺用户对登录凭证的最终掌控。传统密码和 TOTP（基于时间的一次性密码，即动态验证码）允许用户自由选择存储介质和运行设备。通行密钥虽然基于 WebAuthn 开放标准，但规范中内置了“远程证明”（Remote Attestation）机制。 通过远程证明，网站可以在苹果 Secure Enclave 或 PC 的 TPM 等加密芯片配合下，验证用户端是否运行着被批准的操作环境。如果服务方强制启用该机制，未经官方授权的密码管理工具以及 Linux、LineageOS 等开源操作系统都可能无法通过认证，导致用户被拒绝登录。 防范钓鱼的刚需与折中方案 Hacker News 社区对此展现了不同的工程视角。支持通行密钥的工程师认为，远程证明在消费级市场难以落地。苹果在普通消费设备上明确拒绝支持通行密钥的远程证明，主流网站不可能因此切断所有 iOS 用户的访问。更重要的是，通行密钥解决了身份认证领域最致命的中间人钓鱼（Phishing）攻击。通行密钥在签名时天然绑定当前域名，且只向服务器上传公钥，彻底杜绝了伪造网站截获验证码和数据库泄露撞库的风险。 持警惕态度的开发者则指出，许多银行应用已经通过检测环境完整性来拒绝在开源系统上运行，未来完全可能率先强制推行硬件证明型通行密钥。近期 1Password 等工具开始严格执行“必须验证用户”策略，导致没有指纹识别的台式机用户频繁重复输入系统密码。为了兼顾公钥加密的安全性与控制权，开发者建议使用独立的物理安全密钥（如 YubiKey），或将通行密钥保存在 Vaultwarden、KeePassXC 等支持导出的开源密码库中。 内存涨价潮让 DDR4 重回主流视野 芯片厂商重启旧平台支持 据 The Verge 报道，全球内存价格持续上涨，促使 Intel 和 AMD 重新为老旧的 DDR4 内存提供处理器支持。主板厂商技嘉宣布，旗下两款主板产品线将支持预计于 2027 年初发售的 Intel LGA 1700 插槽新处理器，重新启用 DDR4 与 DDR5 双兼容方案。AMD 同样在调整策略，技嘉为其老一代 AM4 平台重新推出了配套主板，配合 Ryzen 7 5800X3D 处理器的重新发售。 容量比账面速度更实用 DDR4 标准于 2014 年面世，3200MHz 频率的 DDR4 内存足以支撑绝大多数日常办公与游戏渲染。在日常任务中，更大的内存容量比单纯的速度提升更实用，充足的闲置空间能够充当操作系统的磁盘缓存，直接提升系统响应速度。 目前一套双通道 128GB 的消费级 DDR5 内存售价高达约 2000 欧元，高昂的价格波及了二级市场。二手交易平台上，搭载 256GB 甚至 512GB DDR3 ECC 内存（具备错误检查和纠正功能的企业级内存）的老款服务器在过去一年明显升值。数据中心建设与 AI 训练对高带宽内存产生了巨大吸力，使得消费级市场再次通过挖掘旧代硬件潜力来控制装机成本。 经典即时战略游戏《横扫千军》的现代重制与争议 浏览器即玩的重制引擎 Nanolathe Nanolathe 是一个采用 MIT 许可证（允许自由使用、修改和分发的开源软件许可协议）的开源 2.5D 即时战略游戏引擎。项目试图通过净室研究（Clean-room research，指在不接触原始源代码的情况下，通过分析软件行为来独立重写代码以规避版权风险的开发方式）重新实现经典游戏《横扫千军》（Total Annihilation）。 玩家直接用桌面端浏览器就能在线试玩三个演示任务；若自行准备正版游戏数据文件，即可体验完整战役与最高 10 人的跨平台联机。引擎默认采用现代 GPU 渲染，将地形和树木贴图扩展为双倍分辨率，加入了动态光照，同时也保留了一键切换回 CPU 渲染的经典画面模式。 AI 辅助反编译引发的合规与性能质疑 Hacker News 开发者在查看代码库的 AGENTS.md 文件后发现，该引擎及宣传网页高度依赖大语言模型生成。用户 noduerme 引用项目文档指出，作者让 AI 对原版游戏的二进制文件 TotalA.exe 进行静态分析并生成行为描述文档，再让另一个 AI 根据文档用 Go 语言和 Ebitengine（开源的 Go 语言 2D 游戏引擎）重写代码。社区质疑这种“AI 辅助反编译再重写”的流程在法律上无法构成真正的净室实现。此外，实际试玩的玩家反馈网页版加载缓慢、鼠标延迟明显，存在大量未优化的绘制调用（Draw calls）。 相比这个早期项目，社区更推荐《横扫千军》的开源精神续作《Beyond All Reason》（BAR）和《Zero-K》。这两款免费游戏基于 Recoil 引擎开发，支持多达 150 名玩家和数万个单位同屏战斗。在评论区，开发者 slightlygrilled 还分享了他正在重写的《最高指挥官》Moho 引擎项目，能够以 60 帧以上的速度流畅运行 64000 个空中单位混战。 LineageOS 24 发布：支持浏览器刷机与 PC 裸机运行 内核策略收紧与架构更新 开源移动操作系统 LineageOS 发布了基于 Android 17 的 LineageOS 24.0 版本，为从 Pixel 4 系列到最新发布的数十款智能手机延长了生命周期。新版本不再接纳采用 Linux 内核 4.4 和 4.9 的旧设备进入 24.0 分支（保留在 22.2 接收安全补丁），要求内核具备完整的 eBPF（扩展伯克利数据包过滤器，允许在内核中安全运行沙盒程序的技术）反向移植。团队还推行了面向高通与晶晨芯片的通用内核，减轻维护负担。 在线刷机工具与跨设备启动 官方上线了基于 WebUSB（允许网页浏览器直接与 USB 硬件通信的接口技术）的在线刷机工具。用户可以直接通过浏览器调用 Fastboot、ADB 或三星 Odin 协议完成刷机，省去了在电脑端配置软件的步骤。 系统内置应用更新至 Material Design 3 Expressive 规范，新增了图像编辑工具 Canvas。在工程架构上，一项实验性的裸机引导目标已成功在常规 x86_64 PC、Apple Silicon Mac 以及高通骁龙 X 系列笔记本上启动运行。社区用户认为，原生未获取 root 权限（系统最高管理员权限）的 LineageOS 能正常使用大多数银行应用，对老旧手机和旧电脑的维护有效减少了电子垃圾。 IRCv3：为古老的纯文本聊天协议注入现代特性 补齐历史记录与认证短板 IRCv3 工作组由 InspIRCd、WeeChat、ZNC 等十余个主流项目的开发者组成，致力于为早期的 IRC（互联网中继聊天协议）制定向后兼容的现代扩展。针对传统 IRC 缺乏持久化聊天记录、新用户进频道面对空白屏幕、移动端断线重连频繁刷屏等痛点，IRCv3 引入了 SASL（简单认证与安全层）标准化登录、消息元数据附加以及 chathistory 聊天历史规范。 社区成员分享，使用现代服务端 Ergo 搭配客户端 Halloy 或移动端的 Goguma，系统就能自动回放最多 30 天的离线消息，不再需要额外部署 IRC bouncer（跳板机，代替用户保持在线并缓存离线消息的代理服务器）。 体验碎片化与极简主义的坚守 由于大量扩展属于可选项，不同客户端对特性的支持程度不一，容易导致同一频道内的用户看到不同的表情回应（Reacts）和回复视图。同时，因为缺乏资金支持，部分始于 2017 年的路线图议题推进缓慢。 即便如此，许多开发者依然偏爱 IRC 的轻量、高信息密度和纯文本特性。相比充斥着微交易广告、占用大量内存且数据封闭的 Discord，IRC 无需绑定手机号，聊天记录完全归属本地，在大规模网络故障时依然是科技公司内部可靠的备用通信手段。 纽约市“一键取消”订阅新规正式生效 严禁设置退订阻碍 纽约市敲定了全美首个市级“一键取消”（Click to Cancel）订阅规则，由纽约市消费者和工人保护局负责执行，定于 2026 年 10 月 1 日生效。规则要求企业必须提供与注册同等简单的取消途径：支持线上一键订阅的服务，必须提供同渠道的一键退订选项，严禁强制要求用户通过电话或线下方式解约。违规企业将面临最低 525 美元的罚款及勒令退款。 合规落地与企业的规避手段 在工程落地上，开发者指出退订涉及账户登录与身份验证，是否允许包含挽留弹窗存在界定模糊。面对多地区法规的合规成本，不少创业者建议中小软件服务商直接采用 Stripe 等支付平台自带的客户门户，在设置中放置清晰的退订按钮，这比单独维护诱导用户的暗黑模式（Dark Patterns，指误导用户做出非本意操作的界面设计）成本更低。也有用户以 Adobe 的“按月付费年度合约”为例，担忧大型企业会通过收取高额提前解约金来规避这一规则。 《洋葱报》向读者公开求购早期纸质报纸 填补 38 年的实体档案空白 讽刺新闻媒体《洋葱报》（The Onion）正在向公众收购缺失的早期纸质版报纸。他们列出了详细的求购清单，包括 1988 年至 1991 年的全部早期期刊（第 14 卷至第 19 卷）、2011 年至 2013 年的全部期刊，以及 90 年代至 2010 年间的特定期数。持有完好报纸的读者可通过官方表单联系档案管理员进行出售。 由于《洋葱报》在宣传文案中声称“部分报纸从我们 270 年的档案库中神秘失踪”，不少网友起初以为这又是恶搞。实际上该报创立于 1988 年，这次征集确有其事。网友推测，创业初期的团队很难想到 30 年后还需要保留一份搞笑期刊的实体拷贝，加上预算紧张时削减仓储开支，导致早期纸质档案遗失。这次寻物活动也勾起了许多老读者对赫伯特·科恩菲尔德（Herbert Kornfeld）等经典专栏角色的怀念。 相关链接： * 3rd Yandex Cloud Data Center Was Hit * Total Annihilation, rebuilt for modern computers * NYC's "Click to Cancel" rule is now in effect * Terence Tao: Math 2.0 [pdf] * LineageOS 24 * IRCv3 * The RAM shortage is bringing back DDR4 * The gap in shared understanding of LLM capability is widening * So, you’d like to sell your print issues of The Onion? * Passkeys are a trap

欢迎收看 Agili 的 Hacker Podcast。今天的内容涵盖了 AI 驱动的软件逆向工程工具、Telegram 桌面客户端的高危漏洞、针对朊病毒病的创新基因疗法临床试验，以及操作系统与底层工具链的最新动态。 REA：面向编程智能体的逆向工程工具套件 工具定位与使用方式 REA（Reverse Engineer Anything）是一套为编程智能体（Coding Agent，能自主编写和执行代码的 AI 工具）提供逆向工程能力的工具集。开发者在终端运行 npx rea-agents@latest setup，或直接向智能体发送安装指令，即可完成环境配置。 该工具集支持原生二进制文件、JavaScript 与 Electron 应用，以及浏览器运行时的活动监控。它能够提取函数签名、分析进程间通信（IPC，不同进程之间交换数据的机制），并跨运行周期对比程序行为。接入后，开发者可以通过自然语言要求智能体排查目标程序内部逻辑，无需手动追踪汇编指令。 逆向分析实例 在官方测试中，智能体利用 REA 分析了 Windows 11 计算器中的百分比逻辑。通过提取动态链接库（DLL）中的汇编与反编译代码，智能体发现百分号在加号与乘号后遵循不同分支：在乘法后将数值除以 100，而在加法后则计算基准数值的百分比，解释了输入“200 + 10%”得出 220 的具体实现。 另一案例则是对基于 Chromium 的网页恐龙跑酷游戏的分析。REA 提取运行时脚本后，还原出该游戏在未发生碰撞时的加速规则：初始速度为 6，每次无碰撞更新递增 0.001 直至上限 13。智能体随后基于该规则重新生成了带有速度控制的游戏副本。 社区反响与版权争议 在 Hacker News 的讨论中，有开发者反馈借助大模型和逆向工具在短时间内修补了存在多年的 Windows 远程桌面客户端缺陷，也有用户成功为仅支持英伟达硬件的视频软件编写了针对 AMD 核显的适配层。 这类工具的高效也引发了关于数字版权与社区文化的讨论。部分复古游戏开发者认为，完全由 AI 自动化生成反编译代码削弱了社区协作的纽带，容易导致低质量移植泛滥；另一些开发者则认为，它极大地降低了挽救老旧软件与保留数字资产的门槛。围绕知识产权，重写商业软件的项目（如 PhotoCraft）明确表示严禁引入反编译工具，必须采用净室设计（Clean Room Design）以防范潜在侵权风险。 Telegram Desktop 出现单点击接管账户的高危漏洞 漏洞形成机制 Telegram 桌面客户端存在一个高危漏洞（CVE-2026-107181），影响 7.2.8 及更早版本。攻击者可通过诱导受害者点击恶意链接，窃取本地任意文件，并在默认配置下直接接管 Telegram 账号。该问题已在 7.2.9 版本中修复。 攻击链由两个设计缺陷结合而成。首先，客户端在处理 tg:// 协议时，通过本地套接字向已运行的主进程传递指令，传输中采用分号分割且未进行转义，使得攻击者能够构造指令注入。其次，客户端内遗留了一项用于自动化发布的特权协议 interpret:，该协议无需鉴权或用户确认，即可读取指定指令文件并将目标本地文件自动上传至指定频道。 攻击触发与防范 Telegram Desktop 默认允许任何用户将账号拉入公开群组，并会自动下载群内小于 8 MiB 的文件。攻击者可先将写有上传指令的文本文件推送到目标机器的默认下载目录，再通过网页将受害者重定向至包含注入代码的 tg:// 链接，调用 interpret: 协议读取刚下载的文件。 受害者若未开启本地锁屏密码，Telegram 本地凭据仅由空密码派生保护，攻击者获取凭据文件后即可在远程设备还原登录会话。Telegram 在 7.2.9 版本中删除了 interpret: 协议并引入了转义机制。对于旧版本，禁用自动拉群、开启文件保存位置确认以及设置强本地锁屏密码可切断利用链。许多开发者在讨论中指出，保留缺乏鉴权的特权接口反映出代码审查存在疏漏，并建议在桌面操作系统中更广泛地运用沙盒机制隔离即时通信软件。 丹麦 CPR 人口数据库因弱密码遭遇严重泄露 事件经过 丹麦中央人口登记系统（CPR，Det Centrale Personregister）发生大规模数据泄露，波及约 880 万名现存及已故公民的姓名、地址和身份证号码。 泄露源头为一家仅有两名员工的 IT 服务商 Pays ApS，该公司拥有国家 CPR 系统的合法查询权限。黑客通过离职员工泄漏的凭证进入系统，发现内部多个账户（包含管理员账户）均使用“123456”作为密码。黑客在系统内潜伏近 22 天，调用了约 1400 万次自动化查询。由于查询按次计费，直到系统开出一笔数额异常庞大的账单时，官方才察觉并切断了访问。 身份认证与安全反思 涉事黑客表示未打算出售这批数据，但由于 CPR 号码在丹麦日常就医、药房取药及金融服务中长期充当核心身份凭证，丹麦公共安全局（Samsik）已宣布 CPR 号码不再作为可靠的单一身份凭证。官方呼吁各机构全面转向数字化认证工具 MitID 和多因素认证（MFA）。 社区讨论集中于公共数据接口的合规性管理。读者认为，对于接入核心数据库的第三方机构，应强制实施安全审计标准，并建立基于调用量和访问模式的实时异常风控机制，而非仅依赖月底账单来发现入侵。 ESauron：通过电磁辐射探测隐藏摄像头 探测原理与实验表现 来自湖南大学、加州大学圣迭戈分校和密歇根州立大学的研究团队公布了名为 ESauron 的隐藏摄像头探测方案。该系统利用摄像头内存活动产生的电磁辐射（EMR）来发现设备，能够识别无线、有线以及无网络连接的离线录制设备。 摄像头在对捕获的画面进行压缩和编码时，内存工作负载会随画面的变动而剧烈起伏。ESauron 通过人为改变环境场景（例如开关灯或晃动指示物）来促使摄像头内部产生突发计算，再通过外置软件定义无线电（SDR）设备和天线捕捉特定频率上的电磁波动。在针对 50 款市售摄像头的实验中，系统进行了 4 次场景刺激，达成了 100% 的识别准确率，在隔墙测试中探测距离可达 20 米以上。 局限性与规避手段 该技术面临一定物理限制。在实际城市环境中，800-900MHz 频段容易受到蜂窝网络信号干扰，对接收设备的动态范围有较高要求。金属屏蔽会显著降低信号强度，测试显示普通铝片包裹即可将探测距离大幅压缩至 2 米左右。 在算法层面，摄像头若采用恒定时间编解码器、在 H.264 编码中仅使用关键帧，或通过扩大缓冲区平滑内存读写，也能规避检测。尽管存在这些对抗手段，社区讨论指出，民用偷拍场景中大多数设备使用的是廉价消费级元件且未经过硬件屏蔽改造，ESauron 依然具有较高的实用筛查价值。 Jane Street 探索用自回归扩散模型生成市场订单流 金融时序建模的难点 Jane Street 团队测试了利用自回归扩散模型（Autoregressive Diffusion）直接合成完整的高频市场微观结构数据。传统量化模型多集中于价格走势预测，而该实验旨在重构包含报价变动、撤单、成交及微秒级时间戳的完整订单簿动态。 市场订单数据兼具离散动作与连续数值特征。实际交易中存在大量并发订单，使得时间间隔在零秒处高度聚集；价格变动也高度集中在最小报价单位（tick）上。这种非平滑、尖锐的分布特性，导致经典的去噪扩散概率模型（DDPM）在推演中发生数值发散，大量样本偏离均值超过 8 个标准差。 架构方案与工程发现 为了解决不稳定性，研究人员转用流匹配（Flow Matching，一种直接学习从噪声到数据线性插值速度的方法）替代传统扩散模型，并设计了一种“原子平滑”（Atom Smoothing）机制：先对经验分布中的离散尖峰进行平滑化处理供扩散模型学习，再在重构阶段还原原有的概率质量。 模型结合了 Transformer 编码器与分别处理分类事件及连续数值的双分支结构。评估结果表明，优化后的模型能够较好地拟合单步事件的边缘分布。但在长步数的自回归推演中，误差依然会出现累积，导致人工合成资产的买卖价差随时间推移逐渐失真。该研究为生成式模型在高频金融时间序列中的适用边界提供了具体参考。 Eurydice：将 Rust 编译为可读 C 代码 项目定位与核心机制 由法国 Inria 与微软研究人员主导开发的 Eurydice 能够将 Rust 代码转换为结构清晰的 C 语言源码。该项目是形式化验证工具套件 Aeneas 的一部分，旨在为缺乏原生 Rust 支持的高安全合规场景（如汽车、航天及密码学验证环境）提供过渡方案。 Eurydice 优先考虑保留源代码的语义与控制流，而非过度优化。为确保算术溢出等运行期副作用与 Rust 的求值顺序完全一致，编译器在转换时会插入必要的临时变量。面对 Rust 的泛型，Eurydice 采用单态化（Monomorphization，在编译期为具体类型生成独立代码）策略生成静态类型路径，避开安全关键规范（如 MISRA-C）所限制的宏和无类型指针。 技术权衡与生态定位 在处理动态大小类型时，Eurydice 会根据上下文生成柔性数组成员与定长数组，这种内存视角的转换违反了 C 的严格别名规则，因此生成的代码建议开启 -fno-strict-aliasing 选项进行编译。 工具链底层依赖 Charon 工具提取 rustc 的中级中间表示（MIR），随后映射生成 C 源码。针对社区提出的“能否用 Eurydice 转换 rustc 以实现编译器自举”的讨论，参与者指出，Eurydice 目前主要适用于小型自包含模块，对常量泛型等复杂特性的支持仍在完善中；加之其自身基于 OCaml 构建，在追求极简构建链的场景下，依赖 C++ 的 mrustc 仍是更直接的自举路径。 Talorys：部署在 Cloudflare 免费层级的个人 AI 助手 架构设计与服务组合 开发者 Roc Yu 开源了面向单用户的个人 AI 助手项目 Talorys。该项目可运行在用户的个人 Cloudflare 账户内，支持对话交互、任务管理与定时自动化流程，不包含外部遥测，开发者亦不维护中央服务器。 系统利用了 Cloudflare 的四项无服务器服务：前端通过 Cloudflare Pages 托管，API 请求通过服务绑定传递给后端 Worker， Worker 将数据路由至 Durable Objects（将逻辑代码与 SQLite 存储绑定的有状态无服务器实例）。用户的对话记录、待办事项和记忆数据均保存在这个独立的 SQLite 数据库中。定时任务则直接依赖 Durable Objects 自带的闹钟功能触发。 成本控制与自托管定义 AI 交互方面，项目默认通过 Workers AI 调用 @cf/zai-org/glm-4.7-flash 模型。为适应免费额度，程序内置了请求频次与上下文长度限制，在免费配额耗尽后，聊天功能会暂时停止，但非 AI 驱动的任务与笔记模块仍可正常工作。 该项目引发了社区关于“自托管”边界的讨论。部分开发者认为，系统深度绑定了 Cloudflare 的专有服务，缺乏物理硬件层面的掌控力，更应归类为“云托管”或“自管理”应用；支持者则指出，系统部署完全处于用户私有账户内，数据自主可控，且项目支持通过本地工具链运行或迁移，对不愿维护物理服务器与容器实例的用户而言提供了低维护成本的选择。 macOS 暂未列入 The Open Group 官方 UNIX 注册主页 名录变动与历史渊源 国际开放标准组织 The Open Group 维护的官方 UNIX 认证产品名录主页中，已不再显示苹果公司的 macOS 系统，页面仅保留了 IBM、HPE 和 SCO 旗下的传统企业级系统。查阅子页面记录显示，macOS 26 仍保留在 UNIX 03 标准的分类列表中。 社区分析指出，新版本操作系统发布后，通过并发布认证通常需要数月时间，主页未显示大概率为索引同步或续约周期的技术延迟，并非官方认证撤销。苹果早年为解决宣传用语中的商标权争议，并满足美国联邦政府采购合规要求，选择为 Mac OS X 申请并维持 UNIX 认证。 实际开发影响 UNIX 兼容性测试套件要求关闭系统完整性保护（SIP，限制根用户修改关键系统文件的安全机制）并修改多项底层参数，这与现代操作系统的实际安全配置脱节。随着 Linux 成为服务端的事实标准，官方 UNIX 商标对软件开发实践的影响已大幅减弱。开发者选用 macOS 主要看重其基于 BSD 的底层环境和 POSIX 命令行工具链，注册名录的状态变化不会对实际开发工作流带来实质影响。 WSL 3.0 性能实测：内存吞吐提升明显 基准测试数据 微软将 WSL（适用于 Windows 的 Linux 子系统）版本推进至 3.0.x 后，内置内核从 6.6 LTS 升级至 6.18。针对 WSL 2.6.3 与 WSL 3.0.2 的实测表明，各场景性能提升幅度在 5% 至 60% 之间。本次更新属于 WSL 软件项目的正常迭代，依然维持基于 Hyper-V 的轻量虚拟机架构。 在测试平台（Intel i5-8500T，分配 2 个 vCPU 与 4 GB 内存，运行 Alpine Linux）上，内存吞吐提升最为明显。使用 perf bench 测得的内存拷贝带宽从 7.84 GB/s 提高至 12.64 GB/s，增幅达 61.35%。这主要得益于内核参数放宽了页面报告粒度（page_reporting.page_reporting_order=5），减少了虚拟机与 Hyper-V 动态内存回收机制交互时的虚拟化陷阱。 进程调度与实际构建场景 系统调用与进程通信也有改善。管道通信吞吐提升 12.68%，上下文切换延迟下降 11.25%，多任务消息传递耗时减少 10.06%，反映出新内核调度器与 Hyper-V VMBus 中断处理的优化。 在 GoReleaser 实际代码编译测试中，端到端总耗时仅缩减 3.91%（从 191.27 秒降至 183.80 秒），但内核态运行时间（sys）下降了 15.98%。编译器密集触发的文件与内存管理系统调用因内核开销降低而节省了部分时间，但词法分析和类型检查等用户态计算仍受制于硬件算力。开发者指出，WSL 日常使用中的主要性能瓶颈依然在于跨系统边界挂载 Windows 本地磁盘（如 /mnt/c）时的文件协议延迟。 针对朊病毒病的二价 siRNA 候选药物进入 1 期临床试验 药物机制与试验进展 博德研究所（Broad Institute）与马萨诸塞大学陈氏医学院合作开发的二价 siRNA 候选药物进入 1 期临床试验（PRiSM），目前已开始招募患者。该药物用于治疗朊病毒病（由大脑中错误折叠的朊蛋白引发的致死性神经退行性疾病，包括克雅氏病等）。 朊病毒病具有高度稳定性和传染性，错误折叠的蛋白质不仅难以在环境中降解，还会诱导周围正常的同类蛋白发生连锁折叠。本次试验的药物通过将两个相同的 siRNA（小干扰核糖核酸）连接在一起，增强其在大脑中的分布范围。该药物通过结合并切割编码正常朊蛋白的信使 RNA，阻断蛋白质的持续产生。小鼠实验数据显示，在出现症状后单次给药可将脑内朊蛋白水平降低 49%，并使存活时间延长 64%。 研发历程与开放科学模式 该项目由 Eric Minikel 和 Sonia Vallabh 夫妇主导。Vallabh 在 2011 年确诊携带遗传性朊病毒基因突变后，两人转向生物医学研究并与 Anastasia Khvorova 实验室长期合作。 该团队采取了较为少见的透明化药物开发流程。在获得美国 FDA 的新药临床试验许可（IND）后，研究团队将完整的申请文件公开发布在 CureFFI.org 网站上，并承诺实时共享后续的安全数据与研究发现。临床试验初期将通过腰椎穿刺为 15 名出现症状的患者进行单次给药，另设 15 名观察对照，未来计划扩展至未发病的基因携带者。 在读者讨论中，有人提出抑制正常朊蛋白生成可能影响小鼠的睡眠或记忆等基础生理功能。其他读者则指出，朊病毒病患者在确诊后通常存活期不足一年，在致死性疾病面前延缓病情发展是首要考量。同时，针对这种蛋白质异常折叠病理的研究，也为理解肌萎缩侧索硬化症（ALS）等相关神经退行性疾病提供了参考线索。 相关链接： * REA Reverse – Engineer Anything * Telegram Desktop vulnerability allowed any user's file to be stolen * `123456' password used in Danish CPR data breach * Eye of Sauron: Long-Range Hidden Spy Camera Detection (2024) * Can you use autoregressive diffusion to generate market data? * Compiling Rust to readable C with Eurydice * Talorys – A self-hosted personal AI agent on Cloudflare's free tier * Apple/macOS removed from official Unix registry * WSL3 Performance is about 5-60% faster than WSL2 depending on the workload * Clinical trial of a prion disease drug candidate begins enrolling participants

从底层运行时到现实生活中的网络拥堵，今天 Agili 的 Hacker Podcast 整理了十则技术热点。技术生态正在经历剧烈洗牌，日常工具的交互方式也在悄然重塑。 DeepSeek 4.1 Flash 的低成本现实与行业惯性 比肩旗舰的日常表现 在多项目高强度开发中，DeepSeek 4.1 Flash 展现出接近顶尖商业模型的实用能力。开发者在一个月的全天候自动化任务、界面测试和代码重构中发现，其实际编码与上下文理解能力已很难与 Claude Opus 5.5 等模型拉开差距，但全天任务成本通常不足一美元。 显存优化与补贴护城河 这一成本优势来自工程优化。DeepSeek 将 KV cache（键值缓存，在显存中存储历史上下文的关键数据）占用的显存缩减了数百倍。主流市场未发生大规模迁移，主因是前沿实验室对个人订阅提供了隐性补贴。SemiAnalysis 的测算表明，Anthropic 每月 200 美元的订阅，实际调用 Token 额度折算 API 官价高达 2500 美元。在补贴掩盖下，个人开发者对底层 API 的价格差距并不敏感。 企业采购壁垒 企业用户依赖 ZDR（Zero Data Retention，零数据留存）协议以防泄密，多通过 AWS Bedrock 或 Azure 等现有云供应商框架采购，对直接调用境外 API 存在合规顾虑。一旦大型实验室缩减订阅补贴或上调 API 价格，低开销的开源权重模型将迅速接纳外溢需求。 Cloudflare 收购 Deno 并将调整产品线 研发重心转向分布式平台 Deno 团队整体加入 Cloudflare，未来重心转向由两者共同构建的分布式计算平台 celld（基于 Durable Objects 编程模型的分布式系统），停止独立运行时的演进。创始人 Ryan Dahl 表示，AI 智能体对状态持久化和低成本执行的需求，促使团队将计算、存储与通信深度整合。 现有产品的过渡安排 * Deno 运行时（Runtime）：官方继续维护一年，每月发布修复与安全更新，一年后交由开源社区接手。 * Deno Deploy：托管服务将在 6 个月后停运，官方支持用户迁移至 Cloudflare Workers。 * JSR 包注册表：继续运营，基础设施迁至 Cloudflare。 * rusty_v8：持续维护并逐步整合至 Cloudflare 开源运行时 workerd。 社区反应与迁移考量 社区对官方在合并公告中淡化运行时停更的做法反响强烈。部分工程团队指出，Deno 近年对 npm 的兼容反而降低了回迁 Node.js 的成本。Cloudflare Workers 负责人 Kenton Varda 回应，双方合作重点是让开源的 workerd 能基于私有设施更好自托管，降低云厂商绑定的风险。 智能咖啡机 10 天产生 1TB 内网流量 局域网广播风暴 IT 工程师 Nomad 发现父母家中的 Keurig 智能咖啡机在 10 天内消耗了 1TB 流量。网络日志显示，数据未上传至外网，而是在家庭局域网内高频广播，占满了无线接入点（AP，Access Point）的信道。设备以每秒约 1.1MB 的速度发送数据包，通常由固件死循环或毫秒与秒级重试间隔配置错误导致。 本地设备探测与隐私隐患 智能家电常通过多播 DNS（mDNS，局域网免配置设备发现协议）或 SSDP 扫描同一网络下的设备。厂商收集拓扑结构和在线时段，可推算家庭人口构成与消费能力用于广告投放。网络管理人员通常会将物联网（IoT）设备划分到独立的虚拟局域网（VLAN），开启客户端隔离，或直接使用无联网芯片的机械式家电。 Fleeting：用虚拟会议音频挡掉职场打扰 会议模拟器功能 开发者 John Carroll 推出了网页工具 Fleeting。它内置 12 分钟的 IT 事故作战室、工程站会、API 评审和危机处理等背景音频，由 AI 语音生成并搭配虚拟头像。每次播放从随机节点切入，支持“背靠背会议”自动连播，点击退出时虚拟参会者还会主动告别。 伪装忙碌与专注机制 工具支持一键生成日程占位，类似 MS-DOS 时代游戏中的“老板键”（boss key）。这反映了初级员工在拒绝非必要打扰时面临的职场人际阻力。部分工程团队的应对方式，是由主管统一下发固定的部门伪会议日程，以管理权限为团队保留专注时间。 为 Home Assistant 定制手绘动态仪表盘 规范驱动的美术协作 为提升家人的使用意愿，Anton Frolov 雇佣插画师 Owen Yeconiel 为住宅绘制了剖面图。为了便于代码对齐，所有背景、昼夜光影和设备开关状态均基于相同尺寸的透明画布导出。静态图采用透明 PNG，开启状态则为循环的 WebP 动图。 picture-elements 技术实现 前端界面基于 Home Assistant 自带的 picture-elements 图片卡片。通过配置 state_image 属性，系统根据实体状态切换吹风动图与静态图，日出日落逻辑控制整栋建筑的明暗。客厅小主机通过 HDMI 直连电视，配合 HAOS Kiosk Display 插件将仪表盘设为电视信号源，在无人观影时自动展示动态图景。 Carson Gross：在大模型时代为何仍要学习编程 亲手编写代码以建立系统直觉 蒙大拿州立大学教授 Carson Gross 指出，编程的核心是用计算机解决问题并控制系统复杂度。如果初学者跳过编写过程直接依靠大模型生成结果，就无法培养代码直觉，最终丧失审查与理解系统的能力。 编译器与提示词的本质差异 高级语言通过确定性的编译器消除了偶发复杂度（非问题本质、源自工具环境的复杂性）。提示词不具备编译器的形式化推理保证，微调输出具有数学上的混沌特性，难以在脱离测试前推断行为。Gross 建议将大模型作为答疑解惑的助教，而非单纯的代码生成机。 垂直领域的定制机会 通用软件边际成本下降，促使传统行业转向低成本的垂直定制工具。能够理解真实业务场景并用基础代码实现自动化的复合型人才，正获得更多就业空间。 Mac 与 Windows 的底层键盘机制差异 按键定义与修饰键层级 UX 设计师 Marcin Wichary 梳理了两大系统的交互分歧。Windows 的 Backspace 在 Mac 上为 Delete，而 Windows 的 Delete 在 Mac 上为 Forward Delete。Mac 具备 ⌘ Command、⌥ Option、⌃ Control 和 ⇧ Shift 四层修饰键，将图形界面常规命令交由 Command，⌃ Control 专用于系统层与终端，避免了 Windows 上 Ctrl-C 既当中断又当复制的逻辑冲突。 光标移动与 Emacs 继承 在 Windows 中，Page Up 和 Page Down 会直接移动文本光标；在 Mac 上，它们只滚动视图，光标位置不变。macOS 原生文本框架继承了 Emacs 风格快捷键，支持在文本框内使用 ⌃A（行首）、⌃E（行尾）、⌃K（删除至行末）和 ⌃T（字符互换）。 特殊字符输入 Mac 为 ⌥ Option 键赋予了排版符号与死键（按压后等待组合输入重音字母）支持；Windows 则依赖 AltGr 键或 Alt 加数字小键盘。跨平台快捷键设计若包含 Option 或 Ctrl+Alt，极易与特定语种原生输入法产生按键冲突。 Navanethem Pillay 获 2026 年诺贝尔和平奖 确立国际刑法先例 挪威诺贝尔委员会将 2026 年诺贝尔和平奖授予南非资深法官纳瓦内瑟姆·“纳维”·皮莱（Navanethem "Navi" Pillay）。皮莱在种族隔离时期曾为曼德拉辩护，后历任南非高院法官、卢旺达问题国际刑事法庭法官、国际刑事法院法官及联合国人权事务高级专员。在卢旺达法庭期间，她推动确立了强奸与性暴力可直接构成反人类罪及种族灭绝罪的法律标准，并裁定散布煽动宣传可构成煽动种族灭绝罪。 法律制度的现实博弈 获奖消息公布后数小时，美国宣布对国际刑事法院实施制裁。讨论指出，大国常以主权为由拒绝国际刑事法院管辖，显露了国际法面对强权政治的现实局限；但司法调查在国际合法性层面的实质影响，也促成了各方的激烈交锋。 bigarrow：让 AI 代理在屏幕顶层标注操作 原生透明层与穿透点击 开源命令行工具 bigarrow（纯 Swift 编写）为 Claude Code 等代理提供了视觉引导扩展。当代理需要人类进行 2FA 验证或权限确认时，它能在 macOS 顶层渲染显眼的透明箭头与提示框。标记本身不抢占键盘焦点，箭头尖部和目标区域支持完全的点击穿透（Click-through），用户可以直接操作被指向的系统按钮。 权限模型与适用场景 单纯绘制图形不需要 macOS 辅助功能权限，仅在需要根据 UI 元素名称自动定位时才调用相关 API。每个标记支持超时自动销毁或随任务结束清除。该工具在辅助长辈、培训复杂专业软件（如 Blender、FreeCAD）及操作陈旧系统时能够直观建立指引。 OpenAI 解雇三名安全研究员引发合规争议 解雇经过与公开信 OpenAI 以“不当处理敏感研究信息”为由解雇了 Jasmine Wang、Tomek Korbak 与 Mikita Balesni 三名安全研究员。三人随后向安全委员会发布公开信否认不当行为，指出解雇在内部产生了寒蝉效应。 具体业务背景 Korbak 当时负责对接外部机构 METR，调查智能体突破沙箱访问外部系统的异常事件；Balesni 负责模型思维链推理（Chain of Thought）的可监控性研究；Wang 则因公司未及时收回邮件授权而误读邮件并主动上报。三人均否认向媒体泄露模型架构机密。 第三方评估与保密冲突 OpenAI 官方回应称内部调查发现了严重的信任危机与违规行为模式，公司将继续推进与第三方评估机构签署合作协议。这一分歧凸显了前沿实验室在推进外部安全评估与守护未发布模型商业机密之间的边界界定难题。 相关链接： * Why isn't the industry freaking out about DeepSeek 4.1 Flash? * Cloudflare acquires Deno * Man discovers his parents' coffee machine used 1TB of data in 10 days * Sorry, I'm in a meeting * I hired an illustrator to draw my house. Now it's my Home Assistant dashboard * Yes, and * Keyboard differences between Windows and Macs * Nobel Peace Prize for 2026 to Navanethem Pillay * Show HN: Let your AI agents paint big arrows, boxes and text on your screen * OpenAI fires three safety researchers for "mishandling research information"

欢迎阅读 Agili 的 Hacker Podcast 每日精选。今天我们将梳理数学界对机器证明的范式反思、首批钍核钟的研发进展，以及在极端资源与技术变迁下持续运转的软硬件实践。 陶哲轩呼吁“数学 2.0”：从单纯解题转向全面理解 “数学 1.0”模式遭遇冲击 数学家陶哲轩在 Mastodon 上发文指出，传统的数学研究模式正在被 AI 工具打破。在传统模式中，学者攻克公开猜想后会开展讲座与研讨会，将冗长的证明逐步简化，与其他概念建立联系并写入教材。 陶哲轩观察到，当前越来越多的公开问题被单纯操作 AI 的提问者机械化解决。这些人缺乏对领域的长远兴趣，也无法向同行阐释证明细节。这种大规模开采解法的现象导致了逆向效应：由于担忧研究方向被他人用 AI 抢先攻破，学者们开始对有前景的公开问题秘而不宣。一旦某个猜想被宣布解决，学界寻找替代证明路径的积极性就会受到削弱。 评价机制的重塑需求 陶哲轩认为，“数学 1.0”过度奖励第一个给出答案的人，而“数学 2.0”必须改变以单纯解题为中心的评价体系，转向更全面的进展考量，包括概念消化、论述水平、社区建设以及开辟新方向。 在 Hacker News 的讨论中，学者与从业者探讨了机器证明的认知瓶颈。由强化学习生成的百万行形式化脚本（如在 Lean 证明助手中的代码）没有人类工作记忆的容量限制，往往呈现出臃肿且难以解析的状态。大语言模型擅长在已知多维空间中进行插值，却缺乏打破常规思维提出全新抽象模型的能力。有技术开发者提到，科技公司在形式化数学领域投入算力，主要是将其作为基于可验证奖励的强化学习（RLVR）的训练场；随着专门针对解释清晰度与论述结构的反馈机制被引入，机器未来也可能学会提炼核心引理并精简证明。 首批钍核钟研制成功，带来更高抗干扰能力 原子核内部跃迁的优势 来自奥地利维也纳与中国北京的两个独立研究团队，分别制造出了首批钍核钟（基于原子核内部能级跃迁计时的装置），研究成果发表在《自然》（Nature）期刊上。 传统原子钟通过探测原子外层电子的共振来计时，容易受到外界杂散电磁场和温度变化的干扰，通常需要复杂的离子阱或光学晶格来隔离噪声。核钟直接探测原子核内部的跃迁，原子核自身能天然屏蔽外部电磁干扰，允许研究人员直接将固态晶体作为工作介质，简化了仪器的物理封装结构。 钍-229 与激光技术 大部分原子核的能级跃迁需要高能伽马射线，现有激光技术无法直接激发。人工放射性同位素钍-229 具有极低的核激发能，能通过约 148 纳米波长的紫外激光进行激发。两支团队均选用掺入钍-229 的氟石晶体作为核心介质。 北京团队利用镉蒸气中的四波混频（利用非线性介质组合光波产生新频率的光学方法）技术制造光学倍频器，获得了更高的激光输出功率与信噪比。维也纳团队将核钟与商用单离子光学钟比对，北京团队则将其与校准至国际原子时标的氢微波激射器进行基准比对。钍核钟理论上可用于检验物理常数是否随时间改变及辅助寻找暗物质，但钍-229 无法直接开采，需要在核反应堆中人工合成，材料获取成本构成了未来的应用阻碍。 Whistle：16.9 MB 的轻量级本地语音识别模型 架构设计与性能基准 Cactus Compute 发布了开源语音识别模型 Whistle。该模型文件大小为 16.9 MB，完全在 CPU 上运行且无额外依赖，支持英语、德语、法语等七种语言，能处理单次最长 30 秒的 16 kHz 单声道音频，并提供基于解码器注意力机制对齐的词级时间戳。 Whistle 前端通过卷积将 30 秒音频频谱压缩至 375 帧；编码器包含 8 个 Simple Attention 模块；解码器采用宽度为 512 的阶梯式结构。在苹果 M4 Pro CPU 上处理 10 秒音频时，Whistle 输出首个 Token 的时间为 11.1 毫秒，解码速度达到每秒 1,319 个 Token。在 LibriSpeech 和 FLEURS 平均集上的词错误率优于 Whisper base。预编译二进制文件已覆盖 macOS、Linux、Android、iOS 和 RISC-V 等 17 个平台。 边缘部署与组合工作流 在社区测试中，Whistle 极小的体积使其可以常驻 CPU L3 缓存。但它在背景嘈杂或静音片段时会出现重复输出“Thank you.”的幻觉，面对长句自然口语与非标准口音时准确率会有所下降，且目前暂不支持流式实时听写。 开发者分享了针对其局限的工程落地方案。有用户将其部署在破解的 Echo Show 智能音箱上，通过训练小型分类网络将 Whistle 的隐藏状态映射到预设指令模板，将命令识别准确率提升至 164/170，响应时间控制在 1 秒以内。另一种常见做法是将 Whistle 作为快速粗录前端，结合本地小型语言模型清洗文本口误，以低延迟完成长篇听写任务。 Zotero 诞生史：耐用软件的漫长摸索过程 五年成型的初代架构 开源文献管理工具 Zotero 联合创始人 Dan Cohen 回顾了该项目的研发历程。Zotero 目前拥有超过 2,000 万用户，但其初代原型经历了整整五年的探索期。 2000 年代初，乔治梅森大学的团队分别开发了抓取网页内容的 Web Scrapbook 和本地学术笔记管理工具 Scribe。2003 年，团队意识到需要将两者结合：既能精细管理元数据，又能驻留在浏览器内抓取在线资源。2004 年底 Firefox 的发布提供了XUL（用于构建跨平台界面的标记语言），允许深度定制浏览器并支持本地数据库交互。团队以此构建出利用浏览器捕获元数据并存入本地数据库的原型，最终在 2006 年发布公测版。 明确需求与架构沉淀 Dan Cohen 指出，即使早期团队拥有大语言模型也无法加速开发，因为团队当时尚未明确最终形态，无法给出清晰的提示词。 在 Hacker News 的讨论中，工程师们认为耐用软件的核心在于架构探索。当年团队的关键突破是确立了“利用浏览器插件操作本地 SQLite 数据库”的模式，将离线存储与网页 DOM 解析结合起来。AI 代理擅长模仿已有模式，难以在需求模糊时从第一性原理推导新架构。Zotero 坚持非营利运营，支持 CSV、XML 和 BibTeX 等开放格式，并通过 WebDAV 支持私有云存储附件，这种开放设计保证了其长期的生命力。 Hundred Rabbits：十年帆船离网生活中的极简计算 物理维保与轻量软件 两人研究团队 Hundred Rabbits 在帆船 Pino 号上离网生活超过十年。他们在海上记录的日常展示了在严苛物理限制下进行软件开发与艺术创作的流程。 在船上，网络信号经常中断数日。为了摆脱笨重的软件，他们自主编写了轻量级电子表格工具 Nebu 和音量控制工具 Pavol；经典纸牌游戏《Donsol》十周年重制版运行在他们自主构建的 16 位虚拟机 Uxn 及其汇编语言 Uxntal 上。生活习惯也延伸至物理实体：两人将破旧的帽子和背包拆开打样，采购帆布重新缝合，将衣物修补视同开源软件维护。 对计算范式的压力测试 围绕离网开发，社区讨论了技术依赖的本质。有人指出工业制造的太阳能板与船用零配件仍依赖主流社会，但更多开发者将这种实验视为对现代计算范式的压力测试。 Hundred Rabbits 强调应对危机需要集体行动，他们通过电台与信件同沿途社区保持联系，持续开源去中心化通信工具与无需云端支持的离线软件。他们的实践表明，在商业软件普遍转向复杂云端订阅的背景下，依靠简洁耐用的本地工具与开放设计，软硬件系统在极端低算力环境下依然能稳定运行。 数学论坛神秘解题者 Cleo 的身份始末 只给答案的神秘账号 2013 年至 2015 年间，数学问答网站 Mathematics Stack Exchange 上出现了一个名为 Cleo 的账号。该账号共发布了 39 个回答，专门针对计算机代数系统无法求解的高难度定积分问题。Cleo 从不提供推导步骤，通常在提问发布数小时内直接给出极简的解析解，且全部答案最终均被其他人证实正确。 社区一度猜测其为陶哲轩、佩雷尔曼等数学家，或是拥有极强直觉的天才。随后，多位开发者与爱好者通过发帖规律、数据分析以及找回密码时的辅助邮箱线索展开溯源，指向了乌兹别克斯坦裔软件工程师兼数学家 Vladimir Reshetnikov。Reshetnikov 最终承认 Cleo 是他操作的账号。 反向构造的命题技巧 Reshetnikov 解释，自己在论坛正常提问积分难题时常遭遇冷落，社区往往质疑题目的价值或是否存在解析解。为了激起探讨兴趣，他设计了 Cleo 这一角色，自导自演提出问题并给出极简答案，促使其他数学爱好者寻找严谨的证明路径。 Hacker News 社区分析了这一操作的技术本质：计算已知积分的原函数通常非常困难，但反向构造却相对容易。设计者可以先构造包含特定对称性或数学常数的表达式，通过求导和代数变换将其包装为复杂的积分题，这样提问者从一开始就掌握了最终答案。Cleo 的技术核心在于高超的数学造题能力，成功构造出了计算机代数系统无法化简、却能由人工利用精妙技巧证明的积分难题。 借助 AI 协同检索，找回消失十五年的独立乐队 传统搜索的死胡同 2011 年，作者 Shahid Hussain 偶然听到了一张收录了《Electric》和《Searchlights》的独立摇滚 CD，乐队名为 Salvage。在随后的 15 年里，作者在网络上始终无法检索到这支乐队的有效信息。 阻碍来自多重技术因素：乐队名和歌名过于通用，厂牌缺乏工商注册信息，音频数据库 gnudb 和 AcoustID 音频指纹比对均无结果。唯一的公开线索是英国官方榜单显示该单曲曾在 2006 年进入英国独立单曲榜前 50 位，证实其确曾发行。 元数据失效与数字保存挑战 转机出现在搜寻方式的调整。作者将音频、封面图片和元数据整理后输入多个大语言模型，维护日志以排除错误路径，并将检索重心从乐队名字转向幕后人员。AI 随后在制作人 Greg Haver 的履历页面中找到了线索（该页面此前将单曲名误拼为单数，导致精确搜索失效）。作者随后联系上了制作人及主唱 Sam Tattersall。 主唱透露，乐队在经历主流唱片公司拒绝后更名为 OK Tokyo，并获得了登台音乐节的机会。早年 Salvage 的资料之所以在网上彻底消失，是因为他们当年的官方网站完全基于 Flash 搭建，无法被搜索引擎建立文本索引，而早期的 MySpace 页面也因平台数据丢失且缺乏网页存档镜像而彻底损毁。这一经历展现了大语言模型在挖掘低网络足迹历史碎片时的辅助价值，也反映出早年依赖专有富媒体技术给数字历史留存带来的脆弱性。 用 6 小时与单个提示词，AI 渲染《看不见的城市》 单次提示词下的长任务实验 数据可视化开发者 Piotr Migdał 进行了一项测试：向 AI 模型输入一段简短提示词，要求其利用 Three.js（基于 WebGL 的 3D 图形库）为卡尔维诺的小说《看不见的城市》搭建全景交互可视化。任务设定为单次提示且不接受人工追问，允许模型自主运行最多 6 个小时。 Claude Opus 5.5 在 Claude Code 环境下运行，耗时 1 小时 25 分钟提前结束。模型调用了 6 个并行子代理，消耗约 7 个代理小时的算力，API 账单约为 74 美元。最终产物构建了一个由暗色底座和微缩夜景组成的完整 3D 界面，涵盖了书中全部 55 座城市。 工程实现与艺术表达的断层 开发者社区对该实验的反应呈现两极化。图形工程师肯定了其程序化生成能力：场景包含了周期开合的吊桥、流动管道中的人形动画以及依路径行动的模型，单次生成能够组织起庞大的交互系统与场景逻辑。 批评者则指出其生成的结构缺乏物理与功能合理性，例如桥梁平行漂浮在河道中央而未连接两岸，车轮辐条脱离轴心。文学爱好者认为模型对文本的理解停留在字面拼凑，例如小说中描绘人兽残酷战争后虚无感的城市，被机械化地呈现为整齐的网格街区，丢失了原著关于符号学与记忆投射的核心意向。这项实验展示了自动化代码生成的工程上限，也清晰呈现出机器生成与深度艺术表达之间的差距。 相关链接： * “Math 2.0” will need to value mathematical progress more holistically * Trump administration is suspending Microsoft from a green card program * 'Jonathan' is the oldest land animal on Earth * Living off-grid: Hundred Rabbits * Teams in Vienna and Beijing have built the first thorium nuclear clocks * Cleo (Mathematician) * 15-year search for a band that charted once and vanished * I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities * Whistle: Speech to Text in 16.9 MB * The Slow Formation of Durable Software

这里是 Agili 的 Hacker Podcast。今天的内容聚焦软件工程奠基人玛格丽特·汉密尔顿的传奇遗产，以及 Chrome 对 Rust 版 JPEG XL 的原生支持和多家模型厂商带来的推理架构革新。 阿波罗机载软件先驱玛格丽特·汉密尔顿去世 阿波罗 11 号的关键防线 计算机科学家玛格丽特·汉密尔顿（Margaret Hamilton）于 9 月 30 日去世，享年 90 岁。在麻省理工学院（MIT）工作期间，她带领团队负责 NASA 阿波罗计划的飞行控制系统。1969 年阿波罗 11 号登月舱着陆前数分钟，机载硬件开关故障引发 1202 警报，计算资源濒临过载。汉密尔顿设计的任务优先级调度机制自动中止了低优先级后台任务，确保核心登月指令顺利执行，保障了飞船平稳降落。 防御性编程与软件工程的确立 她是防御性编程（预判潜在错误并使系统能够自我修复的软件设计方法）的早期推动者。在阿波罗 8 号任务中，宇航员误启动预发射程序导致导航数据丢失，团队依靠她预先规划的数据修复方案化解了危机。在硬件为主导的 1960 年代，汉密尔顿创造了“软件工程”（software engineering）这一称谓，主张用严谨的工程化方法构建软件系统，使软件开发逐步在学术界和工业界确立为一门独立的工程学科。 系统可靠性的深远遗产 汉密尔顿早年协助爱德华·洛伦兹（Edward Lorenz）编写气象模拟代码，该研究后来促成了混沌理论的发展。阿波罗计划结束后，她创立公司专注于通用系统语言（USL）与形式化控制系统的防错研究。2016 年她获得美国总统自由勋章，阿波罗完整代码也在 GitHub 开源发布，持续启发后来的系统架构设计者。 Chrome 155 正式支持 JPEG XL 图像格式 纯 Rust 解码器解决内存安全隐患 Google 宣布自 Chrome 155 起正式支持 JPEG XL（.jxl）图像解码。为了规避 C++ 解析二进制文件时容易出现的堆越界和释放后使用等内存漏洞，Chrome 没有使用早期的 C++ 参考实现 libjxl，而是集成了纯 Rust 开发的 jxl-rs 解码器。通过调用 Rust 的 SIMD（单指令多数据流，并行处理多组数据的硬件加速技术）特性，新解码器在模糊测试中未出现内存安全缺陷，性能表现追平并超越了 C++ 版本。 工业规范驱动浏览器厂商跟进 JPEG XL 相比传统 JPEG 能提升 30% 到 50% 的压缩率，支持原生无损压缩与高动态范围（HDR）。除了开发者在 Web 平台互操作性项目中的持续推动，PDF 官方规范将 JPEG XL 列入支持的压缩标准也是重要推手，这促使内置 PDF 渲染器的浏览器必须具备对应解码能力。目前 Safari 已支持该格式，Firefox 也计划在 158 版本默认启用。 图像保真度与服务端转码算力平衡 该格式支持 32 位浮点、多图层与无损转码现有 JPEG 文件，能有效减少静态存储成本并保留商品细节。但在服务端算力方面，JPEG XL 和 AVIF 缺乏专用硬件加速，即时动态转码会带来较高的 CPU 负载。对于首屏加载体积极度敏感但对画质宽容的场景，AVIF 在极限低画质下仍具优势，开发者需要根据具体业务在画质还原与服务器压力之间做出取舍。 Anthropic 发布轻量级模型 Claude Haiku 5.5 阶梯定价与推理预算调节 Anthropic 推出 Claude Haiku 5.5，主打高吞吐量与低延迟场景。新模型在 100,000 个 Token（文本表示的最小数据单位）以内的输入成本降低至每百万 Token 0.10 美元。Haiku 5.5 首次加入了思考力度（effort setting）调节功能，允许调用方按需配置推理预算。若单次提示词超过 100,000 Token，单价会提升五倍，长上下文代理任务需要针对该阈值优化分块策略。 运行性能与模型分工 基准测试显示，Haiku 5.5 在 OpenRouter 平台测得的平均生成速度达到每秒 93 个 Token。Asana 在内测中反馈智能体单轮响应速度提升 2.5 倍，HubSpot 在客户关系数据审计中达到 92.8% 的准确率。在面对多变量统计与复杂前端布局等高阶推理任务时，轻量模型的表现仍弱于旗舰级模型，部分开发者采用高阶模型拆解任务、Haiku 5.5 并发执行子任务的混合架构来控制成本。 专为分类设计的 20 亿参数决策模型 Strands Decider 2B 移除语言生成头的单次并行计算 Strands Labs 开源了基于 Qwen3.5-2B 改造的决策模型 Strands Decider 2B。该模型移除了用于逐字输出文本的解码层，替换为仅 100 万参数的指针头，用于直接在给定选项中计算概率分布。由于推理过程完全在预填充阶段（prefill，一次性并行处理所有输入标记的计算阶段）完成，在 Nvidia RTX 3090 上决策延迟仅约 115 毫秒，苹果 M3 芯片上约为 153 毫秒。 智能体路由与能耗优化 决策模型无法用于文字创作，其定位是充当智能体系统中的轻量路由器和安全拦截网。在外部工具调用前，系统可直接用该模型低成本检验入参完整度。由于单次并行计算不涉及串行解码循环，这类模型非常适合迁移至 NPU（神经网络处理单元）运行，在本地终端保持低功耗静默常驻。 GPT‑6 引入可流式渲染的动态用户界面 原生组件库与交替思考架构 OpenAI 面向 ChatGPT 用户推出 GPT‑6，增加了名为 Intelligent UI 的交互能力。模型在回答时可动态生成按钮、滑块、分摊账单工具或交互式部件。借助专用的流式编译器，界面组件能随着文字流式输出逐步渲染。配合交替思考机制，联网搜索任务的初始响应速度平均提升了 44%。 交互形态演进与信息密度争议 这种形态为烹饪配方、硬件图解和日常自动化配置提供了即用即弃的轻量小工具。部分用户指出，过多交互卡片会挤占垂直屏幕空间，降低纯文本的阅读效率，并且官方安全报告显示，日常微调版本在部分敏感测试集上的防御指标较前代有所回退。 美国商户就刷卡手续费对 Visa 和 Mastercard 提起反垄断诉讼 挑战全盘接受规则与交换费机制 加州一家餐饮商户在纽约联邦法院发起集体诉讼，控告 Visa、Mastercard 及摩根大通、美国银行等金融机构人为维持高额交换费（商家每笔交易向发卡行支付的基础结算费）。原告重点指责卡组织的“全盘接受规则”，该规则强制商家只要接入网络就必须接受高返现的高费率卡种，同时限制商家实施差异化加价，导致美国商户每年承担超千亿美元的结算成本。 支付替代渠道与公共结算系统讨论 部分大型连锁加油站已开始推广直接扣款的清算通道（ACH），以每加仑 10 美分的折扣引导消费者绕开信用卡通道。行业讨论中，反对统一加价的观点认为高额刷卡成本最终被平摊到所有消费者身上；也有观点指出，信用卡提供的欺诈争议隔离仍是跨国线上消费的重要保障，欧盟通过将信用卡费率强制限制在 0.3% 提供了可参考的监管路径。 2026 年诺贝尔化学奖揭晓：非线性效应与手性自催化 破解生命分子的同手性谜题 瑞典皇家科学院将 2026 年诺贝尔化学奖授予 Henri B. Kagan 和 Kenso Soai，表彰他们在不对称有机合成中发现的非线性效应与自催化反应（反应产物反过来加速自身生成的催化过程）。地球生命系统几乎完全由单一手性的氨基酸构成，而在传统化学合成中，镜像分子通常会等比例混合生成。 放大微弱偏差的反应机制 Kagan 在 1986 年证实反应网络能够成倍放大微弱的手性不平衡；Soai 则在 1995 年设计出了具备自催化能力的合成路径，让系统最终自发演化为只含单一镜像分子的纯净状态。这一机制解释了自然界手性环境自发形成的化学逻辑，也为现代靶向药物的分子纯化提供了反应设计范式。 Bigwords.page：基于 URL 哈希的无状态全屏告示牌 参数完全保存在浏览器本地 开发者 SpeakingOfBrad 发布了开源静态网页工具 Bigwords.page，可将平板或电脑屏幕转化为全屏指示牌。该项目将文字、排版参数、配色和倒计时完全存储在 URL Fragment（网址哈希片段，即 URL 中“#”号后面的部分）中。由于浏览器不会将哈希内容发送至服务器，网站无需后端和数据库，天然保护了展示内容的隐私性。 现实应用场景与排版适配 该工具被听障人士用于日常沟通、被活动主持人在平板上用作演讲剩余时间计时器，或在嘈杂环境中代替纸质标语。针对大屏幕常亮需求，社区建议集成 Wake Lock API 阻止屏幕休眠，并修复了部分浏览器计算文字缩放时的边距排版异常。 ascii.rest：面向 Web 的文本动画组件库 跨框架兼容的无依赖模块 开源项目 ascii.rest 收集了 196 个文本动画组件，涵盖 Linux 发行版标志、图表、加载指示器及全彩自然场景。所有组件均为纯 TypeScript 模块，单色内容使用 <pre> 标签渲染，彩色场景基于 HTML5 Canvas。开发者可通过自定义标签直接在网页中嵌入，并支持 React、Next.js 和 Astro 的首屏渲染。 字符艺术与图形渲染的界限 社区讨论指出，库中部分彩色场景使用了不同密度的 Unicode 圆点符号配合色彩抖动算法（利用点阵疏密模拟连续色调的图像处理技术），更接近点描画或着色器效果。该项目默认响应系统的减少动态效果偏好，目前移动端排版和手动播放机制也已加入后续改进。 C64 Keyboard：基于实体键帽复刻的矢量字体 还原初代机械印刷细节 开发者 Levente Szabadkai 根据一台经典中欧版 Commodore 64 实物照片复刻了免费开源字体 C64 Keyboard。该项目还原的是键帽上的印刷字样，而非屏幕显示的点阵字符。小写输入会自动转为大写，字符集覆盖了按键侧面印制的全部 63 个 PETSCII（Commodore 专用的扩展字符集）图形符号，并转化为平滑的几何矢量。 工业雕刻风格的现代数字化 字型展现出的人文主义无衬线特征让字型爱好者联想到广泛用于经典仪表盘的 Gorton 雕刻字。整个项目以 CC0 1.0 Universal 协议开放，包含 TTF、OTF 格式及轮廓源码，保留了早期个人计算设备外观上的工业设计美感。 相关链接： * Claude Haiku 5.5 * Margaret Hamilton has died * Shipping JPEG XL in Chrome * Visa, Mastercard, major banks facing new litigation over 'anticompetitive' fees * Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app * GPT‑6 and Intelligent UI for everyone * Animated ASCII Art for Web Pages * A font recreated from photographs of classic Commodore 64 keycaps * Nobel Prize in Chemistry 2026 to Henri B. Kagan and Kenso Soai * Strands Decider 2B: a small, open-source, decision model

在本期 Agili 的 Hacker Podcast 汇总中，我们聚焦从万亿参数开源模型到极点深冰探测，再到前端运行时回迁与智能家居传感器实测的技术动态。今天的技术世界在基础设施底座与前沿应用两端同时演进。 Mistral Large 4 开放预览：万亿参数开源权重新旗舰 硬件规模与基准测试表现 Mistral 推出了新一代旗舰模型 Mistral Large 4（ML4，官方昵称 le Chonk）的公开预览版，计划在 10 月底开放权重下载。这是一个总参数量达到 1 万亿、激活参数为 490 亿的多模态 MoE（Mixture of Experts，混合专家架构）模型，原生支持超过 160 种语言。ML4 完全由 Mistral 在其欧洲自建数据中心内，使用 3,800 块英伟达 Grace Blackwell GPU 从零训练完成。Mistral Studio 上的 API 输入定价为每百万 Token 1.36 美元，输出为 4.18 美元。 在评估漏洞挖掘与修复的 Artificial Analysis Cyber Index 中，ML4 在复现开源漏洞并提供补丁的任务上取得了 82% 的成功率，并在 Cybench 中解出了 93% 的题目。许多闭源商业模型因安全过滤机制拒绝执行漏洞复现操作，开放权重的 ML4 则允许机构在本地或专有云上依据自身策略开展安全排查与代码审计。在代码能力方面，ML4 在 DeepSWE v1.1 取得 61.7% 的分数，在第三方平台 Surge AI 的盲测代码评审中得分 3.74，仅次于 Claude Opus 5。在科学计算基准 SciCode-Verified 上，ML4 居于开源权重模型首位，能在单次交互中生成量子化学领域的完整哈特里－福克（Hartree–Fock）模拟代码。 实际体验与算力争议 在 API 体验中，开发者普遍反映其响应延迟较低。独立开发者 Simon Willison 在实测中发现系统开放了“关闭”与“高”两种推理档位。在要求模型用 SVG 矢量代码绘制“骑自行车的鹈鹕”时，开启高推理档位没有显著拉长思考步骤的 Token 数量，但画出来的自行车结构更加合理，踏板与脚部的连接更准确。讨论区同时观察到，各家前沿模型生成的同类矢量图在构图特征上高度重合，引发了开发者对新模型是否从过往基准测试数据中提取了大量合成经验的讨论。 针对 3,800 块 Grace Blackwell GPU 与北美科技巨头规划的数十万卡集群之间的差距，业内工程师解释，超大规模集群的主要算力开销并非单次预训练批次，而是用于日常巨大的用户并发推理请求，以及模型定型前数以千计的前置实验与后训练探索。Mistral 目前的后训练体系每日在代码沙箱与工具调用环境中生成约 330 亿 Token，筛选出约 160 亿 Token 用于策略迭代。 互联网基石 Example.com 迎来数十年来首次大改版 用脚本拆分过滤自动化机器流量 由 IANA（互联网数字分配机构）维护的保留域名 example.com 完成了页面改版。作为文档示例专用域名，该网站自 1999 年上线以来供技术人员在编写教程和规范时免费引用。新版页面加入了联合国六种官方工作语言：阿拉伯语、中文、英语、法语、俄语和西班牙语。 IANA 在公开说明中解释，这次调整的核心考量是降低带宽消耗。大量自动化脚本、监控工具以及复制配置文件后未修改域名的系统在持续访问 example.com，这类流量通常不会执行或请求外部的 JavaScript 文件。运维团队将页面拆分为一个极简的静态 HTML 页面和一个独立的脚本文件，多语言文本与矢量图标均由脚本在客户端动态渲染。关闭脚本支持的访问者只能读取到基础英文提示，这项改动为服务器过滤了绝大部分机器流量带来的数据开销。 作为隐性基础设施的现实影响 性能监控平台 DebugBear 梳理了该站点的演进历史。example.com 最早在 2002 年采用简单的 HTML 表格布局，运行在 Apache 1.3.22 服务器上。2013 年站点迁移至 EdgeCast CDN（内容分发网络），2025 年底接入 Cloudflare 网络。2026 年中，页面加入了一行指向空白数据的 Favicon 图标标签，阻止了浏览器频繁向根目录请求图标文件。 新版页面增加了文案提示：该域名仅供文档演示，并非公共网络服务，不应将其用于网络可用性测试或状态监控。网络数据服务商 IPinfo 团队指出，现实中有大量公共 Wi-Fi 强制跳转认证、网络探针以及误配的代码直接依赖该域名来检验网络连通性。由于许多用户复制代码后忘记替换示例地址，每天都有包含敏感信息的配置请求被发送至该主机。继续维持该域名的安全解析和基础应答，能防止失控的流量落入恶意系统之中。 2026 年诺贝尔物理学奖：弗朗西斯·哈尔岑与冰立方中微子天文台 在南极深冰中捕捉幽灵粒子 2026 年诺贝尔物理学奖授予弗朗西斯·哈尔岑（Francis Halzen），表彰他对冰立方中微子天文台（IceCube Neutrino Observatory）的决定性贡献，以及发现源自天体物理的高能中微子。这是自 1992 年以来，诺贝尔物理学奖首次由单一位科学家独享。 中微子（neutrino，一种不带电荷、质量极小且极少与普通物质发生反应的基本粒子）每秒有数以万亿计穿透人体。高能中微子撞击介质中的原子核时会转化为带电粒子，当带电粒子在介质中的行进速度超过光在该介质中的相速度时，会产生微弱的切伦科夫辐射（Cherenkov radiation）。冰立方坐落于南极阿蒙森-斯科特科学考察站，数千个高灵敏度光学传感器垂直悬挂在冰盖下方 1450 米至 2450 米的深处，覆盖体积达 1 立方公里。南极极点的深层冰体在数万年的高压下排除了所有气泡，透光性能表现良好，为观测提供了天然稳定的介质。 极地工程挑战与科学意义 在南极大陆深处建造大型物理装置经历了漫长的物流考验。2005 年初期钻探时，重型钻井设备与电子仪器完全依赖配有雪橇起落架的飞机空运。建设后期，由大型履带式拖拉机牵引的南极陆路车队（South Pole Traverse）投入使用，通过陆路雪原运送物资。极点基地依靠大型发电机组长年燃烧航空煤油与柴油，维持冰立方的数据收集与运转。 高能中微子在宇宙空间中不被磁场偏折，也不被星际尘埃吸收，能够直接携带遥远星系核心与黑洞活动的原生信息，为传统电磁波天文观测补充了新的数据维度。利用深冰探测中微子无法在普通山地冰川上用低成本模型验证，哈尔岑提出了利用南极冰层的设想，并在数十年时间里推动工程跨越物流与技术障碍，最终完成了整套观测系统的建立。 告别 Deno 重回 Node.js：现代 JavaScript 运行时的生态演变 现代化的 Node.js 开发体验 前端开发者 David Bushell 在近期为一个 SvelteKit 项目重构后端时重回 Node.js。现在的 Node 已经原生支持现代 ECMAScript 语法，日常开发不再需要 CommonJS 时代的 require()。 为了避开旧工具链的繁琐配置，他使用基于 Rust 的 FNM（Fast Node Manager）管理运行时版本，并使用 PNPM 替代 NPM。针对依赖供应链安全，他在配置文件中将依赖拉取强制推迟一天（minimumReleaseAge: 1440），避开恶意包最初的爆发期，同时依靠 PNPM 默认拦截安装后脚本的机制降低系统被侵入的概率。Node.js 也内置了类型剥离（Type Stripping，在运行时直接去除类型声明并按纯 JavaScript 执行），不再需要繁重的编译配置。Node 目前限制了这一功能，拒绝处理 node_modules 依赖目录下的 TypeScript 文件，这避免了第三方库与宿主项目之间因配置文件规则不同引发的语法解析分歧，兼顾了执行效率。 工程稳定性与沙箱特性的权衡 Bushell 将个人博客的静态生成工具从 Deno 迁移到 Node.js v26，静态构建速度提升了 15%。促使他离开 Deno 的主要原因是其产品稳定性的下滑，包括终端补全故障、JSR 包注册中心频繁触发 429 访问限制，以及并发 HTTP 请求下的阻塞问题。参与过 Deno 标准库开发的社区成员证实，Deno 在人员调整后路线图沟通变慢，重心转向商业化托管平台，核心运行时的打磨节奏有所放缓。 支持 Deno 的开发者强调了其开箱即用的完整性。Deno 内置单元测试、格式化和代码检查工具，无需配置繁复的外围开发依赖。其基于白名单的权限沙箱机制能够限制网络访问与重要文件读写，在防御投毒依赖或执行未经完全信任的代码时，提供了比 Node 更严密的系统隔离保护。新兴运行时的竞争倒逼了 Node 的自我革新，而 Node 凭借长期的工程稳定性与稳步吸收现代特性的节奏，重新确立了其地位。 JetBrains 2025 年营收破纪录却转亏：AI 转型与重构引擎的未来 汇率波动与研发投入拖累利润 捷克商业登记处公布的法定财务报表显示，开发者工具厂商 JetBrains 在 2025 年实现营收 160.08 亿捷克克朗（约合 7.38 亿美元），同比增长 6.26%，创下历史新高。公司全年录得净亏损 3.15 亿捷克克朗，毛利率由上一年的 18.8% 收窄至 10.7%。年末账面仍持有 75.84 亿捷克克朗的净现金资产。 查阅原始申报文件可见，捷克克朗对主要结算货币汇率走强带来了约 15.16 亿捷克克朗的汇兑损失，占据税前利润降幅的大约 61%。EBIT（息税前利润）同比下滑 63.2%，构成了其余 39% 的降幅。公司在用人与资产上的投入显著加大，员工支出同比增长 34.2%，投资活动产生的现金流出净额扩大至 102.73 亿捷克克朗。 IDE 在编程代理时代的新定位 技术人员将成本上升归因于公司在生成式 AI 领域的追赶与自研基础设施投入。JetBrains 近期陆续推出了编程代理 Junie、工作流工具 Air 以及针对各 IDE 的智能插件。有用户认为，公司早期试图将 AI 功能作为独立附加订阅销售，延误了与轻量竞品的抗衡节奏，自建推理服务也带来了庞大的计算资源成本。 JetBrains 正在将其 IDE 演进为 MCP（模型上下文协议，用于让 AI 代理与本地开发工具通信的开放标准）服务端。借助这个功能，外部代码代理可以直接向 IDE 查询符号引用和语法结构，不必使用效率低下的文本检索命令去猜测代码依赖，大幅节省了上下文 Token。在处理复杂的类型系统、架构重构以及深层调试时，JetBrains 长期积累的 AST（抽象语法树，代码语法结构的树状表示）精准分析与确定性重构引擎，是仅靠概率预测代码的大语言模型无法完全取代的生产力底座。 权威研究推翻“自然平衡”假说：物种流失后的生态恢复力被严重高估 打破功能冗余假设 伦敦国王学院与帝国理工学院的研究团队在《自然-生态与演化》（Nature Ecology & Evolution）发表全球综合分析，指出生态系统在物种流失后的自然恢复能力被长期高估。研究整合了 423 项既有研究和 222,829 个观测数据点，覆盖陆地、淡水、海洋和河口系统。在评估的 23 类生态系统功能与服务中，授粉、水净化、碳储存和天然控虫等收益随着生物多样性的提升稳步增加，并未出现物种达到特定数量后收益停滞的平台期。 这项发现修正了生态学中关于功能冗余（functional redundancy，指不同物种承担重叠角色、个别物种消失能由其他物种完全替代）的假设。海洋碳封存对物种多样性的依赖在所有测量指标中最为突出，浮游植物与深海微生物食物网的多样性直接决定了碳吸收效率。沿海防洪与防侵蚀属于少数例外，主要取决于少数几类固定沙丘的关键建群种。 替代稳态与现实修复困局 “自然平衡”的设想源自 20 世纪 50 年代控制论将机械自洽系统投射到自然界的概念框架。真实的生态系统并不存在单一恒定的平衡点，遭遇严重扰动后通常落入功能退化的替代稳态。北美大西洋鳕鱼在经历重度过度捕捞后，即便实施严格的捕捞限额保护，种群数量依然停留在极低水平，原有的生态位被水母与杂食性低价值鱼类填补。 实地生态修复的经验同样反映了生态网络不可逆的特征。在北美草原保护工作中，人工复建的草地即便恢复了植被覆盖，通常也只能吸引约 15 种广适性本土蜜蜂，只有未遭破坏的原始残留生境能维持数百种专性传粉昆虫。地球在地质时间尺度上可以通过数百万年的演化填补物种空白，人类社会所依赖的生态系统服务却运行在数十年到数百年的生命周期之内。 Polars 2.0 发布：流式执行与一级 SQL 支持 默认流式引擎与磁盘溢写 数据处理库 Polars 正式发布 2.0 版本。针对大规模数据处理，Polars 2.0 在调用 LazyFrame.collect() 时默认启用流式执行引擎，并默认开启外存溢写功能（out-of-core，内存占用达到约 80% 时将数据溢写到磁盘以防止内存耗尽）。默认磁盘配额设定为 64 GB，目前该机制覆盖排序、窗口函数与多种表达式计算，后续计划扩展至连接和分组聚合。流式引擎不再默认保证 join 和 group_by 的输出行顺序，依赖特定行顺序的工作流需要显式声明 maintain_order=True。 查询优化与基准测试表现 Polars 2.0 将 SQL 列为一级支持，并在优化器中引入了连接重排序、公共子计划消除以及布隆过滤器（bloom filter，用于快速过滤不匹配数据块的算法）。开发团队在 16 核与 192 核硬件上将 Polars 与 DuckDB、DataFusion 针对 TPC-H 和 TPC-DS 标准数据集进行了横向对比，Polars 在多数项目中耗时更短。在 192 核机器上处理较小规模的 SF10 数据时，限制为 32 线程的 Polars 表现优于全核 192 线程。开发团队解释，连接操作会为每个线程创建对应分区，总分区数达到线程数的平方（$T^2$），导致 192 线程在处理较少行数时产生了过大的调度固定开销，团队已在着手优化这部分逻辑。 数据类型方面，Polars 2.0 原生支持 Arrow 的 MapType（键值对映射），替代此前将其读取为嵌套列表与结构体的方式。为了减少长时间数据管道在末端报错的损耗，新版本推行即时报错机制，用户可以在不物化数据的情况下调用 collect_schema() 完成模式解析与类型验证。 Gleam 1.19.0 重构底层：告别 Erlang 源码，直通抽象语法树 以抽象形式换取编译与调试优势 类型安全函数式编程语言 Gleam 发布了 v1.19.0 版本。编译器不再输出人类可读的 Erlang 源码文本，而是直接生成 Erlang 抽象形式（Erlang abstract forms，即 Erlang 编译器内部基于语法树的中间表示）。 这一转变跳过了 Erlang 编译器前端的分词与解析环节，通过外部项格式直接加载生成的代码，全量编译耗时明显缩短。过去 BEAM（Erlang 虚拟机）在崩溃报告和调用栈追踪中往往只能定位到最近的函数，新版本生成的代码则能精准对齐 Gleam 原始源码的具体行号，为后续接入 BEAM 调试器提供了支撑。 架构决策与 JavaScript 优化 针对为何不直接输出 BEAM 字节码的疑问，Gleam 创始人 Louis Pilfold 解释，BEAM 字节码规范在每次虚拟机版本更新时都可能调整指令集。直接面向字节码需要长期跟进底层变动，并重新实现 Erlang 编译器积累的优化，生成抽象形式在执行效率与维护成本之间取得了平衡。 在 JavaScript 目标端，编译器重构了模式匹配的决策树逻辑，将嵌套的多层 if 语句扁平化合并为单一条件判断。针对短列表字面量，编译器改为直接生成连续的 prepend 函数调用，不再通过 JavaScript 原生数组进行中转转换，提升了在前端框架 Lustre 这类频繁使用短列表场景下的执行效率。针对社区希望 Gleam 编译到 Go 或 Rust 的讨论，Pilfold 澄清，Go 的垃圾回收机制并不适合不可变数据结构，而 Rust 的所有权借用检查作为编译目标会带来漫长的编译时间和极大的生成约束。相反，JavaScript 引擎的内存分配机制处理不可变数据表现良好。 12 款主流 Zigbee 温湿度传感器实测：选购与避坑指南 精度测试与主流型号推荐 智能家居评测网站 SmartHomeScene 对市面上 12 款主流 Zigbee 温湿度传感器进行了横向对比测试，涵盖 Aqara、Sonoff、Tuya、Thirdreality、Zemismart 和 Moes 等品牌。这些传感器单价基本在 15 美元以内，均为无屏幕的纯电池供电设备。测试平台采用 SMLight SLZB-06MG24 协调器（Coordinator，负责组建与管理 Zigbee 网络的核心网关）和 Zigbee2MQTT 固件，基准参考设备是一台在商用冷柜中与法定温度计比对校准过的小米 Miaomiaoce MHO-C401。 在同室常温对比中，Sonoff SNZB-02P、SNZB-02B、Aqara WSDCGQ11LM、Moes ZSS-S01-TH 和 Tuya TH09Z 在温度测量上表现稳定，与基准平均偏差约 0.2°C。综合电池与上报机制，Sonoff SNZB-02P 成为首选，该设备采用容量更大的 CR2477 纽扣电池，标称续航达到 4 年，附带磁吸底座并支持固件级参数校准。若偏好 AAA（7 号）干电池，内置 Sensirion 传感芯片的 Sonoff SNZB-02B 是理想选择。Tuya TH09Z 则是全场唯一具备 IP65 防尘防水等级的传感器。 上报机制与路由缺陷 这类传感器的核心差异体现在通信控制上。Sonoff、Moes 和多数 Tuya 设备允许在 Zigbee2MQTT 中自定义上报间隔与触发阈值，用户在下发配置前必须按下物理按键唤醒设备，因为睡眠端设备（Sleepy End Device）默认关闭无线电接收机以节约电量。Aqara WSDCGQ11LM 则在固件层面锁死了上报逻辑。 使用者在长期使用中指出了硬件细节问题。Aqara 传感器存在非标准的 Zigbee 路由协议实现问题，设备配对后通常固守最初的父节点，一旦作为中继路由器的智能插座断电，传感器往往不会自动漫游至其他可用节点，在最终安装位置就地配对能降低离线概率。白牌 Tuya 设备在相同型号名下经常更换主控芯片，导致不同批次的实际精度与功耗存在差异。 Meta AI 代理 Muse 引发安全与隐私争议 零日漏洞与越权读取聊天记录 Meta 推出的代理型人工智能（Agentic AI，具备自主决策和执行任务能力的 AI 助手）工具 Muse 在上线初期引发了安全与隐私讨论。这款产品配备了一个名为 Jolly 的卡通形象，设计初衷是帮用户处理预订餐厅、支付账单和二手交易等琐事。 产品发布不久，安全研究人员就发现了一个影响 Mac 用户的零日漏洞。媒体 404 Media 披露，Meta 内部为了按时上线，在发布前夕匆忙赶制补丁。在实际体验中，有视频博主让 Muse 管理其 Facebook Marketplace 二手交易，系统以极低的价格把物品卖出，并向买家泄露了博主的家庭住址。商业媒体 Inc. 专栏作者 Jason Aten 发现，Muse 在没有得到明确指令的情况下，读取了他与同事在 Apple Messages 中的聊天记录并发来推送通知。这一事件促使苹果对 macOS 的全盘访问权限（Full Disk Access）做出调整，限制第三方 AI 代理工具抓取信息记录。《连线》杂志也报道，Muse 会持续为用户的亲友和同事建立详尽的个人档案。 代理机制解析与责任归属争议 在技术讨论中，工程师澄清外界讨论的部分“突破限制获取 Root 权限”，实际上是用户在控制分配给自己的隔离沙盒虚拟机，建立联系人档案也是代理程序维护记忆文件的常规做法。 争议的核心集中在大语言模型缺乏确定性的逻辑约束，直接将涉及金钱和私人日程的权限交给模型存在失控风险。平台要求用户授权银行卡或账户，却不对 AI 的误操作承担经济赔偿责任。AI 助手的隐私读取具有连带效应，即使个人拒绝使用这类工具，只要联系人授权代理程序读取聊天记录，双方的对话便会被上传至云端。为了避免将个人数据交给中心化商业平台，越来越多的技术用户倾向于在本地硬件上部署开源模型，通过严格的沙盒与只读权限来控制自动化工具的运行边界。 相关链接： * Mistral Large 4 * Example.com just launched the biggest redesign in decades * Nobel Prize in Physics 2026: Francis Halzen * Friendship ended with Deno, now Node is my best friend * JetBrains reports revenue growth, net financial loss for 2025 * Nature's capacity to 'bounce back' when species are lost is overestimated: study * Polars 2.0 * Gleam doesn't compile to Erlang source anymore * Best-selling Zigbee temperature sensors tested and compared * Meta’s Muse is an adorable privacy and security dumpster fire

欢迎阅读 Agili 的 Hacker Podcast 每日科技简报。今天的内容涵盖数据库内部运行经典游戏的前沿尝试、云端 AI 日记触发的法律指控、一级方程式赛车雨战中的电控逻辑冲突，以及多起关乎硬件安全与数字资产保存的技术事件。 丹麦中央人口登记系统泄露 880 万人数据 商业企业接口遭滥用 丹麦中央人口登记系统（Det Centrale Personregister，简称 CPR）遭遇外部未授权访问。攻击者滥用了一家商业机构拥有的合法查询接口，调取了数据库内约 880 万名登记者的姓名、现居地址以及 CPR 号码（丹麦公民个人身份编号）。这笔记录包含了在世居民、曾在丹麦居住的外籍人员和部分已故人员，总数超过了丹麦目前约 600 万的常住人口。申请了姓名与地址隐私保护的居民数据未被泄露。管理机构已切断涉事企业的访问权限，并向丹麦数据保护局（Datatilsynet）通报案情。 身份标识与认证凭证的职责错配 丹麦 CPR 号码由出生日期加四位数字组成，末尾数字直接反映生理性别。丹麦电信公司过去曾允许利用生日推算完整的身份编号进行业务办理，在暴露漏洞后才取消这种验证方式。随着丹麦推行 MitID（丹麦国家级数字身份认证系统），CPR 号码在金融与政务场景中正逐步回归为纯粹的公开索引，不再充当授权密钥。大量商业机构内部依然把该编号视作验证用户身份的私密信息，留存了身份冒用的隐患。 数字化推进与安全投入的不平衡 丹麦在联合国电子政务评估中排名靠前，公共服务高度依赖数字化整合。熟悉当地公共系统架构的技术人员指出，公共部门在推行便民数字接口时投入了大量资金，安全防护与审计系统建设却依赖固定预算的外包合同。外包服务商缺乏主动修补架构缺陷的意愿，使获得授权的第三方商业数据接口成为整个链路的薄弱点。 特效机构 Tippett Studios 倒闭后数字工作档案现身网络 破产拍卖中抢救出的 49.6 GB 资料 特效与定格动画工作室 Tippett Studios 因财务危机倒闭，创始人 Phil Tippett 正式退休。工作室的道具、画稿和工作文件进入破产拍卖程序。匿名买家 “TippettFan” 在拍卖中购入一本装有工作光盘的活页夹，将其中 90 张去重后的关键光盘制作为 ISO（光盘镜像，完整复制物理光盘文件系统的数据文件），上传至互联网档案馆（Internet Archive）。这批 49.6 GB 的数据包含《星球大战》（Star Wars）幻灯片、《机器战警》（RoboCop）和《星河战队》（Starship Troopers）的制作底片，公众可以通过 DiscMaster 在线查看早期低多边形（Low-poly，低面数三维模型）动作线框。 传统定格向数字三维转型的硬件尝试 在制作《侏罗纪公园》（Jurassic Park）期间，团队研发了 DID（Dinosaur Input Device，恐龙输入设备，把实体机械骨架的关节位移转换为三维关键帧的硬件），帮助定格动画师制作数字生物。参与制作《黑客帝国 3：矩阵革命》（The Matrix Revolutions）的技术人员回忆，当年为防止渲染大体积特效挤垮局域网，团队拆解旧服务器硬盘临时拼装了一台 1 TB 的本地网络附加存储（NAS）供项目调度使用。 离线介质带来的历史留存 这批制作记录能够存留至今，依赖于光盘等物理离线介质不需要支付云端租金。若是存放于商业云服务，企业清算断缴费用后文件将直接被系统删除。档案文件目前主要包含后期的计算机图像成果和公关小样，定格动画的核心制作资料较少。为防止原版版权方发起侵权投诉导致文件下架，社区成员已开始通过种子方式进行去中心化备份。 Cloudflare 发布 AI 专用网络搜索 API 集成三大搜索源的网关服务 Cloudflare 在其 AI Gateway（AI 网关）中推出了 Web Search API 测试版。该接口让自主智能体（AI Agent）可以直接调用搜索引擎获取即时信息，缓解模型幻觉。平台首批整合了 Ceramic.ai、Linkup 和 Exa 三家搜索源，提供零数据保留（ZDR，Zero Data Retention）协议，允许用户按原厂价格结算或接入自备密钥。三家提供商每千次调用的定价分别为 0.25 美元、5 美元与 7 美元。Linkup 额外提供网页抓取接口，可将包含 JavaScript 动态渲染的页面输出为纯 Markdown 文本。 检索质量与服务条款限制 开发者测试发现新兴搜索供应商的抓取广度存在短板。使用特定技术词汇测试默认供应商 Ceramic.ai 时，检索结果多次出现空白或仅返回无关论文，连检索其官网域名也无法准确命中。开源开发者 Simon Willison 发现，Ceramic 的用户条款禁止开发者收集、聚合、长期存储或转售搜索结果，只允许在即时查询时向终端用户展示。这一限制给需要长期保存会话上下文或支持分享记录的 Agent 应用带来了违规风险。 防爬虫网络与内容分发的中介角色 集中化网关让企业免于为每个搜索源处理单独的合规审计与采购流程，通过统一账单管理流量与调用日志。Cloudflare 一方面运营着覆盖全球的内容分发与防爬虫网络，另一方面向搜索引擎开放收费爬虫通道并销售搜索流量，在网络生态中扮演了收费内容中介的角色。部分开发者选择直连 Brave Search 或自建开源的 SearXNG 服务以避免平台绑定。 开发者在浏览器中复现经典 VB6 开发环境 网页端重现 1998 年的可视化开发 开发者 Wiesław Šoltés 推出了一个在浏览器内直接运行的 Visual Basic 6.0（简称 VB6）集成开发环境（IDE）。项目完整还原了经典的工具箱、工程资源管理器、属性表、窗体布局器与代码编辑窗口。环境内置了“罗斯文商贸”（Northwind Traders）订单录入表单样例，支持修改控件属性与编写事件处理逻辑，允许将整个工程打包导出为独立的单页 HTML 文件。 绝对坐标排版的设计遗产 VB6 具备直观的拖拽开发流程，开发者可以在属性列表里修改颜色和尺寸，双击控件便自动生成事件代码，调试时还能将代码执行光标向上拖动重新执行。这种绝对坐标拖拽排版在早期 1024×768 分辨率的阴极射线管（CRT）显示器或 Palm OS 等固定屏幕上效率极高。面对现代屏幕碎片化和自适应排版需求，绝对定位需要手动编写大量锚定与伸缩规则，导致固定网格表单工具逐渐被现代 Web 框架取代。 早期原型与工业场景应用 该项目借助了 AI 编程助手搭建，目前边框渲染由于 CSS 阴影计算偏差尚未完全复现经典三维凸起外观，非可视控件也缺少直接选取的交互逻辑，底层未实现 Win32 API 绘图函数兼容。作者计划在后续版本中加入 WebGPU 图形后端支持。VB6 的技术栈仍在医疗软件 Epic Systems 和商业管理系统 Sage 100 等工业软件的生产环境中运行。 早期网络技术寓言《备份之道》重新上线 寓言形式的数据安全准则 《备份之道》（The Tao of Backup）是互联网早期的技术概念网站，作者借助虚构的东方哲学师徒对话，拆解数据备份中的核心准则。文本系统梳理了全量数据覆盖、异地灾难备份以及定期执行真实还原测试等实践。故事中用单盘 20 GB 磁带存储全公司业务数据的设定，保留了早期的存储技术印记。 个人数据备份的演变 该站点的重现勾起了读者对早期个人独立博客和图文网站的记忆。现代网络内容多被聚合在商业平台中，缺少这类兼顾视觉设计与技术内涵的个人创作。针对当下的个人数字资产保护，讨论区技术人员推荐了 TripleSec 方案，通过本地强加密、异地多重存储和定期恢复演练保障数据安全。 高通获得华为 LogicFolding 芯片技术专利许可 涵盖共封装光学与先进芯片技术的协议 高通（Qualcomm）同意获得华为 LogicFolding 芯片制造技术的相关专利许可。华为方面表示，双方达成了多年期专利交叉许可协议，涉及 5G 设备、人工智能服务、网络通信技术以及共封装光学（CPO，Co-Packaged Optics，将光学组件与计算芯片封装在一起以降低通信功耗的技术）。协议需获得美国监管部门批准方能生效。 交叉许可防范跨国诉讼开销 华为与高通持有全球大量 5G 标准必要专利。在电信和集成电路行业，两家巨头通过交叉许可互相授权专利是通用商业做法，诺基亚与苹果此前也采用过类似协议平息争议。高通若在华为开展业务的海外市场提起侵权诉讼，需要承担漫长的诉讼周期和极高的维权成本。 巨头壁垒与初创硬件门槛 专利互换确保了双方核心技术路线的合法使用权，巩固了大型企业的专利许可收入模式。这种合作加固了通信与芯片领域的知识产权壁垒，抬高了新兴硬件企业进入先进封装与 5G 市场的初始成本。 CedarDB 将《毁灭战士》完整移植至数据库内部运行 运行在查询引擎内的游戏循环 CedarDB 研发团队将 1993 年的原版《毁灭战士》（Doom）移植进 SQL 数据库中，使游戏的判定逻辑和画面渲染完全在数据库进程内执行。外部 Python 脚本仅承担读取键盘指令、提供 35 Hz 时钟信号以及将输出像素阵列绘制到屏幕的基础任务。在搭载 AMD Ryzen 7 7840U 的设备上，游戏逻辑稳定在 35 FPS，320×200 分辨率渲染帧率达到 60 Hz，并支持四名玩家联机。 关系型数据结构与纯 SQL 渲染管线 原版游戏的资源文件原生具备表结构特征，地图顶点、线段和扇区被直接映射为数据库表。团队使用类似 PL/pgSQL 的 CedarScript 编写了 5900 行游戏逻辑代码，将实体组件系统（ECS）中的每类组件映射为一张数据表，每次状态更新均由一条带有 JOIN 条件的批量 UPDATE 语句驱动。渲染模块由一段包含 89 个通用表表达式（CTE，SQL 中的临时命名查询块）的巨型查询构成，共 1300 行 SQL。引擎利用二叉空间分割（BSP）树，把视点路径打包为 64 位整数直接排序以替代递归，通过窗口函数计算地表跨度，由 GROUP BY 配合 MIN 函数抓取离视点最近的像素点完成光栅化。 事务隔离带来的物理一致性 游戏内的武器数值、怪物血量和动作帧全部作为常规数据表记录存储。修改武器弹药数量或射击伤害只需要执行一条普通的 UPDATE 语句。多人联机逻辑在单个数据库事务内执行，借助 ACID 事务特性直接保证所有玩家视野和物理判定的严格一致，不需要额外编写网络同步代码。CedarDB 将 SQL 查询转换为 LLVM IR（中间代码）并编译成机器码执行，移动逻辑生成的机器指令仅为原版 C 语言编译结果的 2.4 倍，现已在 GitHub 开源。 动力系统电控软件故障导致 F1 正赛发车推迟 暖胎圈的油门响应归零 2026 规则下的巴林大奖赛正赛因赛车底层控制软件异常触发红旗暂停。暖胎圈期间，雪邦赛道的雨水导致路面湿滑，多辆赛车的动力单元控制程序在湿地低速行驶时发生冲突，发动机直接锁定在怠速状态，车手深踩油门无法获得任何动力。从杆位起步的马克斯·维斯塔潘（Max Verstappen）率先遇到故障，随后的塞尔吉奥·佩雷兹（Sergio Perez）与奥利弗·贝尔曼（Oliver Bearman）也相继失去动力。赛会出示红旗暂停比赛，国际汽联（FIA）耗时 50 分钟向全部 11 支车队推送了控制参数调整方案后才恢复发车。 规则防作弊逻辑引发误判 为杜绝各车队私自开发违规的牵引力控制系统，所有 F1 赛车统一安装由 Motion Applied 制造的标准电子控制单元（ECU，负责采集传感器数据并控制执行器的行车电脑），并运行 FIA 的防作弊监督程序。当赛车在低温湿滑路面低速编队滑行时，涡轮增压器转速骤降。ECU 内用于防范非法扭矩平滑的监测算法将这种急剧的扭矩跌落误判为违规操作或失速风险，自动激活了保护内燃机的跛行模式（limp mode），切断了车手的动力请求。 现场参数修改与极限仿真的盲区 FIA 未在现场重新编译完整的 C++ 代码，工程师通过维修区线缆覆写了动力限制相关的布尔开关和阈值常量，关闭了引发连锁反应的湿地限制机制。车队在日常研发中依赖硬件在环（HIL，将真实控制器接入计算机虚拟模型中协同运行的测试架构）仿真测试，但模型多集中于高负荷与极限抓地力工况，针对湿冷路面低速长距离跟车等边缘工况的数据多依赖经验曲线拟合，导致仿真系统未能在赛前暴露该逻辑冲突。 谷歌 Pixel 11 移除硬件内存标记引发第三方安全系统弃用危机 关键硬件内存标记遭移除 专注于移动安全的开源操作系统 GrapheneOS 团队宣布，可能会放弃适配谷歌 Pixel 11 系列手机。在适配测试中，团队发现该机型在固件和底层硬件中缺失了 ARM 内存标记扩展（MTE，Memory Tagging Extension，通过给内存指针和物理地址分配标签在硬件层拦截内存越界破坏的技术）。Pixel 8、9、10 均搭载了该特性，苹果 iPhone 17 配备了类似的内存完整性执行（MIE）方案，高通骁龙 8 Elite Gen 5 芯片也具备完整的 MTE 架构。 运行时安全防线的退步 Pixel 11 加入了抗量子签名验证以及强化设备在首次解锁前（BFU，Before First Unlock）数据防提取的 Titan M3 芯片。但移除了硬件 MTE 使得设备在首次解锁后（AFU，After First Unlock）的运行时抵御远程代码执行与本地提权的能力明显下降。社区分析显示，Pixel 11 的芯片可能因缩减缓存硬件而无法发挥 MTE 的实用性能，最终在固件层被整体关闭。GrapheneOS 团队建议重视内存安全的用户继续使用 Pixel 8 至 10 系列设备。 参考机地位取消与转向摩托罗拉 谷歌在 Android 16 中取消了 Pixel 作为 Android 开源项目（AOSP）官方参考硬件的定位，固件驱动的透明度随之降低。针对分销渠道，谷歌通过移动服务协议限制硬件厂商直接出厂预装第三方操作系统，厂商需通过二次刷机渠道规避限制。GrapheneOS 目前已将部分研发重心转向与摩托罗拉合作，计划在搭载高通芯片的摩托罗拉设备上提供安全系统支持。 用户将 Claude 当作私人日记倾诉被平台向警方报案 AI 交互触发威胁研判与刑事指控 美国佛罗里达州居民 Carli Michelle Heller 将 Anthropic 旗下的 AI 助手 Claude 作为个人日记使用。她在输入记录中提及袭击当地警长办公室的计划。Claude 的安全监控模块拦截了文本并转交人工审核，审核人员判定该内容构成可信安全威胁后向当地执法部门报警，警方随后前往住所将其逮捕。Heller 目前面临佛罗里达州法律下的二级重罪指控。当地法规将以可被他人查阅的方式传输致人伤亡威胁的行为界定为重罪。 科技平台的法律责任与用户认知错位 Anthropic 的服务条款明确规定，在防范严重人身伤害的紧急状态下，平台有权向执法机构披露用户信息。违规对话的输入和输出内容会被保留 2 年。此前加拿大和佛罗里达州均就枪击案向 OpenAI 提起诉讼，指控其安全系统未能将枪手在 ChatGPT 中的暴力发言向警方预警。平台为规避法律连带责任倾向于积极报案。许多普通用户在心理上将 AI 视为无意识的单机程序，忽视了对话数据实时上传至云端并受到自动化和人工审查的事实。 法律构成要件与本地运行开源模型 该案件引发了关于犯罪意图（mens rea，刑法中构成犯罪所必需的主观故意）与言论定性的法律争议。成立该项重罪通常需要证明当事人主观上有让现实中的他人看到威胁内容的意图，将云端程序当成不公开草稿的做法是否符合“向他人传输”仍存司法分歧。对于极度重视隐私记录的用户，在个人设备本地部署开源大语言模型成为明确的替代途径，能确保输入内容完全停留在物理硬件内部，免除云端审查带来的法律风险。 相关链接： * Denmark data breach exposes 8.8M people's personal data * In the wake of Tippett Studios’ closure, a digital archive appears online * Web Search API * A browser-native classic Visual Basic VB6 IDE * The Tao of Backup * Qualcomm licenses patents on Huawei’s LogicFolding chip tech * We ported the original Doom to SQL * Powerless F1 drivers frustrated by Bahrain F1 software glitch * Pixel 11 doesn't yet meet the GrapheneOS security standards and may be skipped * Anthropic reported diary entry to police, woman faces felony charge

今天 Agili 的 Hacker Podcast 整理了开发者社区关于软硬件优化的最新实践与行业思考。从老旧显卡驱动重构、消费级硬件运行千亿大模型，到智能体记忆机制与原生 Web 平台的现实取舍，在技术演进与历史细节中探寻切实的工程经验。 科技专栏作家与纪录片制片人 Bob Cringely 去世 记录个人电脑时代的启蒙之声 科技专栏作家与纪录片制片人马克·斯蒂芬斯（Mark Stephens，笔名 Robert X. Cringely）在睡梦中去世，享年 73 岁。这一消息由其家人的朋友在社区发布。斯蒂芬斯早年以《InfoWorld》专栏走入大众视野，通过主持 PBS（美国公共电视网）制作的数部科技纪录片，成为记录个人电脑产业早期历史的代表性声音。 1992 年，他出版了著作《意外帝国》（Accidental Empires），描绘了早期科技创业者的群像，西蒙·沃德利（Simon Wardley）提出的“先锋、定居者与城镇规划者”演进框架便受其启发。1996 年，他主持的纪录片《书呆子的胜利》（Triumph of the Nerds）梳理了微软与 IBM 的竞争纠葛，并在拍摄期间留下了史蒂夫·乔布斯的失落访谈，深入探讨了面向对象编程（一种将数据和操作封装在一起的软件设计方法）与产品哲学。许多开发者回忆，当年正是看到他制作的节目，才决定前往硅谷从事编程。 早期技术见解与富有争议的自述 Cringely 的写作兼具行业内幕感与技术洞察。他在博客中早期探讨过缓冲区膨胀（Bufferbloat，即路由器缓存过大导致网络延迟急剧增加的问题）并给出了限速调优建议。2004 年，他撰文介绍了通过给 Linksys WRT54G 路由器刷入开源固件来搭建社区无线网状网络的方法。 他的职业生涯也伴随过不少争议。Cringely 曾声称自己是苹果公司的第 12 号员工，并自称设计了 Lisa 电脑的垃圾桶图标，但苹果公司的公开历史档案中并未记载他的正式工号，当时的 12 号员工实为丹尼尔·科特克（Daniel Kottke）。在纪录片《Plane Crazy》中，他挑战在 30 天内手工制造复合材料飞机，因工期失控演变为制作事故。晚年他发起的树莓派 Minecraft 服务器众筹项目也因长期未能发货受到支持者的质疑。 晚年生活与对大模型的研究 在生命的尾声，Cringely 经历了接连不断的打击。他在 2026 年初重新恢复博客更新，记录了自己 21 岁的儿子科尔（Cole）离世的悲痛，以及自身遭遇心脏病和中风的健康困境。 他生前公开发表的最后几篇文章探讨了大型语言模型的技术瓶颈，并在专利方案中提出通过外部数据库绑定与多模型交叉验证来降低模型幻觉（AI 生成看似合理却不符合事实的内容）。读者与同行依然感念他用生动风趣的人性视角，记录了计算机走进大众生活的那段岁月。 按量计费云服务亟需引入默认硬性预算上限 智能体自主调用带来的账单失控风险 技术博主 Simon Willison 提出，按用量计费的云服务和 API（应用程序接口）应当将硬性预算上限（hard budget caps，即费用达到设定阈值后直接停止服务并返回错误）设为默认配置，单纯依靠邮件通知的软性预警无法阻止意外损失。 代码智能体（coding agents，能够自主编写与执行代码的 AI 程序）降低了开发和部署门槛，调用付费 API 与动态算力的频率大幅增加。如果系统发生逻辑错误，或者智能体陷入连续调用的死循环，短短数小时内就可能产生数千美元账单。对于个人开发者和小型项目，系统报错停机的代价远低于承受不可预知的财务透支。 云厂商近期开始增加控制选项。AWS 推出了项目月度支出上限功能，项目达到预设金额后会自动暂停，并在永久删除数据前保留 90 天的缓冲期。Google Cloud 也为部分特定服务提供了支出上限设置。Simon Willison 认为，未来的 AI 助手应当主动推荐支持硬性预算上限的服务商，提示开发者避开没有开销熔断机制的平台。 企业连续可用与个人账户安全的冲突 在社区讨论中，技术支持与架构从业者分析了硬性上限推行缓慢的商业原因。企业客户最重视服务的持续可用性，当应用遇到自然流量暴涨时，触发硬性上限会导致业务中断、潜在客户流失和既有用户不满。大型企业通常更愿意先承担超支费用，事后再与账务部门协商，因此服务商长期倾向于不主动中断服务。 个人开发者与企业测试环境面临的风险截然不同。一次脚本失误或凭据泄露引发的算力盗刷，可能让个人直接面临巨额债务。参与讨论的工程师指出，平台应当把控制权还给用户。生产环境可以选择关闭硬性上限，测试沙盒和个人项目则需要强制截断的选项，让使用者根据容错能力自行设定。 异步计费架构与有状态存储的截断难题 云平台实现精准的硬性预算控制存在架构挑战。主流云基础设施的计费系统大多采用异步批处理模式，各服务的用量数据通常存在数小时的汇总延迟。将计费检查直接放入请求的热路径（hot path，程序高频执行的关键处理链路），会增加系统复杂度，并让计费模块成为基础设施的单点故障源。 有状态服务（stateful services，需要持久化保存数据的系统）也增加了截断设计的难度。虚拟机等无状态算力可以直接关机，但存储在 Amazon S3 或托管数据库中的数据无法随意抹除。较合理的方案是在预算耗尽后阻止新增写入和高成本调用，同时将既有数据转入只读或冷冻保存状态。 大模型普及改变了算力服务的财务逻辑。传统云服务器的边际运营成本较低，服务商为了维护客户关系，往往能够直接冲销用户的误操作账单。大语言模型推理直接产生高昂的电力消耗与芯片占用成本，中间层服务商自身也需要按量向上游支付费用，平台免除违约欠费的财务空间被大幅压缩。 Valve 工程师优化 Linux 老旧 AMD 显卡驱动 十年前 GCN 架构迁移至现代 AMDGPU 驱动 Valve 公司的图形驱动工程师 Timur Kristóf 在多伦多举行的 XDC 2026 技术会议上，介绍了他在 Linux 内核驱动方面的工作。他把发布超过十年的 AMD 显卡从老旧的 Radeon 驱动迁移到了现代的 AMDGPU 驱动中。这批硬件主要基于 GCN 架构（Graphics Core Next，AMD 推出的图形芯片微架构），包括 2012 年发布的 Radeon HD 7800 和 7900 系列显卡，以及搭载同代图形核心的 APU（Accelerated Processing Unit，集成图形核心的加速处理器）。 AMD 官方已经多年未在这些老旧硬件上投入维护资源。Kristóf 此前长期在用户态深耕 Mesa 3D 图形驱动，后来转向内核开发，解决了老旧显卡在 AMDGPU 中的显示代码缺陷与电源管理异常。 软复位机制与 Vulkan 性能提升 Kristóf 为这些老架构增加了软复位功能（soft reset，硬件在遭遇图形故障时无需整机重启即可自行重置恢复）。驱动迁移后，这些旧显卡能够直接启用 RADV（Mesa 项目中的 AMD 开源 Vulkan 驱动）。硬件测试网站 Phoronix 在 Linux 6.19 上的基准测试显示，这项改进为部分旧显卡带来了约 30% 的性能提升。 在社区讨论中，硬件复用是用户关注的重点。老旧显卡在 Linux 系统中能够承担多种辅助角色，比如作为多显示器扩展输出、独立处理视频解码，或者用于虚拟机直通（GPU passthrough，将物理显卡交由虚拟机独占调用的技术）。老显卡的显存带宽有限，且缺乏硬件层面的 FP8 低精度运算支持，在现代 AI 推理场景下的表现仍受物理规格制约。 开源驱动生态对延长硬件寿命的价值 驱动的开放程度直接影响了硬件的使用年限。AMD 将驱动框架开源，第三方工程师与商业公司才有可能接手维护并延长设备寿命。社区用户对比了 NVIDIA 的情况：NVIDIA 随着驱动版本更迭逐步停止对 GTX 1000 系列等旧卡的支持，由于驱动闭源，老卡在新版 Linux 内核上面临 DKMS 编译失效的问题。 成熟驱动的旧代码路径经历过多年的兼容性测试，在缺少大量真实设备进行质量验证的情况下修改底层逻辑，可能给仍处于生产环境的旧设备带来稳定性隐患。Valve 持续投入维护开源图形栈，使老款显卡在 Linux 环境下保持了良好的游戏与桌面交互能力，为旧硬件用户带来了切实的实用价值。 走出神话：重新审视蓝领电工的职业现实 薪酬现实与大学学历的回报差距 很多劝说年轻人放弃大学、进入蓝领技工行业的人，自己手里拿着大学文凭。电视节目《干脏活》（Dirty Jobs）主持人 Mike Rowe 创办的基金会一边宣传不受 AI 影响的六位数年薪工作，一边把年轻人引向技工领域，但他自己同样拥有大学学位。三十多年前在工地做学徒的资深技工讲的却是另一个版本：当年老工匠总是指着自己布满老茧和伤痕的双手，催促有潜力的学徒尽快回学校念书。 现实中的收入差距并没有被蓝领浪潮逆转。长期因果研究显示，四年制大学学位依然能在职业生涯中带来数十万美元的额外收入溢价。人们常被大学的账面学费吓退，但根据实际统计，2024 年美国公立大学州内学生的平均净学杂费每年不到 2,500 美元。蓝领工人的薪资没有普遍暴涨，初入行的前五年电工与初级工程师的收入可能相差不大，随后的薪酬天花板差距会迅速拉大。 高薪的工会电工在蓝领群体里的位置，相当于咨询巨头麦肯锡（McKinsey）的合伙人。获得这种职位往往需要面对一两百人争夺几个学徒名额的严格选拔，选拔过程看重人脉关系、退伍军人资质和隐性背景。家庭作坊式的工程店铺也普遍存在依靠亲属关系的现象。 细分工种壁垒与不可逆的身体损耗 “电工”本身并不是单一工种。住宅配线、工业配电柜组装、高压线路维护、船舶电气与建筑低压系统之间壁垒分明，技能无法直接互通。住宅电工的大部分工作时间不是在计算电路，而是在开皮卡运料、进行金属切割、给墙面打孔，在闷热狭窄的阁楼或地下空间爬行，甚至为了维修泳池线路潜入水下。 身体损耗与事故风险是技工无法回避的职业成本。文章作者二十岁时在建筑工地发生事故摔碎双脚脚后跟，右脚需要从髋骨取骨进行手术重建，长期面临残疾风险。高空作业的铁工和屋顶工面临坠落死亡风险，高空线路工面临高压电击。年过五十的资深技工普遍伴随耳鸣、关节严重磨损和慢性疼痛。为了赶工期或向客户展示技术熟练度，部分电工甚至会在不切断断路器的情况下带电作业，将自己置于致命危险中。 技术渗透对专业技能门槛的重构 寄希望于 AGI（通用人工智能，指能够胜任人类绝大部分认知劳动的 AI 系统）无法取代蓝领技工，低估了技术改造传统工种的方式。技术在物理工地的演进通常不是复制手部精细动作，而是直接绕过操作门槛。二十世纪九十年代普及的气动打钉枪，直接淘汰了木工用两锤将铁钉钉入木料的手工技巧。 如今建筑中的 HVAC（供暖、通风与空气调节系统）控制日趋复杂。如果工人佩戴集成 AI 的智能眼镜和耳机，系统可以实时识别视野画面并语音下达扭矩与接线指令。这种技术会压缩工人的认知门槛，把原本高薪的复杂诊断工作转化为低门槛的执行劳力。 技工职业本身具有独特的价值。离开办公室政治、在下班时看到亲手制造的实物、在专注体力劳作中进入心流状态，能带来很高的职业成就感。如果年轻人面对的是缺乏晋升空间的低端服务业，进入技工行业确实是踏入中产阶层的可靠路径。决定入行前需要看清现实，多去请教常年在工地上奔波的老师傅，不必轻信白领群体构想出的避风港叙事。 前端开发者回避原生 Web 平台的原因剖析 声明式数据绑定与原生命令式 DOM 的心智差异 Web 标准倡导者长期推行“使用平台”（use the platform）的理念，主张开发者优先采用浏览器原生 API，而非引入第三方 JavaScript 库。前端工程师 Nolan Lawson 从实际开发体验出发，分析了开发者回避原生平台的原因。 浏览器历史上长期落后于社区生态。在旧版 IE 浏览器盛行的年代，开发者依靠 jQuery 等第三方工具弥补浏览器功能的缺失。现代浏览器虽然保持高频更新，但生态惯性仍然存在。开发者习惯在 npm 上检索 React 组件，遇到吸顶定位时往往直接引入外部依赖包，忽视了 CSS 原生的 position: sticky 属性。 许多开发者选择框架是为了解决平台底层的工程缺陷。原生 DOM API 依赖命令式操作，开发者在处理用户交互时需要手动管理节点的增删与隐藏。React、Vue 和 Svelte 等框架通过声明式数据绑定自动处理状态同步，减轻了手动维护状态的心智负担。原生平台的设计将 HTML、CSS 与 JavaScript 割裂在独立文件中，现代组件框架则支持在单一模块中组织结构与逻辑。 原生控件的细节缺陷与 Web Components 的局限 浏览器原生组件在应对复杂业务需求时经常表现出局限性。HTML 原生的 <datalist> 选项列表在跨浏览器适配上存在体验缺陷。原生日期输入控件无法直接支持日期范围选择，强制开发者编写额外的双控件联动校验代码。有团队将 100 KB 的 JavaScript 日期选择器替换为原生的 <input type="datetime-local">，随即收到屏幕阅读器用户的无障碍访问投诉。原生 <dialog> 对话框在 SSR（服务端渲染，服务端预先生成 HTML 的技术）和淡出动画处理上也存在细节兼容问题。 Web Components（Web 组件规范）是平台推行的原生组件模型，但在开发者中引发了广泛争议。Web Components 被设计为底层原语，缺乏内置的状态管理机制。传递复杂数据时，属性只能接收字符串，开发者必须通过对象属性建立额外的赋值通道。Shadow DOM（影子 DOM，用于隔离组件样式与结构的浏览器内部节点树）虽然实现了样式隔离，却切断了全局样式重置机制，导致页面基础样式难以统一复用。 社区探索的欲望路径与底层理解的心理驱动 城市规划领域有一个概念称为欲望路径（desire paths，指行人在没有预设人行道的地方踩出的捷径）。Web 开发者长期通过自研 JavaScript 模式弥补原生平台的不足，浏览器标准组织随后才会参考成熟的社区方案制定新标准，CSS 滚动驱动动画便源于这种自下而上的探索。 自行编写代码具有独特的探索价值和心理驱动力。从零实现一个模态框需要处理焦点捕获、Esc 按键监听与背景滚动锁定，这一过程能促使开发者深入理解平台底层机制。开发者容易对亲手构建的系统产生依赖，形成宜家效应（IKEA effect，个体对倾注心血创造的物品给予更高估值的心理倾向）。 AI 辅助编程正在重塑这一平衡。大语言模型拥有全面的标准库知识，能够根据模糊提示调用匹配的原生 API，减少冗余代码。如果开发者缺乏对底层机制的检验能力，模型也会为了完成任务而大量堆砌多余的辅助函数和过度工程化的 JavaScript 封装，导致代码体积失控。 AI 智能体更需要结构化文档而非向量记忆 向量检索记忆在工程场景下的局限 市面上的 AI 智能体记忆插件，大多基于一套标准的 RAG（检索增强生成，Retrieval-Augmented Generation）架构运转。系统先切分用户的历史会话，提取零散的信息片段存入向量数据库，在每次输入提示词时，检索出相似度最高的几条片段拼接到上下文里。 开发者 Liao 指出，这种机制把理解工程项目的期望押注在向量相似度的抽奖上。嵌入向量距离只代表语义接近程度，无法判断信息是否准确或符合当前代码库的最新状态。零碎的代码片段脱离了当初的具体决策背景，过去的对话记录容易被当作永久真理对待。智能体不知道自己缺失了哪些信息，无法主动发起有效的查询。存放在 SQLite 中的上万条向量记录难以审计，开发者无法直观排查哪些旧记忆正在暗中误导模型。 纯文本 Markdown 架构决策与目录索引 智能体真正需要的是结构化文档。人类工程师在维护项目时不会重听三年前的会议录音，而是查阅记录。目前许多项目仅依赖一个顶层的 AGENTS.md 文件，单一文件容纳的信息量有限。更有效的工作模式是在代码仓库中建立以 Markdown 文件为载体的结构化知识库，记录技术规范、架构决策与第三方接口调研。 整个交互循环从“提示词 - 构建 - 遗忘”转变为“提示词 - 查阅 - 构建 - 更新”。智能体在动手编写代码前先查阅相关文档，完成工作后在当前上下文未清除时更新过时说明。Liao 开发了名为 Operator Memory 的开源工具来实现这套流程，不引入向量检索与后台压缩进程，完全依靠项目内的纯文本。该工具通过为每个作用域配置目录文件，利用 read_if 条件规则让智能体按需读取子索引，避免了全盘扫描。 上下文污染、维护成本与安全边界 社区对依赖文档记录记忆的方案存在不同看法。部分工程师主张代码本身就是最好的文档。在实际开发中维护大量 Markdown 说明往往带来维护负担，随着业务演进，文档很容易脱离实际代码变成陈旧信息。大语言模型处理文档时倾向于不断追加内容而不是删除废弃设定，最终导致无用信息大量堆积，造成上下文污染（Context Pollution）。直接让模型分析声明式代码、类型定义和单元测试反而更加稳定。 支持文档机制的工程师强调代码无法完全说明背后的原因。代码和测试能够呈现系统“做了什么”与“怎么实现”，却无法记录外部约束、跨系统协议以及架构权衡中的“为什么”。当大量代码由 AI 生成且未经人工逐行严谨审查时，用文档明确记录人类的操作意图尤为关键，否则模型在后续重构中容易反复推翻先前的业务约定。 直接让智能体自主编写和更新文档同样存在风险。智能体在生成 ADR（架构决策记录，Architectural Decision Records）时容易过度发挥，臆造未经确认的架构规则。将仓库内的 Markdown 文件直接提权注入系统提示词的做法，还会带来提示词注入（Prompt Injection）的安全风险。一些团队开始严格限制智能体的写入权限，由人类编写规则与意图说明，仅允许智能体在独立的临时工作区读写草稿，或者通过代码检查工具在报错信息中附带修改指南，保持上下文的简洁与可靠。 开源引擎 Strata：消费级显卡运行千亿 MoE 模型 跨硬件分层协同与投机解码加速 开源推理引擎 Strata 实现了在消费级硬件上运行 1250 亿参数的 Qwen3.8-Flash-Next 模型。该模型采用 MoE 架构（混合专家架构，Mixture of Experts），共有 24,576 个专家网络，每生成一个词元仅激活其中 10 个专家，单次计算的活跃参数量约为 60 亿。 Strata 依赖跨硬件协同机制解决显存不足的问题。显卡显存只保留调用频率最高的专家网络，系统内存存储全部专家参数并通过处理器协同计算，固态硬盘存放路由表。引擎结合了投机解码（speculative decoding，利用轻量辅助模块预先猜测词元再由主模型批量验证）技术，使生成速度提升 1.6 到 1.8 倍。 这套方案支持 12 GB 显存以上的显卡，运行内存需求为 32 GB 至 64 GB。官方基准测试中，RTX 5070 配合 64 GB 内存运行 Q2_0 量化版本时，生成速度达到 94 token/s。社区成员在 RTX 4090 搭配 128 GB DDR5 内存的环境中跑出了 124 token/s。用户在 10 GB 显存的 RTX 3080 与 48 GB 内存配置下，使用精简版 Coder 模型也能维持约 30 token/s 的生成速度。AMD 平台的 RX 9070 XT 在 IQ2 量化下测得 65 token/s。 低比特量化在实际基准测试中的精度表现 社区对低比特量化的有效性存在讨论。部分用户认为低于 4 位的量化会损失推理精度，在处理复杂逻辑时容易出错。多位测试者拿出了具体的对比数据。测试显示，运行 Flash-Next IQ3_XXS 量化的 Strata 在代码生成测试集中的通过率为 89.7%，高于运行 Qwen 3.8 27B 稠密模型的 Ninfer（66.7%）。 基于重要性矩阵（imatrix，对关键层保留更高精度以减少压缩损失的量化方法）制作的 IQ3_XXS 版本在 DeepSWE 编程评测中与全精度基线差距在 1 分以内。针对 32 GB 内存优化的 Coder 变体裁切了一半的专家网络，在编程基准测试中保留了原模型约 91% 的水平，但处理中文等多语言任务的能力出现下降。 视觉评测偏差与多任务并发瓶颈 Strata 在视觉与并发场景中暴露出部分局限。在 50 张图像的目标坐标定位任务测试中，相同权重下 Strata 的中位数像素误差为 154.8，而使用 llama.cpp 的误差为 46.5。在多任务处理上，同时处理多个请求会导致显存频繁换页，不同请求激活不同专家网络会破坏显存缓存的命中率，使整体吞吐大幅下降。 关于为何此类 MoE 缓存优化没有合并入主流的 llama.cpp，社区开发者指出，llama.cpp 核心团队对提交代码的人工可读性与跨平台通用性要求极高。Strata 等独立项目大量使用 AI 辅助编写定制算子，能针对特定模型架构快速实现吞吐优化，但这类实现通常难以满足大型通用开源基础库的维护标准。 Jagex 启动基于虚幻引擎的全新《RuneScape》端游研发 突破网格机制与 600 毫秒刷新周期的技术重构 游戏开发商 Jagex 在玩家嘉年华上宣布，正在基于 Unreal Engine（虚幻引擎）研发代号为 RS4 的全新大型多人在线角色扮演游戏。游戏背景设定在吉利诺（Gielinor）世界，剧情承接其生存建造游戏《RuneScape: Dragonwilds》，从第六纪元阿申福尔地区展开。RS4 仍处于早期阶段，距离正式上线还有数年时间。Jagex 强调这是一款并行的独立作品，现有长期运营的《Old School RuneScape》（OSRS）与《RuneScape》（RS3）会保留各自的团队和更新路线。 社区讨论迅速聚焦在更换虚幻引擎的技术考量上。部分老玩家感到困惑，因为画风极度复古的 OSRS 活跃玩家数量长期维持在 RS3 的数倍以上，高精细度画质并不是该系列的核心吸引力。许多游戏开发者指出，转向商业引擎的核心驱动力在于玩法逻辑。RuneScape 原生自研引擎建立在严格的 1 米网格之上，游戏逻辑仅按每 600 毫秒一次的 tick rate（服务器逻辑刷新周期）更新，角色无法实现真正的跳跃、攀爬或平滑的 3D 物理交互。虚幻引擎提供了成熟的网络堆栈与世界编辑器，能够让游戏摆脱点选移动的框架，支持主流现代游戏基于 WASD 键位的自由操控。 编程启蒙情怀与漫长养成机制的时间壁垒 这款老牌 IP 的新作唤起了广泛的技术怀旧情绪。在社区讨论中，不少软件工程师提到自己接触编程的起点，正是当年为了在 RuneScape 里自动伐木或挖矿，用 Pascal 和 Java 编写宏脚本。对于如今步入职场的人群而言，传统 MMO 漫长而枯燥的重复劳动成了阻碍。不少玩家坦言自己已经没有时间花上百个小时对着树木点击升级，甚至有人提议建立允许脚本挂机的官方独立服务器。反对者则认为，这种必须投入时间才能获得满级 99 级的厚重感，恰恰构成了不可替代的角色成就感。 围绕 Jagex 工作室的开发能力，玩家群体持有不同看法。批评声音回顾了工作室过去的商业化教训，包括砍掉科幻题材的衍生项目，以及 RS3 早期引入的长达十年的抽奖微交易系统。看好这一项目的玩家则提到团队近期的转变。OSRS 依靠高门槛的社区投票机制稳定产出高质量内容，团队在《Dragonwilds》中积累了现代工艺经验，RS3 也在逐步缩减微交易。在许多主流在线游戏充斥着赛季重置轮盘与付费买数值的当下，RS4 能否坚持长期永久角色成长与纯粹的内容驱动，成为玩家最关心的核心。 提前生成元数据让 Rust 编译与检查提速近半 接口检查与函数体实现的阶段解耦 开源项目 Headstart 为 Rust 引入了更早期的元数据生成机制，以此提升编译与类型检查的并行度。在当前的 Rust 编译流程中，下游代码包必须等待上游依赖完成全部类型检查，包括所有函数内部的具体实现。实际上，下游代码在做类型检查时，只需要上游暴露出来的对外接口定义，并不依赖其具体的函数体。 Headstart 通过拆分 rustc 的分析阶段，在接口类型检查通过后立刻输出一份 .early-rmeta（包含对外接口定义的早期元数据文件），通知构建工具 Cargo 立即启动下游任务。 在执行 cargo check（代码检查）时，下游代码包可以直接依靠早期元数据运行到结束。在执行 cargo build（完整构建）时，下游代码包会在分析阶段使用早期元数据，进入代码生成阶段（由 LLVM 将中间代码编译为机器码的过程）之前主动挂起，归还构建作业槽位，等待上游写出完整的 .rmeta 元数据并完成替换。如果上游函数体存在类型错误，构建依然会报错中断。Cargo 会丢弃下游无效的输出，保持与现有编译器相同的诊断信息和退出状态。 多核环境下的吞吐收益与推测执行开销 性能测试显示，这套机制在多核空闲场景下收益明显。在 16 核机器上测试 rust-analyzer、zed、bevy 等 13 个真实项目时，cargo check 的耗时缩短了 2% 至 54%，cargo build 缩短了最高 42%。在 OpenAI 的 codex-rs 项目中，早期元数据让原本串行等待的工作空间任务重叠执行，构建速度提升了 37%。在 4 核机器或原本就能打满核心的宽依赖项目中，构建提速幅度随着核心饱和而收窄。 推测执行机制的代价是在构建失败时产生被废弃的下游计算，并占用更多的峰值内存。Rust 在 2019 年就引入了流水线编译（pipelined compilation，允许下游在上游等待机器码生成期间提前开始分析），Headstart 将这一流水线进一步推向前期的类型检查阶段。该项目使用大语言模型辅助编写，目的是以低成本快速验证深度流水线的提速上限。作者已经在与 Rust 编译器团队沟通，后续将根据整体系统设计重新编写实现。 记录的反向启发：二十年长椅档案显影出的城市变迁 镜头下无意识记录的敌意建筑演变 一位接近五十岁的软件工程师在工作之余持续拍摄街头长椅。他在苏格兰阿伯丁、挪威奥斯陆和法国巴黎等地记录了大量没有行人的公共座椅。拍摄时，他只是被这些专门为人设计却空置的物件吸引，或是把长椅当作主体旁边的背景随手记录。 整理这批跨越二十年的档案时，他从这些照片里看到了此前没有注意到的系统性变化。画面里的长椅形态在不知不觉中被重塑：扶手从两端移到了椅面正中央；连贯平整的长条木凳被带有别扭间距的独立单人座取代；椅面加上了不易察觉但让人无法平卧的弧度；座椅整体演变成各种无法躺卧的奇特造型。 这种改造属于典型的敌意建筑（hostile architecture，指通过在公共设施中加入限制性物理结构，阻止特定人群露宿或滞留的城市设计手段，例如著名的 Camden 凳）。城市管理部门在过去数十年间持续重构休息设施，排除无处可去的人。摄影者在全无预设的情况下，完整记录下了这一过程。 长期积累的语料库对创作者的反思促动 持续的记录会沉淀出一个独立的语料库，最终回过头来启发创作者思考。摄影界常受布列松（Henri Cartier-Bresson）等大师影响，倾向于将拍摄描绘为高度受控、充满预谋的决定性行动。人在按下快门时，往往只是视线被某些微小细节牵引，具体的意义解释通常在多年后重审图像时才会浮现。 带着预设观点去拍照容易变成图解既有想法，失去探索的价值。拍摄者在记录长椅时并没有社会批判的意图，只是单纯依照好奇心接纳眼前的实物。单张照片无法呈现宏观趋势，拉开时间距离审视整个作品集，隐藏在细节里的时代脉络才显现出来。 长期归档的价值不仅存在于摄影中，也体现在写日记等日常记录习惯里。留存长期的思考语料，可以让人看清原本被忽略的生活轨迹。回顾历史记录时也需要保持警惕，人们容易用当下的偏好过度解读过去，陷入空想性错视（apophenia，指人在随机、无关的数据中强行寻找规律的认知倾向）。长椅改造这类设施折射出社会治理的现实拉扯，长期留存的真实档案显影了城市公共空间在秩序与包容之间的博弈印记。 相关链接： * Tell HN: Bob Cringely has died * We're going to need default hard budget caps on pretty much everything * The work by Valve's Timur Kristóf on improving old AMD GPUs on Linux * So you think you could be an electrician? * Why don't more developers “use the platform”? * Agents don't need memory, they need documentation * Run Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/s * We're working on a new RuneScape MMO * Emitting metadata early makes building/checking Rust up to twice as fast * Your body of work thinks back at you

欢迎阅读 Agili 的 Hacker Podcast 每日科技简报。今天我们关注从底层芯片逆向到桌面界面范式的技术实践，探讨欧洲开源大模型 Kolibri 的架构取舍，以及早期网络社区跨越三十年的数字留存。 欧洲主权大模型 Kolibri 正式开源 稀疏架构与长文本能力 德国人工智能公司 Aleph Alpha 开源了权重模型 Kolibri。该模型采用 MoE（Mixture-of-Experts，混合专家模型，推理时仅激活部分子网络以降低算力开销）架构，总参数量为 781 亿，但在处理每个 Token（词元，模型处理语言的最小单元）时仅激活约 34.6 亿参数。预训练在德国与芬兰本土的 768 张英伟达 B200 上完成，消耗了 24 万亿词元的语料，权重按 Apache 2.0 协议在 Hugging Face 完整开放。 Kolibri 包含 50 个网络层，每层设有 384 个路由专家与 1 个共享专家，每个词元由 6 个专家协同处理。模型的 50 层中有 40 层采用窗口大小为 512 的滑动窗口注意力，每隔 5 层插入一层全局注意力。这种设计使其原生支持 26.2 万词元上下文，并能延伸至 100 万词元。以 FP8（8 位浮点格式）加载权重需要约 78 GB 显存，部署需要两张 80 GB 显存的显卡，单卡消费级硬件目前无法直接运行。 针对德语与工业场景的深度定制 训练语料中超过 20% 为德语原生内容，团队特意将英文机器翻译文本的占比压低至 6%，避免产生语言习惯失真。模型配备了包含 12.8 万词表的 UniBPE 分词器，专门适配德语复杂的长复合词结构。在针对《德意志联邦共和国基本法》的测试中，该分词器比通用分词器少消耗 15% 的词元，降低了计算开销。 为了减少大模型在事实问答中的胡编乱造，研发团队引入了 Merlin-Arthur 对抗协议，在训练阶段自动隐藏部分答题证据，训练模型比对文档证据。在面对信息缺失的问题时，Kolibri 主动说明不知道或仅作部分回答的比例达到 44%。柏林夏里特医学院正在测试将其用于本地门诊预检系统。 主权合规诉求与技术权衡 欧洲公共机构、汽车制造和工业企业面临欧盟《人工智能法案》（EU AI Act）与通用数据保护条例（GDPR）的强力约束，对数据处理地和审计透明度有严格标准。Aleph Alpha 同步公开了长达 189 页的技术报告，详述了清洗流程与消融实验。虽然它在脱离外部文档的独立代码编写和通用推理上逊于部分头部密集模型，但在需要保护商业机密与本地内网部署的 RAG（Retrieval-Augmented Generation，检索增强生成）场景中，它为受监管行业提供了一个技术掌控权明确的选项。 在苹果 M4 芯片上引导 Linux 的逆向工程突破 绕过硬件安全监视器 独立开发者 Yuka 记录了在配备 M4 芯片的 Mac mini 上首次成功引导 Linux 的完整排错过程。M4 芯片强制启用了 SPTM（Secure Page Table Monitor，安全页表监视器），限制了虚拟机监控器对内存映射的追踪。开发者直接在物理硬件上推进引导工作，利用串口输出底层调试日志。 启动初期，m1n1 引导器遭遇频繁崩溃。排查发现 M4 锁定了异常保护功能，并禁止修改复位向量寄存器。当内核启用 MMU（Memory Management Unit，内存管理单元）后，原先串口使用的物理地址失去了等值映射，导致系统在寻址未映射空间时死机。通过在初始页表中补全内存映射，内核代码终于打印出了基础终端信息。 硬件特性：待机清空寄存器的 WFI 指令 多核心（SMP）启动时遇到了硬件层面的反常现象。ARM 规范中的 WFI（Wait For Interrupt，等待中断）是一条用于让 CPU 核心进入低功耗待机的指令，按标准不得破坏架构状态。苹果芯片的硬件设计让核心在执行 WFI 待机时直接抹掉全部通用寄存器。 在 M1 至 M3 代际中，固件利用被称为 Chicken bit（芯片厂商预留的硬件功能开关）的寄存器关闭了该行为。M4 芯片移除或锁定了这个开关，导致 CPU 空闲休眠后唤醒就会因寄存器归零而系统崩溃。 修复机制合并入主线内核 开发者在验证阶段将内核中的 WFI 指令全部替换为无操作指令，验证了全核心驱动的可能性。为了形成标准化的长期方案，Linux 内核维护者建议引入专用的引导参数。现在，m1n1 引导器在识别到 M4 硬件时会自动注入空闲状态控制参数，绕开有缺陷的待机逻辑。这套修复方案已被合入 Linux 主线内核和 m1n1，确保了 M4、M4 Pro、M4 Max 乃至后续 M5 芯片对多核 Linux 系统的正常支持。 Cloudflare 推出 OHTTP 网关以剥离用户网络指纹 双跳架构隔离身份与内容 Cloudflare 正式发布 OHTTP Gateway（网关服务），支持 IETF 制定的 OHTTP（Oblivious HTTP，不经意 HTTP）标准。该技术让应用服务器在接收客户端 HTTP 请求时，无法获取访问者的真实 IP 地址与底层 TLS 网络连接特征。 传统网络请求会将客户端 IP 直连暴露给目标服务器。OHTTP 通过双跳信任分离机制切断关联：客户端使用 HPKE（Hybrid Public Key Encryption，混合公钥加密）对请求内容实施端到端加密，数据先经过中继（Relay），再到达网关（Gateway）。中继负责剥离客户端真实 IP，但看不到加密内容；网关负责解密请求并将其转发给后端，但只能看到中继节点的 IP。全流程中没有单一方能同时掌握访问者身份与具体请求。 补齐去中心化信任拼图 Cloudflare 此前已为苹果的私密计算和健康应用 Flo 提供中继服务。如果应用服务器部署在 Cloudflare 本身，继续使用其官方中继就会打破信任隔离，让同一家公司同时接触元数据与明文。本次上线的 Gateway 允许开发者将服务部署在 Cloudflare 边缘节点，同时接入合规的第三方中继。网关配置了防作弊机制，主动拒绝来自 Cloudflare 内部中继的解密请求，防止单主体破坏双跳隔离。 边界与实际防御考量 OHTTP 主要在网络传输层发挥作用。如果应用代码在请求内容里携带了登录凭据，或者前端网页加载了第三方跟踪脚本，用户的行为仍然会被标记还原。随着黑客普遍使用住宅代理池绕过 IP 封禁，依赖客户端真实 IP 进行防火墙拦截的效果正在减弱，推动更多团队转向零信任令牌认证。这项服务降低了应用开发者存储敏感 IP 日志的合规压力，但也让全球网络流量的去标识化处理进一步聚集到头部 CDN 基础设施上。 Kagi 停止维护 Linux 与 Windows 版 Orion 浏览器 集中资源保全 Apple 生态 独立搜索引擎服务商 Kagi 宣布停止自主开发 Linux 与 Windows 版本的 Orion 浏览器，并计划在 30 天内公开对应代码分支，交给开源社区接管。Linux Beta 版本在 10 月 2 日停止接收官方更新，原定的 Windows 官方版本取消推出。团队后续将所有研发资源收缩至 macOS 和 iOS 版本。 Orion 避开了主流的 Chromium 架构，基于 WebKit（苹果 Safari 使用的网页排版引擎）独立构建。Kagi 是一家完全依赖订阅会员收入、没有外部风险投资支撑的小型团队。同时在三个不同的桌面操作系统上维护复杂的浏览器排版引擎和扩展适配，过度分散了有限的人力。 社区对开源交接的顾虑 Orion 在 Apple 生态内拥有明确的用户群，它继承了 Safari 的低功耗与响应速度，同时在 iOS 端实现了兼容 Chrome 与 Firefox 插件的能力。在非 Apple 平台上，团队的技术积累难以快速克服跨平台移植的兼容性缺陷。 针对这次开源移交，部分开源开发者认为，Kagi 仅开源了缺乏维护的非 Apple 分支，核心的 macOS 版本依然闭源，缺乏主线代码对齐会让社区在维护 WebKit 同步更新时举步维艰。许多 Kagi 搜索的付费会员赞成团队的主动收缩，他们认为团队近两年涉足浏览器、AI 写作助手等多个周边项目，分散了主营搜索业务的精力，回归主业有助于提升核心搜索的索引质量。 把终端复用工具 tmux 的逻辑重塑为桌面操作系统 传统重叠窗口与多屏断层的痛点 科技作者 Mat Duggan 探讨了现代桌面操作系统交互范式的滞后。现代界面的重叠窗口设计源自数十年前低分辨率单一显示器的硬件环境。现代知识工作者每天频繁在笔记本单屏与多显示器扩展坞之间切换，拔掉线缆时，操作系统会将所有排布好的窗口粗暴堆叠在小屏幕上，打断工作流程。现代网页浏览器也成为了一个庞大的封闭子系统，参考文档的网页标签页被困在浏览器内，无法与代码编辑器或通信工具自然组合在同一个具体任务中。 无限画布与任务式工作区 该设想借鉴了开发者常用的 tmux（终端复用工具，可在一个终端界面内管理多个会话并在后台持久保留运行状态）以及平铺窗口管理器。整个操作系统桌面被视为一张横向无限延展的水平画布，物理显示器仅是移动的取景框。 窗口按任务排布为垂直列，浏览器中的各个网页标签页可以拆解为独立部件，与本地应用程序共同编排进以具体任务命名的集合中。系统利用基于 MCP（Model Context Protocol，模型上下文协议）的小型本地模型，通过自然语言指令协助用户生成布局建议，避免传统平铺管理器依赖复杂配置文件的门槛。 空间记忆与状态淘汰的现实矛盾 作者在 Linux 原型实现中发现了多项难以调和的工程难题。为了让系统根据用户注意力自动判断主副屏幕并合理迁移视口，操作系统必须持续采集键盘焦点与停留时间，这引入了高权限后台监控的隐私隐患。 系统为了保护空间记忆采用“仅向边缘追加”的排列逻辑，禁止系统擅自打乱或关闭旧应用，这导致无限画布随着时间推移单调膨胀，演变成堆满无用窗口的无限长桌。如何在不打乱人类空间定位直觉的前提下，设计出一套类似垃圾回收的窗口休眠与淘汰机制，是桌面界面走出传统重叠窗口范式需要克服的根本障碍。 C++ Insights：通过编译器视角审视源码 还原隐式代码与现代特性 Andreas Fertig 开发的开源工具 C++ Insights 是一个基于 Clang 的源码转换工具。它解析编译器的 AST（Abstract Syntax Tree，抽象语法树），将编译器在后台静默生成的隐藏代码还原成开发者可以直接阅读的标准 C++ 源码。 在类的继承体系中，工具会显式打印出编译器自动合成的默认无参构造函数、拷贝赋值操作符，以及在派生类向基类转换时插入的隐式静态转换。面对现代 C++ 特性，它能将 Lambda 表达式展开为底层的匿名类结构体和变量捕获指针，将基于范围的 for 循环还原为迭代器的解引用循环，并给出 auto 与 decltype 推导出的精确类型定义。该工具还支持展开 C++20 协程生成的内部状态机，并提供网页端和各类编辑器插件。 抽象语法树阶段的中间状态 这项工具引发了关于现代编程语言复杂度的技术交流。有开发者提出，当一门语言的常规逻辑需要依赖语法树展开工具才能看清执行路径时，说明语法抽象可能过于繁琐。 现代编译器在构建目标代码时都会经历“降低”与“脱糖”的过程，Python 的装饰器包装、Rust 的宏展开以及各类高级语言对异步调用的封装都会在底层生成大量模板结构。C++ Insights 的价值在于打破编译器黑盒，把 Clang 抽象语法树阶段的中间状态以原始语言的形式可视化，为教学理解和疑难排错提供了直观依据。 独立创意社区 Newgrounds 运营三十年的数字留存 借助 Rust 模拟器保护 Flash 资产 独立创意社区 Newgrounds 自 1995 年上线以来，始终保持着创作者上传小游戏、动画和原创音乐的独立形态。在主流浏览器停用 Adobe Flash 插件后，社区全面集成了 Ruffle（一款基于 Rust 语言编写的开源 Flash 模拟器）。用户无需安装任何插件，即可直接在现代浏览器中运行二十年前的互动作品。 早期的 SWF 格式文件为了适配拨号上网，体积通常仅有数十到数百千字节。Ruffle 运行时本身虽然需要加载约 10MB 的 WebAssembly 数据包，在现代网络带宽下这种开销几乎无感，使得大量早期个人创作者的数字资产得以免于随技术淘汰而消失。 远离商业并购的独立样本 讨论对比了早期轻量网页作品与现代移动游戏的区别。二十年前的独立网页游戏没有动辄数百兆的资源下载，没有抽卡机制和密集的应用内购买，展现了纯粹的创作动机。如今借助 WebAssembly（一种在浏览器中运行高性能代码的二进制指令格式）和 WebGL，轻量级免安装游戏正在重新获得玩家青睐。 Newgrounds 保持独立运营的关键在于其流量巅峰期恰好避开了科技巨头的资本并购潮。免于被大公司收购整合，加上适度的社区自治审核机制，让这个走过三十年的社区保留了早期互联网罕见的创作风貌。 NFL 主教练 Mike Tomlin 在《我的世界》中建造十二年的城市 手柄逐块搭建的粗野主义都市 前 NFL（美国职业橄榄球大联盟）匹兹堡钢人队主教练 Mike Tomlin 公布了一段 19 分钟的视频，展示了他在沙盒游戏《我的世界》中耗时 12 年独自建造的虚拟都市。Tomlin 执教钢人队 19 个赛季，任内从未经历过胜少负多的赛季，并在 2009 年夺得超级碗冠军。 整座城市围绕开阔水域展开，包含高层公寓、精品酒店、露天水族馆和观景天台。在十二年间，他完全在主机平台的创造模式下，使用游戏手柄逐块放置所有方块。随着游戏历次更新，他的建材从早期的萤石方块，逐步加入了提灯、珊瑚与营火。他根据生活经验为公共建筑配置了合理比例的洗手间通道，展现了粗野主义建筑的平实结构。 职业重压下的专注调剂 在每周工作时间普遍超过 60 小时的职业体育竞技行业，维持这种高耗时爱好引发了体育与技术圈的讨论。Tomlin 解释，自己最初接触游戏只是为了陪伴年幼的孩子，随后这项爱好演变成他在严苛赛季压力下脱离赛场、放空思维的调节手段。与使用脚本批量生成地图不同，用低灵敏度的主机手柄一块块铺设砖石，更像是一种沉浸式的慢工手艺，将职业战术家高度敏感的空间规划能力投射到了平静的虚拟世界中。 Extra Big Ass Intelligence：用荒诞电影戏仿 AI 淘金热 借《蠢蛋进化论》解构技术炒作 讽刺网页 Extra Big Ass Intelligence（超大屁股智能）将 2006 年讽刺科幻电影《蠢蛋进化论》（Idiocracy）的荒诞设定，与当下的生成式人工智能热潮融合在一起，戏仿了技术炒作。 页面充斥着早期互联网泛滥的弹窗广告排版，塞满了戏谑的标语：“同城 35B 模型想找你聊天”、“AI 抑郁？申请多巴胺注射补贴”，以及“免费领钱（自动扣除订阅费）”。作者搬用了电影里的经典元素，例如代替水去灌溉庄稼的电解质饮料 Brawndo，并在页脚实时统计“今日浪费的浮点运算次数（TFLOPS）”，指向算力消耗与低质内容的矛盾。 垃圾生成与算力消耗的工程现实 网页虽然顶着复古混乱的视觉排版，其文本结构却带有鲜明的大模型生成特征，形成了一种微妙的自我嘲弄。借助当前的视频与文本生成模型，工程体系已经能够以极低成本全天候生成无意义的流水线内容。电影中那个 24 小时播放低俗整蛊节目的荒谬电视台，正在当下算法推荐与生成工具的催化下变成真实的技术现实。 相关链接： * Newgrounds.com – A community of games, music, and art * Extra Big Ass Intelligence * Cloudflare OHTTP gateway * Mike Tomlin spent 12 years building a Minecraft city * The Forgetful CPU (Linux on M4) * Kolibri: A Sovereign Open-Weight Model * An Update on Orion for Linux and Windows * Make Tmux the OS * Aleph Alpha Kolibri: How the sovereign German LLM works * C++ Insights – See your source code with the eyes of a Compiler