Agili 的 Hacker Podcast 2026-10-03

2026年10月3日

欢迎阅读 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 小时播放低俗整蛊节目的荒谬电视台，正在当下算法推荐与生成工具的催化下变成真实的技术现实。

播客全文

女：Hello 大家好，欢迎收听 Agili 的 Hacker Podcast，我是莓莓。

男：大家好，我是阿迪。

女：今天咱们聊几个挺有意思的事儿。阿迪，你听说前 NFL 匹兹堡钢人队的主教练 Mike Tomlin 在游戏里盖楼的新闻了吗？

男：听说了。Tomlin 执教 19 个赛季从没打过败仗多于胜仗的赛季，还在 2009 年拿过超级碗冠军。前阵子他儿子 Dino 帮他录了一段 19 分钟的视频，向外界展示他在《Minecraft》（我的世界）里建的一座虚拟大都市，整整建了 12 年。

女：在电视采访里随口提了一句，视频发出来当晚就超过 26 万人看。在很多人印象里，职业橄榄球教练每周工作超过 60 个小时，怎么会有闲心玩这么久的游戏？

男：他在主机平台的 Creative mode（创造模式，允许玩家无限使用物资并自由飞行的游戏机制）里，用手柄逐块放方块。整座城市靠着水系展开，有滨海酒店、高层住宅群和水族馆。老版本光照机制不足，他就设计大面积天窗、萤石块和提灯补光；后来游戏版本加入了营火和珊瑚，他又把卧室重新铺设了一遍。他还根据现实生活经验，给公共场所设计了合理数量的洗手间。

女：主机手柄转动视角偏慢，手动搭建这么大一座城市耗费的时间比键鼠多得多。现在用脚本或者地图工具几秒钟就能生成一整片街区，他却坚持一块一块去放。

男：这像是一种慢工手艺。Tomlin 说自己不爱看电视，最初只是陪年幼的孩子玩，后来成了他在严苛赛季压力下放空大脑的方式。顶尖体育人经常有这种习惯，比如当年马刺队的 Tim Duncan 和 David Robinson 在打 1999 年 NBA 总决赛客场期间联机打《星际争霸》（StarCraft）。战术家的大脑习惯了复杂的空间战术，在虚拟世界里手工堆方块，能找到完全脱离赛场的专注与平静。

女：说起这种手艺人式的慢工，最近另一个引发许多人感慨的是老牌创意社区 Newgrounds。从 1995 年上线到现在，居然独立运营了三十年。

男：创始人 Tom Fulp 读大学时把身边的同学做成简易射击游戏角色，后来退学专心做网站。好多开发者发现，自己二十年前中学时期随手上传的代码、Flash 动画或者音乐，至今完好地保存在个人主页里。

女：很多人还记得当年那个由社区用户投票淘汰作品的“blam”机制。而且对比现在的手机游戏，动不动几个 G 的安装包，满屏都是开箱、抽卡和强制广告。当年的网页游戏只有几十到几百 KB，点开就能直接玩。

男：Adobe Flash 淘汰之后，Newgrounds 集成了 Ruffle（一个基于 Rust 语言编写的开源 Flash 模拟器）。不用安装插件，在现代浏览器里就能玩《Pico's School》或者看《Salad Fingers》。当年的 SWF 文件适应拨号网络，体积小；Ruffle 运行时本身虽然大约有 10MB，在现代网络带宽下几乎没有加载感知。现在不少独立开发者借助 WebAssembly（一种在浏览器中运行高性能代码的二进制指令格式），重新把轻量网页游戏带了回来。

女：Newgrounds 幸运的地方在于，它在科技巨头四处并购整合之前度过了流量巅峰，避开了被大公司买下再关停的宿命，留住了早期互联网那种自由松弛的社区氛围。

男：对比那种自由创作的纯粹，现在的互联网充斥着技术炒作。最近社区里流传一个讽刺网页，叫 Extra Big Ass Intelligence（超大屁股智能），把 2006 年的科幻喜剧电影《蠢蛋进化论》（Idiocracy）和生成式 AI 绑在了一起。

女：我看过那个页面，排版故意做得跟千禧年早期的垃圾弹窗一样，满屏都是“同城 35B 参数模型想找你聊天”、“AI 抑郁了？试试补贴多巴胺注射”。

男：还有电影里的经典桥段，比如能替代水去浇庄稼的电解质饮料 Brawndo，以及全天候播放低俗节目的电视台。页面底端还挂着一个计数器，统计“今日浪费的浮点运算次数（TFLOPS，每秒万亿次浮点运算）”。

女：电影里那位由摔跤手当选的总统虽然笨拙粗鲁，但为了解决粮食危机，好歹愿意主动寻找聪明人帮忙。现在的很多技术决策反而透着盲目。

