Simon Willison 用 details/summary 标签折叠 AI 生成的 PR 描述
Simon Willison 分享在 GitHub PR 描述中用 <details><summary> 标签折叠 AI 生成长文的方法：开头保留人工撰写的高层说明或截图，完整 Agent 生成内容放入折叠块，摘要行常写模型名和 effort 等级。他列举了 datasette、llm 等项目中的实际 PR 示例，并给出记忆标签顺序的小技巧。
#教程/实践
Simon WillisonAI 评分6262 Latent SpaceAI 评分4040 Stanford 如何教授 AI-Native 工程 — Mihail Eric 与 Monaco 百万 AI 工程师特别节目
在 Stanford CS146S 第二轮课程中，Mihail Eric 引入开源维护者，要求学生熟悉陌生代码库、提出改动并向可能合并补丁的人解释。Monaco 团队搭建 agent workspaces、采购代码审查工具，并让 on-call agent 访问 Datadog 与 GitHub。课程还讲解编码 agent 的循环、工具与 harness，以及大代码库的上下文工程。
AWS Machine Learning BlogAI 评分4242 用 Okta Cross App Access 与 Amazon Bedrock AgentCore 治理 AI 智能体访问（第 1 部分）
Okta Cross App Access 与 Amazon Bedrock AgentCore 配合，在 IdP 中决定哪个智能体可代表哪个用户访问哪个应用，并在 AWS 上执行该决策。
AWS Machine Learning BlogAI 评分4444 Greenlight Financial 如何基于 Amazon Bedrock AgentCore 构建自主 SOC 解决方案
Greenlight Financial 基于 Amazon Bedrock AgentCore 构建了名为 Luna 的自主安全运营中心（SOC）方案，每月无需人工干预即可解决多达 4,000 起安全与风险案件中的 90% 以上。
AWS Machine Learning BlogAI 评分4444 Taxbit Assist：基于 Amazon Bedrock AgentCore 构建的带引用、角色感知 AI 智能体
Taxbit 在其仪表板中内置 AI 助手 Taxbit Assist，基于 Amazon Bedrock AgentCore 与 Strands Agents SDK 构建，内部生产分析显示超过 55% 的提问用户会在 24 小时内再次提问。
NVIDIA BlogAI 评分4242 NVIDIA Omniverse：开发者如何用前沿 AI 智能体将创意变为仿真应用
开发者正将 GPT-6 Astra、Claude 等前沿 AI 模型与 NVIDIA Omniverse 库结合，通过自然语言指令构建可编辑的 3D 资产、机器人拆卸仿真和燃气轮机数字孪生等应用。
Microsoft Research精选AI 评分6161 微软研究院发布 PDD Kit，用形式化验证智能体编写的全栈 Web 应用
微软研究院发布 PDD Kit 研究原型，将用户意图转成 Verus 形式化规格，证明智能体生成的代码对所有输入满足规格，证明不到的地方退回测试。
推荐理由：微软研究院提出 PDD Kit，用 Verus 证明智能体代码满足规格，把审查从逐行读码转向意图确认。
GitHub Blog · AI & MLAI 评分4040 GitHub Copilot 如何在 VS Code 中继续应用会话
GitHub Copilot 支持在 VS Code 中直接打开既有应用会话，保留任务、计划、对话、diff 与 worktree 上下文继续工作。教程涵盖逐行审查智能体改动、手动编辑、运行 npm test 等本地验证，以及提交并推送到会话关联的 pull request。前提是已安装 GitHub Copilot 应用并登录同一 GitHub 账号。
Google DeepMindAI 评分4444 用 Google Antigravity 加速抗菌肽的搜索
Google Antigravity 智能体开发平台把跨数据库检索、结构评估与候选排序压缩到单次会话，帮助生物学家发现一个针对呼吸道感染病原体具有预测活性的新型抗菌肽候选物，目前该先导化合物正在进行湿实验验证。