像物理学家一样剪枝 LLM：把块删除当成 Ising 优化问题
整块删掉 transformer block 最省事，挑哪些块却是多体问题。Multiverse Computing 把它写成二元优化，用 Ising 的低能态对应高分模型，Llama-3.3-70B 砍半深度仍保住 MMLU 76.9。
开源
更多 开源
首页
用 AI 做 3D 游戏，工具都在资产这一层
3D 游戏的 AI 工具已经铺满模型、贴图、绑定三段，按件计价，能直接拖进引擎试。关卡设计和引擎里的整合还没有能替人的工具，而免费档基本不能商用、AI 生成物在美国拿不到版权保护，这两个坑最后都落在开发者身上。
他说自己比 Jev 早一年，论文和 229 道题都对不上
Nandakishor Mukkunnoth 说他在 2025 年 3 月就做出了 Jev 那套非自回归决策模型，为此写了一篇很长的 文章。我读了他引的两篇论文，也把他 2026 年的模型拿 229 道细粒度题跑了一遍，看到的和这个故事不太一样。
没人愿意为 FOSS 付钱，而我们可以逼他们付
作者用演化稳定策略解释开源为何总是免费获胜，然后指出真正的钱早就流向了 JFrog、Snyk、Docker 这些卖「可靠供应」的厂商。他的提议只有一句：注册表应该向公司收费，并把其中固定一块按依赖树分给维护者。
让主权、开放权重的AI成为技术前沿
Mistral已完成30亿欧元D轮融资，由三星电子领投，投后估值超过210亿欧元。这是欧洲科技公司有史以来规模最大的股权融资。
Mistral × Mozilla：私密、多语言的 AI 浏览
Mistral与Mozilla合作，以Mistral模型为Firefox智能窗口（测试版）提供支持，率先为法国和北美用户带来私密的多语言AI浏览体验。
静默 HMAC 密钥污染：揭示 Burp JWT Editor 扩展中的逻辑缺陷
Burp 的 JWT Editor 扩展里一个静默 bug 让靶场怎么都打不通，作者花十五小时追到密钥被污染的真正原因，最后把它变成了上游仓库里的一个 issue。
AI能写代码，但能证明修复有效吗？
一个 AI 生成的改动要拿出什么证据，人类才有资格信它，作者借给 no_human 提的三个 PR 讲清了防篡改守卫、复现闸门和对抗性评审各自挡住哪一类失败。
现代科学就是开源软件
作者主张：在计算机化的世界里，开源软件是做科学的必要条件——可复现意味着可执行且可修改，而科学结果依赖软件，软件错了科学就错了。文末给出四条具体建议（分享代码、用 NixOS、别重复造工具、晋升计入软件贡献）。
捐款如何运作：Servo 受资助开发的一周年
Servo 的兼职维护者 Josh Bowman-Matthews 回顾一年捐款资助的工作：提名 8 位新维护者、评审 1150 个 PR、起票 114 个面向新人的 issue（92% 已修），并推动 JS 引擎集成的大规模重写。
为什么构建Rust LSP很难 · Rust Glancer
很久很久以前，强大的 matklad 写过一系列精彩文章，讲 Rust 工具链是如何运作的。那是一段美好的时光，可惜最后一篇 rust-analyzer 博客停留在 2023 年。
同一个链接器，两份基准测出相反结论：Wild 作者逐项拆给自己看
Mold 最近更新了他们的链接器基准测试，并首次将 Wild 纳入其中。这些基准测试显示，Wild 比 Mold 慢了不少，这与我们 8 月 4 日上次发布时 Wild 最新公布的基准测试结果相反。
Rust 官方预警：针对维护者的定向攻击正在进行，目标是拿到发布权
赋能每个人构建可靠且高效的软件。
从一张 HEIC 图片到 OpenAI 内部仓库：72 小时串起两个漏洞
堆溢出和SSO配置错误导致OpenAI内部仓库被攻破