LLM 进工程：能加速，也更容易出错
大模型正在进入逆向、编程、语音交互等“硬活”。收益很实在，但上下文管理、幻觉、可验证性和心理负担也更突出。
- 靠大模型「吵架」完成固件逆向，我有哪些心得体会？：作者用两个模型协作逆向飞傲 Echo Mini 固件，破解字符渲染字库并实现界面魔改。文章强调：上下文要管好，模型会“自信胡说”，人也容易被持续反馈拖着走；逆向门槛降低后，滥用风险也更大。
- “LLM”里的 L，指的是“撒谎”：批评把 AI 输出当“真实创作”的风气，认为这更像伪造和复制粘贴放大器。作者把解法指向“可追溯来源”和更透明的推理过程，否则软件社区会被低质代码拖垮。
- Aura-State：形式化验证的 LLM 状态机编译器：把 LLM 工作流编译成可形式化验证的状态机，用模型检测、Z3 等方法约束状态转换。目标是把“看起来对”变成“可证明地对”，减少幻觉带来的事故。
- 在 Apple Silicon 上跑 Nvidia PersonaPlex 7B：用 Swift 实现全双工语音到语音：在 Apple Silicon 上做单模型全双工语音对话（边听边说），强调低延迟、流式、多语言与情感保留，并给出开源实现与量化方案。
开源许可与 “AI 重写” 的边界
“用 AI 重写再换许可”正在触碰开源的底线：是否构成衍生作品、是否满足清洁室重写、责任如何追溯，都更难说清。
- AI 辅助改写与重新许可：以 chardet 事件为例讨论：维护者用 Claude Code 重写后把 LGPL 改成 MIT，引发是否绕过 copyleft 的争议。文章指出 AI 可能让“清洁室”形同虚设，进而冲击现有开源许可生态。
- 无权对该项目重新授权：原作者直接反对“完全重写所以可改许可”的说法，强调接触过原代码就难以摆脱衍生作品约束，要求恢复原许可。
产业与政策：AI、军方合作与资本关系更紧张
AI 公司在“军用边界”上分化；芯片巨头开始更谨慎站队；军事 AI 初创也在加速落地。
- Dario Amodei 称 OpenAI 围绕军事合作的表述“纯属谎言”：Anthropic CEO 指责 OpenAI 对国防部合作的对外表述是“安全作秀”，称 Anthropic 拒绝了更宽泛的“任何合法用途”条款，担心被用于监控或自主武器。
- 黄仁勋称 Nvidia 正在从 OpenAI 和 Anthropic 抽身，但他的解释却让人越听越迷糊：黄仁勋称对两家公司的投资可能接近尾声，理由是它们预计上市、投资窗口将关。外界则看到的是：监管、军方合作争议与生态站队成本在上升。
- 战争用的 AI 模型到底长啥样：介绍面向军事规划的专用模型公司，主打用推演和专家反馈训练，想把繁琐的作战计划自动化。报道同时提醒：高风险场景里，可靠性与约束机制仍是硬问题。
- 白宫最新视频把《使命召唤》画面和伊朗空袭真实影像混剪到一起：政府宣传视频混用游戏画面与真实战争影像，引发信息可信度与传播伦理争议，也反映“游戏化叙事”进入公共传播。
电力与算力：数据中心扩张把能源问题推到台前
AI 数据中心用电增长太快，科技公司开始公开承诺“别让电费转嫁给居民”，但承诺多为非强制；核电等新供能方案同步升温。
- 美国科技公司在白宫承诺承担数据中心的能源成本：多家大厂承诺承担新增电力相关成本，避免家庭与小企业电费上涨。质疑点在于：供电增量与电网升级能否跟上需求。
- 大型科技公司承诺：AI 数据中心不让你的电费爆表：同一承诺的另一份报道，提到企业将通过自建/采购新电源与分担基础设施费用来对冲影响。
- 七大科技巨头签署特朗普承诺：严防数据中心周边电价飙升：强调承诺核心是让企业为电网升级买单。
- 大型科技公司签下白宫数据中心承诺：面子工程拉满，实质内容寥寥：指出承诺多为非约束性，真正能保护消费者的仍是监管与立法；而电网成本如何分摊，本身就很难改。
- 比尔·盖茨的核能公司率先获批建造下一代反应堆：TerraPower 获批在怀俄明州建先进核电项目，主打液态钠冷却与熔盐储能，面向未来电网与数据中心负荷增长。
新硬件与产品动向：入门 Mac、桌面 Ryzen AI、存储与外设
“端侧 AI”继续下探到更便宜的电脑与更广的桌面平台；同时 NAS、键盘等硬件继续卷规格与形态。
- 派早报：Apple 推出 MacBook Neo、Setapp 调整商业模式等：信息汇总：MacBook Neo 用 A18 Pro、4599 元起；Setapp 增加单独购买/订阅选择；OpenAI 确认 GPT-5.4 将提前发布；并提到 Keychron 折叠键盘与 ASUSTOR 旗舰 NAS 等新品。
- AMD 首次将“Ryzen AI”处理器带到标准台式机 PC 上：Ryzen AI 400 桌面系列进入 AM5 平台，主打 65W/35W 商务桌面与更强核显，但没有冲到顶配规格，策略偏稳。
- MacBook Neo 横空出世，搅动个人电脑市场风云：从市场角度解读低价 MacBook Neo：可能冲击 Chromebook 与低端 Windows 本，尤其在教育与企业采购。
- 这些 500 美元的 Windows 笔记本，展示了 MacBook Neo 的竞争对手：列出同价位 Windows 竞品，强调在价格、续航、屏幕等维度与 MacBook Neo 的对比空间。
开发者工具与工程实践：把复杂事做得更可控
从办公自动化 CLI、到数据库切片复现 Bug、再到隔离与并发原语，重点都在“更快定位问题、更安全地运行”。
- Google Workspace 命令行工具：Google 推出 gws CLI，覆盖 Workspace 各 API，输出结构化 JSON，可与 AI 代理/协议集成，目标是把办公自动化变成可组合的命令与能力。
- Dbslice：从你的生产数据库中抽取一段切片，用来复现 Bug：一键从生产库抽取最小可复现数据集，自动追外键依赖并可脱敏，适合把“线上才有的 bug”拉回本地调试。
- Python 的 asyncio 原语在共享状态上都踩了哪些坑：指出 Event/Condition 在高并发下会“漏状态”，给出基于每个消费者独立队列的实现思路，用于更可靠的异步状态协作。
- NetBSD 的 Jails：内核级强制隔离与原生资源管控：NetBSD 的轻量隔离原型，强调内核级边界、集中管理与日志，定位在 chroot 和完整虚拟化之间，适合运维场景试用评估。
- Smalltalk 的浏览器：无可匹敌，却仍不够：复盘 Smalltalk 经典代码浏览器为何仍强，但在大系统里仍不够用；问题在 IDE 工具间缺少“围绕线索”的整合与动态上下文管理。
- Relax NG 是一种用于 XML 的 schema 语言（2014）：RELAX NG 作为 XML Schema 的另一条路线，语法更简洁、工具生态成熟；适合需要清晰约束 XML 结构的老系统与标准格式。
机器人进入产线：从演示走向试点
人形机器人开始在真实工厂试运行，焦点不再是“能不能动”，而是能否稳定做重复、高精度、可集成的工作。
- BMW Group 首次在德国生产线上部署人形机器人：宝马在德国工厂启动人形机器人试点，并建设“物理 AI”能力中心，试图把生产数据平台、AI 决策与机器人协同打通，用在重复且高精度的产线任务上。