标签
一条推文讨论了为什么像 AWS Kiro 和 GitHub Workflows 中使用的规范驱动开发未能流行起来,并引用了 @dexhorthy 的分析。
微软研究在微软研究论坛虚拟系列中宣布了新的工具、模型、仓库和论文,包括MagenticLite、智能体驱动的GitHub工作流、验证优先的智能体以及语义匹配微调。