AI 编程实时动态与要闻

GitHub 于 10 月 28 日（Universe 2026）宣布 GitHub Next 的开源项目 GitHub Agentic Workflows 正式 GA，面向 GitHub Free、Team 和 Enterprise。开发者用自然语言 Markdown 描述 issue 分拣、CI 失败分析、文档更新、写测试等任务，gh aw 把它编译成标准 Actions YAML，由 Copilot 或自带的编码 Agent 执行。GA 新增 ARC 自托管 runner 和 Docker-in-Docker 支持、正式版 gh aw forecast 成本预估、按工作流选模型和模型路由，以及 Cloud Hypervisor / NVX micro-VM 隔离。

查看大图

微软 GitHub 旗下创新实验室 GitHub Next 正式发布 PDD Kit（Property-Driven Development Kit）。针对当前自主编程智能体（Coding Agents）虽然能写出通过基础单元测试的代码、但在边界复杂条件下依然频频崩溃的行业顽疾，PDD Kit 引入了基于形式化数学证明的属性驱动开发规范。系统不再依赖概率性或有限用例的样本测试，而是自动从数学上证明 AI Agent 生成的代码在所有可能输入（For Every Input）下均严格满足预设规约，从根本上杜绝潜在的运行时 panic、越界与逻辑回退，推动 Coding Agent 从“概率代码生成”跨越至“形式化保真交付”。

查看大图

GitHub Next 的 gh-aw 于 2026-09-28 发布 v0.90.0：工作流步骤摘要渲染 friction cost，便于定位 Agent 耗力热点；safe-output 默认允许两次 noop，减少无任务空跑失败；新增五类 trajectory graders 并硬化 generator 契约；基础设施升级 gh-aw-mcpg v0.4.27、gh-aw-firewall v0.28.27。相对 0.89.22 更偏可观测与评测。

查看大图