给软件开发者准备的优质简报，每日阅读 10分钟。
We Will Not Be Divided
谷歌与OpenAI员工公开信：拒绝国防部对AI公司的施压分化策略
- 美国国防部威胁对Anthropic公司采取两项措施：援引《国防生产法》强制其向军方提供AI模型并"根据军方需求定制模型"，同时将该公司标记为"供应链风险"
- 此举是对Anthropic坚持两项核心底线的报复：拒绝将AI模型用于国内大规模监控，拒绝允许AI在无人类监督的情况下自主杀人
- 五角大楼同时正与谷歌和OpenAI谈判，试图迫使两家公司接受Anthropic已拒绝的要求，并采用离间策略制造恐慌，意图让各公司担心竞争对手会率先妥协
- 这封公开信由谷歌和OpenAI员工发起，旨在建立共识与团结，表明共同立场：希望公司领导者搁置分歧，共同拒绝国防部关于将AI用于国内监控和自主杀人的要求
- 公开信共获得707人联署，其中谷歌611人、OpenAI 96人（均为现任员工），联署者涵盖研究科学家、软件工程师、产品经理等多种职位
The Hunt for Dark Breakfast
寻找“暗黑早餐”的探索之旅
- 作者在高原缺氧状态下制作早餐时突发奇想：将早餐视为由牛奶、鸡蛋、面粉比例构成的向量空间/单纯形，存在大量未被探索的组合可能性。
- 将已知早餐绘制成分布图，分为三个主要区域：煎饼本地群（可丽饼、华夫饼等，变化剧烈且不稳定）、烘焙食品象限（其他餐次也常食用）和鸡蛋奇点区（以鸡蛋为主、可添加牛奶的菜品）。
- 发现理论存在但实际空白的区域——“暗黑早餐深渊”，即三种基本成分的特定比例组合在现实中从未被制作过。
- 在IHOP（国际煎饼屋）文档中发现关键线索：其煎饼蛋卷含有煎饼面糊，证实暗黑早餐理论上确实存在，并给出了基础配方（1/4杯牛奶、4个鸡蛋、1/2杯面粉），但具体烹饪方法未知。
- 文章以洛夫克拉夫特关于人类无法承受终极真相的名言作结，暗示探索未知领域可能带来恐怖后果，表达了人类认知局限的黑色幽默观点。
Addressing Antigravity Bans and Reinstating Access
解决 Antigravity 账户封禁问题并恢复访问权限
- Gemini CLI 用户因使用第三方工具或代理访问 Antigravity 资源而违反服务条款，导致账户被封禁，同时影响了 Gemini CLI 和 Gemini Code Assist 的访问
- 正在与 Antigravity 协调进行系统级自动解封，受影响账户将在1-2天内恢复访问
- 推出新的自助服务恢复流程：用户将收到邮件通知和错误提示，需填写 Google Form 重新确认服务条款，提交后通常在1-2天内自动恢复
- 第二次违规将被永久封禁，无法通过自助流程恢复
- 使用第三方软件或工具通过 OAuth 认证访问 Gemini CLI 后端服务属于直接违反服务条款的行为
Woxi: Wolfram Mathematica Reimplementation in Rust
Woxi：Rust 实现的 Wolfram Language 解释器
- Woxi 是使用 Rust 编写的 Wolfram Language 解释器，昵称"Wolfram oxidized"，采用 AGPL-3.0 开源许可证
- 项目拥有 262 颗星标、8 个分叉、877 次提交，4 位贡献者参与开发，代码 93.7% 为 Rust
- 专注于 CLI 脚本和 Jupyter 笔记本场景，提供完整的图形输出支持，可通过
cargo install woxi安装 - 提供
woxi eval、woxi run、woxi repl命令，无内核启动和许可证验证开销，运行速度优于 WolframScript - 提供在线 JupyterLite 实例（woxi.ad-si.com/jupyterlite），可在浏览器中直接运行，无需本地安装
- 配套 CLI 测试用例和 functions.csv 文件追踪各函数的实现状态
Obsidian Sync now has a headless client
Obsidian 无头同步客户端指南
- 功能定位：Obsidian Sync 提供无头客户端，可在不启动桌面应用的情况下同步笔记库，适用于 CI 流水线、自动化代理和工作流程，支持一次性同步或持续监听文件变化
- 重要警告：使用前务必备份数据；同一设备禁止同时使用桌面应用同步和无头同步，会导致数据冲突
- 安装认证：通过
npm install -g obsidian-headless安装，使用ob login交互式登录或设置OBSIDIAN_AUTH_TOKEN环境变量实现非交互式认证 - 核心命令：
ob sync-setup设置本地与远程笔记库同步，ob sync执行同步操作，--continuous参数启用持续监听；ob sync-config管理同步设置（冲突策略、文件类型、排除文件夹等） - 笔记库管理：
ob sync-create-remote创建远程笔记库，ob sync-list-remote列出可用远程笔记库，ob sync-list-local列出本地已配置笔记库，ob sync-unlink断开同步连接 - 平台特性：预编译原生模块用于保留文件创建时间（birthtime），支持 Windows（x64/arm64/ia32）和 macOS（x64/arm64），Linux 不支持 birthtime 功能
Verified Spec-Driven Development (VSDD)
验证驱动开发（VSDD）：融合规范、测试与对抗性验证的AI原生方法论
- VSDD将规范驱动开发（SDD）、测试驱动开发（TDD）和验证驱动开发（VDD）融合为统一的AI编排流程，按顺序作为质量关卡而非竞争理念
- 工具链包含四类角色：人类开发者（架构师/战略决策者/最终权威）、Claude等AI（构建者，负责规范编写和测试生成）、Chainlink（追踪器，将问题分解为Epic→Issue→Sub-issue的层级化Beads）、Gemini担任Sarcasmotron（对抗性审查者，每次审查使用全新上下文）
- 核心流程分六阶段：规范结晶（含行为规范、验证架构设计——明确纯函数核心与副作用外壳边界、形式化验证工具选择）→ 测试优先实现（先写失败测试再写最小实现代码）→ 对抗性审查 → 反馈整合循环 → 形式化加固（模糊测试、突变测试、安全测试）→ 收敛确认
- 验证优先架构：规范阶段需明确定义可证明属性目录和纯度边界，形式化验证工具的约束是架构约束而非事后补救
- 四维收敛标准：规范、测试、实现、形式化证明均需独立通过对抗性审查，达到"Zero-Slop"（零缺陷）状态
- 完整契约链：每个需求从规范→验证属性→Chainlink Bead→测试用例→实现→对抗审查→形式化证明全程可追溯
747s and Coding Agents
747飞行员与编程代理：从工程师到"飞行员"的转变
- 作者在飞机上与一位驾驶747多年的比利时飞行员交谈，对方坦言飞行工作缺乏进步空间，羡慕作者编程工作中能持续学习新知识
- AI编程代理现在能端到端独立完成功能开发，作者不再需要从理解系统开始解决问题，导致学习机会大幅减少
- 使用AI代理完成任务后，再次执行相同任务时效率不会提升，长期可能像飞行员一样技艺停滞不前
- 当需要介入修正AI的错误时，作者常因面对他人代码而感到困惑，失去了通过逐步理解构建解决方案的过程
- 作者强调真正的关键不是提示词技巧，而是对编程和问题领域的深层理解，这决定了AI代理的成功率
- 建议通过手写代码作为学习练习，或先自行尝试解决问题再与AI方案对比，以保持专业知识的持续积累