微软研究院发布 PDD Kit，用形式化验证检查智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规格，证明智能体生成的代码对每个输入都满足规格，证明覆盖不到的部分则用测试补充。
#开源/仓库
Microsoft ResearchAI 评分5858
Google ResearchAI 评分5555 Google Research 提出 Agile Deliberation 框架，让 AI 与用户共同厘清主观概念边界
Google Research 提出 Agile Deliberation 框架，把主观视觉分类器的构建拆成概念界定与概念迭代两个阶段，由视觉语言模型主动挑出语义边界模糊的图片，让用户澄清意图，再自动优化提示词。
QMK 固件发布AI 评分22 QMK 固件 0.34.7：docsgen 构建依赖 source-map-js 升级至 1.2.2
QMK 固件发布 0.34.7，将 /builddefs/docsgen 目录下的间接依赖 source-map-js 从 1.2.1 升级到 1.2.2。该更新由 dependabot 自动提交，属于常规依赖版本维护。
Microsoft Research精选AI 评分6262 微软开源 Agent Lightning v1.0：约 3500 行的轻量智能体 RL 框架
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的智能体强化学习框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与训练，无需在训练框架内重写智能体。
推荐理由：Agent Lightning v1.0 给出约 3500 行的轻量实现与完整训练配方，可据此评估真实 harness 参与 RL 的落地成本。
QMK 固件发布AI 评分1010 QMK 固件 0.34.6 发布
QMK 固件发布 0.34.6 版本，修复了在 milc>=2.0.0 环境下 qmk_userspace 的 fallback 定位问题（#26488）。该版本由 zvecr 于 9 月 30 日打标签，提交 d9f6dd2 已通过 GitHub 签名验证。
QMK 固件发布AI 评分88 QMK 固件 0.34.4 发布
QMK 固件发布 0.34.4 版本，由 zvecr 打上标签。该版本移除了 bootstrap 脚本中 MSYS workaround 的 shebang（#26442）。
ZMK Firmware BlogAI 评分2222 ZMK 社区聚焦系列 #4：Shield Wizard 让自定义键盘固件配置可视化
ZMK 社区聚焦系列介绍 Genteure 开发的 Shield Wizard，一款基于网页的图形化编辑器，让用户无需手动编辑文件或本地安装工具即可在浏览器中完成自定义键盘的 ZMK 固件配置与编译。