Toward Compute-Backed Open Source Contributions
Coding Agent 让 PR 更容易生成，也暴露了自动验证的算力成本与维护者注意力之间的差异。本文探讨将受限验证预算附着于 PR、由项目控制执行并生成可信证据的机制，以及它需要验证的两个独立假设。
标签：软件工程
2 篇Toward Intent-as-Code for Programming Agents
探索以不完整程序、类型、注解和明确的实现空缺作为 Coding Agent 的交互界面：由开发者保留结构性判断，由 Agent 澄清关键歧义、局部补全并提交可验证的变更。