{"source":{"id":"mb-20260829-bd0a21","title":"Docker 容器里的 root 权限，和整台物理服务器的生杀大权之间，其实只隔着一个内核漏洞","url":"https://mubeitech.com/p/mb-20260829-bd0a21"},"method":"semantic-similarity","count":6,"items":[{"rank":1,"id":"mb-20260823-9499fe","account":"mubei","brand":"","title":"一位在科技行业拥有 20 年经验的安全工程师，在 eBay 上花 114 美元买了一台全新的亚马逊平板","summary":"一位在科技行业拥有 20 年经验的安全工程师，在 eBay 上花 114 美元买了一台全新的亚马逊平板","body":"一位在科技行业拥有 20 年经验的安全工程师，在 eBay 上花 114 美元买了一台全新的亚马逊平板。\n为了真正掌控这台设备，他又花了 266 美元，调用了四个大模型，跟系统缠斗了整整五个月。\n买下硬件只要 114 美元。\n拿回设备的完整主权，却要额外付出一倍半的算力账单。\n这件事为什么发生？\n你全款买回家的硬件，在软件逻辑里到底算不算你的财产？\n为什么一台出厂四年的低端设备，在极客社区被公认封死了底层启动引导，\n却被几个大模型在几天内用几百条提示词撕开了缺口？\n这里运转着两台咬合在一起的机器。\n第一台是消费电子巨头维系了二十年的硬件封建制。\n第二台是被大语言模型彻底颠覆的逆向工程成本曲线。\n什么是硬件封建制？\n你在商店里买断了物理硬件，但在底层系统里，你始终只是个租客。\n厂商在芯片里焊死启动保护，在系统里写进不可卸载的服务。\n这台用来做智能家居中控的平板，每天被亚马逊后台进程强制关机。\n当工程师尝试关闭这些进程时，系统直接弹出一行拒绝提示：无法禁用受保护的系统包。\n硬件的物理外壳放在你的客厅，但设备的最高控制权依然留在西雅图的服务器里。\n在法律层面，美国数字千年版权法第 1201 条明确豁免了平板越狱：\n用户为了移除不需要的软件而获取自有设备最高权限，完全合法。\n但在现实中，法律赋予的权利，被巨大的技术壁垒死死挡在门外。\n过去要攻破这种闭源系统，需要顶尖研究员耗费数百小时去逆向固件、比对二进制、调试内存竞态。\n面对一台百元平板，没人会投入数十万美元的专家工时。\n大厂商构筑的数字高墙，本质上建立在攻防成本的不对称上。\n大模型把这种不对称彻底砸碎了。\n在最初的五个月里，美国的顶级模型因为一刀切的安全防护策略，在关键时刻切断了协助。\n工程师转而接入了国产大模型。\nKimi K3 在接到任务的第一刻，先在内部推导了合规边界：\n这是用户的自有设备，属于合法越狱范畴。\n随后，它直接解包了亚马逊官方固件的内核二进制文件，\n在驱动代码中逐一排查漏洞，精准锁定了 CVE-2022-38181。\n这是 GitHub 安全实验室研究员 Man Yue Mo 在 2022 年披露的 Arm Mali 图形驱动内存释放后重用漏洞。\n在 30 个小时、621 轮交互里，Kimi 顶着 500 多次内核崩溃，硬生生拼出了物理内存写入链条。\n随后，GLM-5.2 修正了关键逻辑错误，\n刚发布的 GLM-5.3 则在第一天仅用 8 小时就彻底攻破了 SELinux 防护，拿下了最高权限。\n但整个过程中最耐人寻味的，是模型在破局后的判断。\n当最高权限被攻克时，GLM-5.3 明确指出：\n你的目标从来不是拿权限本身。\n真正的目的，是阻止亚马逊强行关机，把后台监控软件彻底清出设备。\n它利用临时权限，精准移除了 100 个亚马逊预装后台与遥测组件，\n同时完整保留了系统分区，避免设备变砖。\n它留给工程师的最后一句话是：你拥有了这台设备。\n这正是整个事件在 Hacker News 上引发轰动的原因。\n过去需要资深专家耗费数月攻坚的逆向工程，如今变成了每小时几美元、可以随时租用的标准化算力。\n人类工程师不需要再去手写内存偏移量，\n核心价值变成了战略方向的把控、上下文调度，以及在模型遇到瓶颈时的切换决断。\n当防御方的固件壁垒遇到不知疲倦、能连续试错数百次的大模型集群，\n依靠工时不对称建立起来的技术特权正在迅速贬值。\n当赎回一台设备所有权的代价只要两顿饭钱，\n那些被厂商写死在硬件里的霸王逻辑，还能维系多久？","category":"科技","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-08-23 18:17:14","created_at":"2026-08-23 18:17:14","url":"https://mubeitech.com/p/mb-20260823-9499fe","markdown_url":"https://mubeitech.com/p/mb-20260823-9499fe/markdown"},{"rank":2,"id":"2091556926572187949","account":"mubei","brand":"@mubei","title":"搭建家庭服务器，最容易踩的坑就是过度配置。 查至强处理器，算128G内存，浏览器开40个标签页，最后什么都没买。 绝大多…","summary":"搭建家庭服务器，最容易踩的坑就是过度配置。 查至强处理器，算128G内存，浏览器开40个标签页，最后什么都没买。 绝大多数人的折腾，在开机前就夭折了。 真正能跑起来的方案，往往朴素得多。 这套集群，用的是惠普淘汰的办公微型小主机。 企业换代时在eBay上一托盘一托盘甩卖，准系统单…","body":"搭建家庭服务器，最容易踩的坑就是过度配置。\n查至强处理器，算128G内存，浏览器开40个标签页，最后什么都没买。\n绝大多数人的折腾，在开机前就夭折了。\n\n真正能跑起来的方案，往往朴素得多。\n这套集群，用的是惠普淘汰的办公微型小主机。\n企业换代时在eBay上一托盘一托盘甩卖，准系统单台只要50美元。\n塞进16G内存和256G固态硬盘，直接满血复活。\n\n整套6台小主机，一次性硬件成本只要300美元。\n35瓦的低功耗芯片，6台全部待机，总功耗还不到100瓦。\n算下来电费基本可以忽略。\n\n底层怎么玩？\n不上臃肿的原生K8s组件，直接跑轻量级的k3s。\n单个二进制文件搞定，512兆内存就能起步。\n三台机器做主节点凑齐3个etcd成员，挂掉一台集群照样稳稳运行。\n\n看看这6台小盒子的实际负载。\n跑着17个命名空间，173个Pod容器。\n整体CPU待机占用率，只有4.6%。\n\n同样规模的集群如果搬到亚马逊AWS云上，一年账单要9636美元。\n自己在家里搭，300美元一次性买断。\n差出了三十多倍的费用。\n\n其实这套系统的起点，不过是一台快被扔进壁橱吃灰的老游戏电脑。\n别总想着一步到位去规划专业机柜。\n最适合起步的机器，就是你手边已经在吃灰的那台。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2091792205136441806","translated_status_id":"2091792205136441806","published_at":"2026-08-24 05:34:11","created_at":"2026-08-24T07:16:10+02:00","url":"https://mubeitech.com/p/2091556926572187949","markdown_url":"https://mubeitech.com/p/2091556926572187949/markdown"},{"rank":3,"id":"mb-20260822-92f18d","account":"mubei","brand":"","title":"2022 年，四个 20 出头的 MIT 学生在宿舍里捣鼓一个做机械工程 CAD 的小项目","summary":"2022 年，四个 20 出头的 MIT 学生在宿舍里捣鼓一个做机械工程 CAD 的小项目","body":"2022 年，四个 20 出头的 MIT 学生在宿舍里捣鼓一个做机械工程 CAD 的小项目。\n到了 2026 年 8 月，SpaceX 用 600 亿美元全股票完成了对这家公司的收购。\n这四个年轻人摇身一变，成了身价百亿的超级富豪。\n社交媒体上所有人都在转发这个充满硅谷神话色彩的暴富故事。\n真正值得复盘的，不在于这笔金额有多夸张。\n在于他们击败的那个对手。\n他们踩着登顶的对手，并非某家反应迟钝的老牌软件作坊。\n是市值超过 3 万亿美元的微软。\n微软手里握着全球最大的代码托管平台 GitHub。\n握着垄断全球开发者桌面的编辑器 VS Code。\n还最早拿到了 OpenAI 顶级模型的独家商用权限。\n要分发有分发，要算力有算力，要模型有模型。\n为什么微软坐拥这套近乎无敌的组合拳，反而在自家最核心的领地里，被四个大学生用一款开源编辑器的分叉版本彻底打穿？\n是巨头缺乏前沿大模型，还是两家在底层的架构抉择上，从第一天就走进了两扇完全不同的门？\n把两边的技术底牌拆开来看，这场较量的胜负，根本不在算法模型的强弱。\n在于谁拿到了宿主层主权。\n微软做 GitHub Copilot，选择了一条最顺理成章的商业路径。\n插件架构。\n为什么选插件？\n因为 VS Code 的生态地基，建立在一套严格的安全沙盒之上。\n为了防止第三方插件崩溃拖垮主程序，这套在 2015 年定下的规则卡得极死。\n插件必须运行在完全隔离的子进程里。\n它不能拦截底层的键盘输入流。\n它不能直接操作 UI 渲染的主线程。\n它不能在后台无感知地开辟影子内存。\n它更无法对数十万行代码工程做毫秒级的语法树符号分析。\n在这套安全锁链下，GitHub Copilot 只能当一个礼貌的访客。\n用户敲完一行代码，停下键盘发呆半秒钟。\n插件通过网络向云端发一次请求。\n等大模型把结果算出来，它再慢吞吞地在光标后面贴上一段灰色的建议文字。\n这叫被动补全。\n四个 MIT 的年轻人在 2022 年做了一个在当时被很多人嘲笑为无脑套壳的决定。\n他们不写插件。\n他们直接分叉了 VS Code 的开源代码库，把整个编辑器的宿主层控制权抢到了自己手里。\n夺下宿主层主权的那一刻，物理限制彻底消失了。\n他们把按键监听、语法树解析、虚拟文件系统和原生渲染循环，全部焊死在同一套内存空间里。\n这让 Cursor 拥有了插件体系在工程上绝不可能实现的能力。\n毫秒级的推测编辑。\n在你手指刚刚碰到键盘的一瞬间，底层的轻量预测引擎就已经猜出了你接下来三步的光标跳跃位置和改写意图。\n时延被直接砸穿到了 50 毫秒以内。\n全工程的上下文吞吐。\n后台的影子工作区实时咬合着整个代码库的符号依赖、终端报错和提交历史，随时把最精准的代码上下文喂给顶级大模型。\n原生多文件重写。\n直接在底层缓冲区批量修改代码，根本不需要开发者在聊天框和编辑器之间来回复制粘贴。\n前几年科技界一直在争论套壳应用没有壁垒，底层模型才是核心。\n现实给出了最冰冷的答案。\n大模型日新月异，随时可以用商业接口随取随用。\n但那个能把人类意图、工程上下文与极低时延交互融合在一起的宿主层控制权，才是不可替代的物理护城河。\n这就是为什么 SpaceX 愿意砸下 600 亿美元。\n在算力集群与通用基座模型泛滥的时代，算力最饥渴的资源，是带有最高浓度人类思考与纠错轨迹的高质量遥测数据。\n全球数百万资深工程师在 Cursor 里的每一次按键确认、每一次改写驳回、每一次跨文件协同，都在源源不断地喂养着这台自我进化的智能体机器。\n宿主层早就超越了普通代码工具的定义。\n它是人类工程智力向机器智能迁移的终极传感器。\n谁抢占了离开发者双手最近的那层主权，谁就握住了下一个时代的操作系统。","category":"科技","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-08-22 17:07:23","created_at":"2026-08-22 17:07:23","url":"https://mubeitech.com/p/mb-20260822-92f18d","markdown_url":"https://mubeitech.com/p/mb-20260822-92f18d/markdown"},{"rank":4,"id":"mb-20260828-7fb065","account":"mubei","brand":"","title":"一个 AI 用了一周时间，把整个底层压缩库 zlib 彻底重写了一遍","summary":"一个 AI 用了一周时间，把整个底层压缩库 zlib 彻底重写了一遍","body":"一个 AI 用了一周时间，把整个底层压缩库 zlib 彻底重写了一遍。\n它没有提交任何单元测试。\n它交出来的是整整 32,000 行纯数学证明。\n一个只有几千行代码的独立微内核，把每一行逻辑从头到尾验算了一遍。\n全部通过。\n很多人聊起 AI 编程，焦点全在模型写代码有多快、能写多少行。\n真正的致命危机发生在另一头。\n当自动化编程代理每周向代码库倾倒成千上万个合并请求时，软件工业现有的所有质检手段，全部失效了。\n让大模型给代码打分，本质是概率猜概率，两层幻觉相互掩盖。\n单元测试只能覆盖工程师预先想到的边界，测不到没想到的死角。\n人工代码评审的精力，在机器每秒几千行的吞吐量面前，连零头都接不住。\n三套传统防线加在一起，没有一套能向你保证：这段代码在面对所有可能输入时，绝对没有漏洞。\n如果连写代码的人都无法验证结果，成倍暴涨的 AI 生产力，到底是在创造资产，还是在疯狂堆积灾难？\n要解开这个死结，必须把软件工程沿用了半个世纪的分工彻底掀翻。\n这台机器叫：形式化验证与规约所有权。\n它的核心载体，是正在硅谷重构代码底座的交互式定理证明语言 Lean 4。\n过去写软件，人类既要费劲写业务实现，又要写一堆测试用例去碰运气。\n在这套新体系里，人类退守到了唯一不可替代的位置：定义形式化规约。\n人类只用严格的数学逻辑写下系统的铁律：解压后的输出，必须与压缩前的输入完全恒等。\n怎么写出实现代码，怎么证明代码在所有情况下都满足这条铁律，全部交由机器解决。\nAI 在背后的推导过程，就像在一张无限大的棋盘上下棋。\n它把庞大的最终定理拆解成成百上千个微小的引理。\n每推进一步证明策略，就尝试闭合一个逻辑分支。\n一旦推导陷入死胡同，立刻自动回溯换路，直到所有分支全部被推导至终局。\nAI 生成的这三万多行证明代码，被送进一个精简的独立验证内核。\n这个内核完全开源，代码量极小，不包含任何大模型黑箱。\n它只做一件事：用确定性的类型论规则，做纯粹的符号验算。\n只要内核判定通过，这段代码在数学意义上就是绝对正确的。\n不是在一百万次抽检里碰巧没报错。\n是在无穷无尽的输入空间里，从数学逻辑上断绝了一切出错的可能。\n这套机制早已走出了学术论文，变成了支撑顶级云厂商运转的工业流水线。\nAWS 的开源权限系统 Cedar，已经在生产环境里全天候运行这套逻辑。\nCedar 的核心授权语义全部用 Lean 4 编写规约并完成数学证明。\n真正上线跑业务的高性能代码，则用 Rust 编写。\n每天晚上，AWS 的自动化测试集群会在两者之间狂跑 1 亿次差分测试。\n只要 Rust 生产代码的运行结果和 Lean 4 的数学规约出现一丝一毫的偏差，版本立刻被拦截，一行代码都不准发布。\n过去几十年，程序员把绝大部分生命耗费在把人类语言翻译成机器指令上。\n验收依赖于有限的抽样用例，以及注定会疲劳的人肉眼球。\n当 AI 让写代码的边际成本归零，代码本身就降级成了廉价的推论副产品。\n真正决定系统生死和商业价值的，只剩下了人类写下的那一纸数学规约。\n未来的软件构建，不再是人教机器怎么写逻辑，再祈祷测试跑通。\n是人类锁定数学真理的边界，机器在里面完成穷尽证明。\n当代码能够被数学证明的那一刻，软件才真正从一门碰运气的经验手艺，变成了精密可靠的现代工程。","category":"科技","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-08-28 21:55:48","created_at":"2026-08-28 21:55:48","url":"https://mubeitech.com/p/mb-20260828-7fb065","markdown_url":"https://mubeitech.com/p/mb-20260828-7fb065/markdown"},{"rank":5,"id":"mb-20260823-7c33cd","account":"mubei","brand":"","title":"Warp 开源后的三个月里，GitHub 星标从 2 万一路暴涨到 6 万以上","summary":"Warp 开源后的三个月里，GitHub 星标从 2 万一路暴涨到 6 万以上","body":"Warp 开源后的三个月里，GitHub 星标从 2 万一路暴涨到 6 万以上。\n数千个代码合并请求和数百位外部贡献者，在极短时间内同时涌入仓库。\n任何维护过开源项目的人都知道，这种量级的并发涌入通常意味着灾难。\n提工单的人往往只留下一句模糊的报错，维护者要花几天时间来回追问细节。\n外部提交的代码参差不齐，堆积如山的合并请求会彻底压垮核心团队的精力。\n但 Warp 的工程团队不仅没有被海量噪音淹没，甚至大部分合并请求在被人类看见之前，就已经完成了第一轮筛选。\n他们是怎么做到的？\n很多人以为，AI 时代做软件就是搞所谓的软件工厂，让智能体夜以继日地自动写代码、疯狂提交合并请求。\n如果智能体只会写代码，开源仓库只会被更廉价、更海量的垃圾代码瞬间冲垮。\n真正的瓶颈从来不是写代码的速度。\n真正的瓶颈是协作中的认知摩擦与信噪比崩溃。\nWarp 负责云端智能体平台 Oz 的负责人 Safia Abdalla，在 2026 年的 AI Engineer 大会上拆解了这台截然不同的机器。\n她拥有八年开发者工具经验，曾是 Jupyter Notebook 核心团队与微软开发框架的核心成员。\nWarp 没有把智能体当成自动写代码的打字员。\n他们把智能体直接焊进了代码仓库的核心协作流程，构建了一套复杂性吸收架构。\n这套系统由两道极其关键的信噪比门禁咬合而成。\n第一道门禁在入口，叫逆向追问分诊。\n以往开源协作最痛苦的一步，是用户提了一个抽象的概念或缺陷，缺乏复现步骤和具体上下文。\n在 Warp 的仓库里，只要有人提交新工单，智能体就会立刻介入。\n它先自主检索整个代码库的历史提交与关联逻辑，一旦发现用户的描述过于抽象，它会主动向提问者发起多轮逆向追问，直到把模糊的意图逼问成清晰的技术规范。\n它在需求砸向人类维护者之前，先把信息熵降到最低。\n第二道门禁在出口，叫多轮自治审查闸门。\n所有外部提交的代码合并请求，都会先进入智能体托管的多轮自动化审查与修复闭环。\n代码质量不达标、逻辑有冲突的改动，全部在机器内部被拦截并反复打磨。\n在智能体彻底批准之前，团队里的任何人类工程师都不会收到任何通知打扰。\n人类最终看到的，只有已经经过严密验证的高信噪比成果。\n这正是 Safia Abdalla 提出的底层法则：平台必须在复杂性触达用户之前，把它彻底吸收掉。\n智能体需要隔离环境运行，平台就在底层同时提供托管沙盒与自建基础设施，消除环境配置的阻力。\n开发者习惯使用不同的运行框架，平台就抹平底层差异，在 Claude Code、Codex 等各种环境之间保持对话状态与产出物完全一致。\n当任务无法用单次提示词完成，系统就通过应用程序接口将调研、规划、执行与验证解构成多智能体编排。\n这种能力甚至溢出了研发团队。\nWarp 的非技术人员通过平台暴露的基础原语，自己搭出了监控社交媒体反馈并生成建议回复的自动化工具。\nAbdalla 在复盘时明确拒绝了软件工厂这个词。\n流水线工厂把人当成机械耗材，而现代软件开发更像是一个陶艺匠人的工作坊。\n一个能日产数百件精密陶器的顶级工坊，核心不在于拉坯的速度有多快。\n而在工坊拥有严密的工位拓扑、原料预处理流程、动态质检节点，以及一个不断退后一步审视并重构整套系统的负责人。\n技术的代际分野，从来不在于谁用智能体生成了更多行代码。\n在于谁能把协作中沉重的流程损耗与混乱复杂性，在触及人类之前悄无声息地消化在系统底层。","category":"科技","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-08-23 00:21:50","created_at":"2026-08-23 00:21:50","url":"https://mubeitech.com/p/mb-20260823-7c33cd","markdown_url":"https://mubeitech.com/p/mb-20260823-7c33cd/markdown"},{"rank":6,"id":"2042698884682780794","account":"mubei","brand":"@mubei","title":"几周时间挖出的代码漏洞，比一辈子加起来都多。 世界顶级 AI 安全研究员 Nicholas Carlini 放出这句狠话…","summary":"几周时间挖出的代码漏洞，比一辈子加起来都多。 世界顶级 AI 安全研究员 Nicholas Carlini 放出这句狠话。 他最近在用 Claude Mythos 测试。 他们拿这个模型去扫开源代码。 直接对准整个互联网的基石：操作系统。 OpenBSD 里一个藏了 27 年的陈…","body":"几周时间挖出的代码漏洞，比一辈子加起来都多。\n世界顶级 AI 安全研究员 Nicholas Carlini 放出这句狠话。\n他最近在用 Claude Mythos 测试。\n\n他们拿这个模型去扫开源代码。\n直接对准整个互联网的基石：操作系统。\n\nOpenBSD 里一个藏了 27 年的陈年漏洞被一把揪出。\n只需要向服务器发送几段数据，就能让它瞬间瘫痪。\n\nLinux 也没跑掉。\n一堆底层漏洞现了原形。\n一个零权限的普通账号，随便跑点二进制代码就能强行拿到管理员钥匙。\n\n好在官方已经火速打上补丁。\n\n但这事在资本市场砸出了一个大坑。\nCloudflare 的股价应声暴跌 13%。\n\n这家公司的基本面毫无问题。\n引发抛售的是一个残酷的市场预期。\n当 AI 具备了这种降维打击般的代码扫描与破坏能力。\n传统的 SaaS 商业模式可能根本无法在未来的安全生态中存活。\n现有的软件护城河正在被彻底抽干。","category":"其它","score":100,"translated_x_url":"https://x.com/i/status/2042886748724687181","translated_status_id":"2042886748724687181","published_at":"2026-04-11 08:11:12","created_at":"2026-04-11T10:07:45.150574","url":"https://mubeitech.com/p/2042698884682780794","markdown_url":"https://mubeitech.com/p/2042698884682780794/markdown"}]}