男：页面文案虽然带着早期个人网站的复古风格，文本组织方式却透着 LLM（大语言模型，Large Language Model）生成的味道，带上了一层自嘲。现在很多视频生成工具和算力储备，已经能不间断生成无意义的内容，电影里那种荒诞电视台正变成现实。

女：聊到算力消耗和垃圾内容，德国的 AI 公司 Aleph Alpha 在德国统一日发布了一个开源模型，叫 Kolibri，走了一条务实的产业路线。

男：Kolibri 是一个 MoE（Mixture-of-Experts，混合专家模型，即推理时仅激活部分子网络以降低算力消耗）架构。总参数量 78B（780 亿），生成每个 Token（词元，模型处理语言的最小单位）时仅激活 3.46B 参数。团队在 768 张英伟达 B200 上完成了 20T 词元的预训练，支持最高 1M 词元的长上下文，权重按 Apache 2.0 协议完整开源。

女：他们主打欧洲本土受监管行业的“主权模型”（Sovereign Model），面向汽车制造、半导体和公共行政。这些企业对欧盟《人工智能法案》（EU AI Act）和 GDPR 数据合规要求很死，数据绝不能出内网。

男：语料里有 21.3% 是德语原生内容。工程师特意把英文机翻成德语的比例压缩到 6%，防止美式文化和机翻腔调污染语料。德语里很多长复合词容易被通用分词器切碎，他们做了 UniBPE 分词器，在处理德国基本法长文本时比通用分词器少消耗 15% 的 Token。

女：针对大模型胡说八道的问题，他们还搞了一个 Merlin-Arthur 对抗协议，在训练阶段故意隐藏证据，逼着模型在信息不足时承认“我不知道”。在防幻觉测试里，拒答准确率达到了 44%。

男：不过 MoE 架构在部署上有物理成本：虽然计算只调用 3.46B 参数，速度快，但显存里得常驻完整的 78B 权重。以 FP8 精度跑，至少需要两张 80GB 显存的显卡，普通笔记本电脑很难在本地加载。

女：欧洲对数据驻留和隐私的要求，也推着网络基础设施发生变化。Cloudflare 最近发布了 OHTTP Gateway（网关服务），也是想在网络传输层帮用户切断身份追踪。

男：它基于 IETF 的 OHTTP（Oblivious HTTP，不经意 HTTP）标准。核心思路是利用 HPKE（Hybrid Public Key Encryption，混合公钥加密）把请求加密，采用中继与网关双跳分离的架构。客户端先把加密请求发给中继（Relay），中继剥掉用户的真实 IP 和 TLS 连接指纹，但中继看不到内容；随后中继把请求转给网关（Gateway），网关负责解密，但只能看到中继节点的 IP。

女：等于中继知道你是谁、但不知道你要干什么；网关知道你要干什么、却不知道你是谁。没有任何一家服务器能把你的身份和行为完整拼凑起来。

男：苹果的私密云端计算和女性健康应用 Flo 的匿名模式之前就在用 Cloudflare 的中继。这次 Cloudflare 补齐了网关服务，开发者可以把业务挂在 Cloudflare 边缘节点，配合外部第三方中继接收请求。网关还会主动拒绝对接自家的内部中继节点，从规则上防止一家公司既做中继又做网关。

女：不过如果网页代码里依然夹带了第三方分析脚本，或者请求内容里带了登录账号，光在网络层剥离 IP 还是防不住追踪。

男：确实。而在硬件控制权层面，底层开发者最近也打了一场硬仗。Asahi Linux 团队的独立开发者 Yuka 成功在配备苹果 M4 芯片的 Mac mini 上引导了 Linux 系统。

男：M4 强制启用了硬件层面的 SPTM（Secure Page Table Monitor，安全页表监视器），以前靠虚拟机监控器抓取 MMIO（Memory-Mapped I/O，内存映射输入输出）轨迹来分析驱动的方法失效了，只能在真实机器上盲调。

女：调试初期屏幕不亮，串口也没有任何输出，真是在黑暗里摸索。

男：Yuka 靠着底层汇编强行向串口写字符，二分法排查，发现系统开启 MMU（Memory Management Unit，内存管理单元）后崩溃了，因为原先的 MMIO 物理地址失去了映射。最棘手的是多核启动：ARM 架构里有一条低功耗待机指令叫 WFI（Wait For Interrupt，等待中断）。按规范 WFI 不能改变寄存器状态，但苹果芯片执行 WFI 时会直接清空 x0 到 x31 的通用寄存器。

女：待机一次就把通用寄存器清空？那 CPU 醒过来岂不是把正在算的数据全丢了？

