AI 编码代理的持久化记忆层
Beads 是一个基于 Dolt 的分布式图结构问题追踪器，为 AI 编码代理提供持久化、依赖感知的结构化记忆，替代易丢失上下文的 Markdown 计划文件。对正在构建长周期任务代理的团队来说，这是解决"做着做着就忘了"问题的关键基础设施。
今日精选 · Today's Picks
NO. 001
Mac后台操控任意App的AI Agent框架
Cua 让 AI Agent 在 macOS 后台无感操控原生应用，支持 Chromium、Figma、Blender 等非无障碍接口场景，不抢光标和焦点。对需要自动化复杂桌面工作流的团队，这是首次实现真正"后台运行"的跨应用 Agent 方案。
002
003
AI Agent 执行可事务化治理平台
Polaris 是一个面向复杂软件交付的 Agent 运行时与治理平台，核心是把 Agent 执行变成可审计、可回滚的工程系统而非聊天壳。当前 Agent 工程化痛点集中在状态不可控、链路难追溯，这个方向切中了企业级落地的关键瓶颈。
004
Claude+Codex 双模型全自动软件开发
AI Auto-Work 是一个端到端自动化软件开发工作流，通过 Claude 执行、Codex 对抗评审的三重校验闭环，自主完成从需求调研到代码提交的完整管线。对需要处理中型工程项目的团队来说，这可能是目前最接近"AI 软件工程师"落地的开源方案。
005
Home Assistant：86K星的本地智能家居中枢
开源智能家居平台，支持数千设备接入且全部数据本地处理，无需云端。对AI工程师而言，它是边缘AI落地的最佳试验场，可直接部署语音助手、自动化决策等模型。
006
curl 4.1万星：网络传输瑞士军刀
curl 是支持 28 种协议（HTTP/HTTPS/WebSocket/SFTP 等）的命令行数据传输工具，libcurl 库可被任何软件调用。作为基础设施层的事实标准，它直接影响你写的每一个 HTTP 请求和依赖的网络库稳定性。
007
SWE-bench Verified 已失效
主流代码基准测试 SWE-bench Verified 被前沿模型刷爆，14 个模型得分超 60% 却掩盖了实际修复率仅 7% 的真相。AI 工程师需要警惕：你的模型选型可能正在被过时的 benchmark 误导。
008
GnuPG 正式落地抗量子加密
GnuPG 2.5.19 发布，核心更新是引入 Kyber（ML-KEM）后量子加密算法，同时 2.4 系列将在两个月后停止维护。对于需要长期数据安全的团队，这是必须跟进的升级窗口。
009
Asahi Linux 推全新安装器
Asahi Linux 随 Linux 7.0 发布更新安装器，重构了此前两年未更新的 Python+Bash 混合架构。对使用 Apple Silicon 的开发者意味着更稳定的 Linux 双系统体验， alternate distro 用户不再需要手动维护安装流程。
010
欧盟年龄验证实为数字身份证特洛伊木马
欧盟年龄验证系统表面宣传零知识证明保护隐私，实则允许平台回退到常规KYC，且谷歌苹果掌控手机端认证软件准入。AI工程师和创业者需警惕：这将成为平台锁定用户身份基础设施的关键节点，直接影响未来欧洲区产品的身份验证架构设计。
011
Statecharts：终结状态机爆炸
Statecharts 是 1987 年提出的分层状态机可视化形式化方法，通过层级结构和正交区域解决传统状态机的状态爆炸问题。前端和嵌入式开发者若被复杂状态管理困扰，这是比 Redux、XState 更底层的理论原典。
012
可视化拆解浮点数IEEE 754标准
Bartosz Ciechanowski 创建了交互式网站 float.exposed，将浮点数的二进制表示、指数、尾数等内部结构可视化展示。AI 工程师调试数值精度问题（如训练 loss 异常、梯度爆炸）时，能直观看到 float16/32/64 的实际存储差异。
013
谷歌十年：大厂生存与AI时代取舍
前腾讯工程师入职谷歌十年，亲历工程师文化从天堂到平庸的衰落，分享技术选型、职场晋升与AI浪潮下的生存法则。对仍在纠结大厂vs创业公司、热门vs冷门技术方向的读者有直接参考价值。
