RSS 每日摘要

作者为 lychee 链接检查工具研究递归支持时，深入阅读了 muffet（Go）、LinkChecker（Python）、linkinator（TypeScript）和 broken-link-checker（JavaScript）的源码。核心发现：这些工具并无什么魔法技巧，它们从第一个 commit 起就被设计为爬虫——使用可变的 frontier 队列、在入队时原子性标记 visited 集合、并通过 WaitGroup 等原语判断任务完成。lychee 的根本问题在于它被构建为单向 DAG 管道，而递归需要的是有回边的环形结构，两者在架构层面存在本质差异。

2007年江苏高考数学压轴题联结等差数列与等比数列，通过三问逐步深入：第一问利用公共项条件证明前 k-1 项和等于 (m-1)a₁；第二问证明公比 q 必为整数且等比数列每项均属于等差数列；第三问最为精妙——探究等比数列中三项成等差数列的条件，当 x=1, y=2 时方程 q³-2q+1=0 分解后得到 q=(√5-1)/2，正是黄金分割数，揭示了数列结构与黄金比例的内在联系。

Uber 对 Cursor、Claude Code 等 AI 编程代理工具实施每人每工具每月 1500 美元的 token 消耗上限，多工具之间预算独立计算。此前 Uber 四个月内耗尽全年 AI 预算，原因在于 2025 年制定预算时无法预料 AI 编程代理的火爆程度。按每名工程师使用两款工具估算，年度 AI 支出上限约 3.6 万美元，约占美国 Uber 软件工程师中位薪酬包（33 万美元）的 11%。

Simon Willison 发布 datasette-agent-micropython 0.1a0，这是一个将 MicroPython 与 Datasette Agent 结合的早期版本，涉及 Python 沙箱化和 WebAssembly 技术栈，为 Datasette 的 AI Agent 能力提供安全隔离的代码执行环境。

Simon Willison 发布 micropython-wasm 0.1a1，将 MicroPython 编译为 WebAssembly 运行，主要应用场景为 Python 代码沙箱化隔离执行。该项目处于早期 alpha 阶段，与 datasette-agent-micropython 配套使用。

Wasmer 利用搭载 GPT-5.5 的 Codex 构建了面向边缘计算的 Node.js 运行时，开发速度提升 10 至 20 倍，原本需要数月的工作压缩至数周内完成。这一案例展示了 AI 辅助编程在底层运行时开发场景中的实际加速效果，也是 OpenAI Codex 在复杂系统工程任务中的落地示例。

OpenAI 发布 GPT-Rosalind 新版本，重点强化生物推理、药物化学、基因组学分析及实验工作流支持等能力，专为生命科学研究场景设计。新版本在分子机制理解、化合物性质预测及实验方案规划等方面均有提升，定位为科研辅助工具而非通用模型。

OpenAI 于 2026 年 6 月发布联邦框架蓝图，提出美国构建前沿 AI 治理体系的三步策略：整合各州安全法规形成统一国家框架（参考加州 SB 53、纽约 RAISE Act 等）、强化 CAISI 作为联邦 AI 安全核心机构的职能、以及制定跨政府的国家安全韧性计划。该蓝图与白宫最新行政令同步发布。

作者质疑英国政界对本土数据中心建设的执念。从延迟角度看，主流 AI 模型的首 token 响应时间达 1.6–3.6 秒，跨洋 80ms 延迟几乎可忽略不计；税收层面，100MW 数据中心每年仅为地方政府带来约 600 万英镑业务税。作者认为这与政界对重工业复兴的执念如出一辙，实际经济与技术价值被严重高估。

AI Agent 技能包（skills）可声明 npm、pip、cargo 等多个包管理器的依赖，技能注册中心（如 ClawHub、skills.sh）本质上是多包管理器客户端的超集，继承了整个软件供应链的安全威胁。技能体在激活时注入系统提示，既是代码执行向量又是提示注入向量；加载器普遍接受任意 git URL 作为来源，将信任边界折叠至 GitHub 身份模型。文章系统梳理了加载器、注册中心和 Agent 运行时各层面的攻击面。

SwiftUI 的 Observation 框架将状态响应精细化至属性级，但 Core Data 生态未获原生集成。作者在 Core Data Evolution（CDE）中为 NSManagedObject 实现了 Observation 支持，使视图无需 @ObservedObject 即可直接响应关系链上的属性变化。实现遵循「读时建立订阅、保存后发布变化」的基本模型，明确设定了能力边界：仅服务 SwiftUI、仅覆盖 @PersistentModel 宏生成的属性、信息不足时保守降级，需 Swift 6.2+ 及 iOS 17+/macOS 14+。

作者李新野回应外界「背叛阶级」的指责，自定义了一套阶级划分体系，将社会分为贵族、寻租、食利、力工、陪侍、强盗、骗子七类阶级。他认为自己始终属于「力工阶级」（工农阶级），只是因技术能力极强而获得远超同阶层的报酬，并以此为基础阐述写作《人约》的动机——为力工阶级发声，反对前三阶级对劳动者利益的侵占。

DHH 分享了经营成功企业带来的非财务红利——能自由选择自己最感兴趣的问题。Ruby on Rails 诞生于 Basecamp 的业务需求，Kamal 源于逃离 Kubernetes 的冲动，Linux 桌面转型催生了 Omarchy。他将这种状态比喻为坐在「有趣问题的池塘边钓鱼」，认为建立优秀团队的终极意义之一，正是让创始人得以将时间集中于最能激发动力的项目上。

OpenAI 公开了其 AI 公共政策框架，涵盖四大核心议题：AI 安全、青少年保护、劳动力转型支持，以及推动建立全球统一的 AI 标准。文件旨在阐明 OpenAI 希望通过政策倡导确保 AI 技术广泛造福社会的立场与优先方向。

micropython-wasm 0.1a0 是一个将 MicroPython 编译为 WebAssembly 的早期版本，可在浏览器或沙盒环境中运行 Python 代码。该项目由 Simon Willison 收录于其技术博客，关联标签涵盖 Python、沙盒隔离与 WebAssembly，适合关注在浏览器端安全执行 Python 脚本场景的开发者。

「以前的程序员才是真正的程序员」——这类论调在网络上屡见不鲜。作者指出，这种对技术黄金时代的执念、对现代工具（尤其是LLM）的道德化排斥，在结构上与法西斯主义的核心特征高度吻合：Umberto Eco定义的法西斯主义前两条即为「传统崇拜」和「拒绝现代主义」。文章并非将反AI者等同于法西斯，而是提醒人们警惕这种论证结构本身的煽动性，以及它如何被各种政治立场所复用。

Swift 官方发布2026年5月社区动态摘要。重点包括：Temporal Swift SDK 1.0.0 正式发布，为Swift带来可在崩溃和重启后保持状态的持久化工作流；Goodnotes 分享了通过Swift + WebAssembly将应用移植到Web端的实践；Hummingbird Web框架和AWS Lambda + Swift服务端开发均有新入门内容更新。此外，2026 Swift Mentorship Program已开放报名（截止6月15日），三个Swift项目入选GSoC 2026。