男：系统会瞬间崩溃。M1 到 M3 时代，固件里有一个被称为 Chicken bit（硬件特性开关，允许芯片厂商临时关闭特定功能）的寄存器开关可以关掉这个行为，M4 却把这个开关锁死了。Yuka 一开始只能把内核里的 WFI 指令替换成 NOP（空操作），后来和 Linux 内核维护者商量，做了一套动态参数注入机制，在检测到硬件缺陷时避开盲目待机。这套补丁现在已经合并进了 Linux 主线内核。

女：很多人看重苹果芯片的高单核性能与低功耗，想拿来跑纯净的 Linux。但说到做跨平台软件，做独立搜索引擎的 Kagi 最近却在做减法：他们决定停止自主维护 Linux 和 Windows 版本的 Orion 浏览器，把代码交给开源社区，团队精力收缩回 macOS 和 iOS 平台。

男：Orion 是一款基于 WebKit（苹果 Safari 使用的开源网页排版引擎）构建的浏览器。Kagi 是个靠订阅维持的小团队，没有外部风投资金支持，几个人同时维护三个平台的浏览器，工程力量分散得很厉害。

女：在 iOS 上，Orion 能保留 Safari 的低功耗，同时还能安装 Chrome 和 Firefox 的扩展插件，这个点确实抓得准。但在桌面端，像 1Password 这样的常用密码插件一直有兼容问题。

男：不少 Kagi 的付费用户挺支持这次断舍离。大家付费主要是为了免受广告干扰的搜索体验，团队前两年铺设了 AI 助手、翻译和多平台浏览器，战线拉得太长。把非核心代码移交开源，集中精力修补主搜体验，对小团队来说是务实的生存策略。

女：聊完浏览器的取舍，再聊聊操作系统界面的交互设计。科技作者 Mat Duggan 最近写了一篇文章，反思我们日常用的窗口管理方式。不管是 Windows 还是 macOS，现在的图形界面依然沿用了几十年前硬件受限时留下的重叠窗口逻辑。

男：他想把终端开发者常用的 tmux（终端复用工具，允许在单个界面中管理并保留多个工作会话）逻辑做成图形化桌面。现在的办公场景里，大家经常在笔记本单屏和外接多显示器之间切来切去。一拔掉扩展坞，原来摆得好好的窗口就会混乱地堆在一起，强迫用户手动重新缩放。

女：而且很多应用像孤岛一样，你在写文档时参考的几个网页标签页被死死锁在浏览器内，没办法和编辑器自然组合成一个统一的任务场景。

男：Mat 的设想是把桌面做成一张无限延展的水平画布，窗口按列平铺，屏幕只是投射在画布上的取景框。他甚至设想利用 MCP（Model Context Protocol，模型上下文协议）接入本地小语言模型，用一句话让系统帮你整理工作区。

女：听起来很理想，但作者自己做原型时也撞了墙。比如系统为了自动判断用户在关注哪个屏幕，就必须持续监控鼠标焦点和停留时间，这就带来了隐私风险。如果桌面只追加新窗口、不主动清理旧窗口，画布随着时间推移就会变成堆满陈年杂物的无限长桌。

男：没有合理的淘汰清理机制，纯粹的空间记忆反而会变成负担。看完了上层的桌面抽象，再看回编程语言本身的抽象，也是一样的道理。开发者 Andreas Fertig 做了一个开源工具叫 C++ Insights（cppinsights.io），专门用来展示编译器在后台生成的隐式代码。

男：它基于 Clang 的 AST（Abstract Syntax Tree，抽象语法树）。你在网页里输入一段现代 C++ 代码，它会把语法糖全部还原。比如写一个 Lambda 表达式，它会把背后生成的具体闭包类、捕获的变量和操作符重载完整展示出来；面对基于范围的 for 循环，它能展开底层迭代器的调用细节，连 C++20 协程里的状态机转换也能一览无余。

女：很多初学者看到展开后的复杂代码都会吃惊。如果日常写的代码需要靠反编译工具才能看懂原本的含义，是不是说明语言的语法设计本身太繁琐了？

男：很多现代语言编译器都会执行“脱糖”（desugaring，把复杂语法糖转换为基础语法）和“降低”（lowering，将高级语法抽象逐级转化为更简单的底层结构）。Python 的装饰器或者 Rust 的宏展开，后台都会生成大量底层指令。C++ Insights 的价值是打破黑盒，把编译器原本隐藏的中间状态直接转换成可读的源码，排查隐晦 bug 和理解语言规范时特别管用。

女：今天我们从耗时 12 年手搭方块的橄榄球教练聊到 Flash 社区，再从底层 CPU 寄存器 bug 聊到编译器的语法展开，技术演进虽然总有杂音，但底下这群较真的人总能带来让人踏实的进展。

男：保持耐心，看清系统下面的运作细节，总能发现朴素的技术乐趣。

女：感谢大家的收听，欢迎使用泛用型播客客户端订阅我们的节目，我们下期再见！

男：下期再见！