AWS意识到大多数开发者并不按照其基于Visual Studio Code的智能体IDE工具Kiro所鼓励的规范驱动方式工作,因此正在为Kiro添加两个新的软件开发工作流程,以满足开发者的实际需求:在现有项目上工作和修复错误。
Kiro最初的愿景是通过规范驱动开发(SDD)流程来帮助开发者:他们需要预先明确自己的意图和需求,然后Kiro帮助他们实现目标。
然而,这并不符合开发者的实际情况。
博通公司的现场可靠性工程师Advait Patel表示:"我们大多数人并不是从全新的想法开始。我们从现有的代码库、复杂的错误或已经达成一致的设计开始工作。新的工作流程让人感觉Kiro承认了这一现实,并为人们提供了更容易进入规范方法的入口点。"
AWS智能体AI高级产品经理Ankit Sharma在博客文章中写道,通过Kiro的第一个新工作流程——设计优先,开发者可以从他们已有的技术方案开始,比如架构决策或实现草图,让Kiro从这个起点派生出需求、设计规范和任务计划。
另一方面,错误修复工作流程直接针对棕地开发,即工程师在现有代码库上进行完善和维护工作。
Sharma写道,错误修复工作流程不是直接跳到代码更改,而是推动开发者首先记录当前行为、期望行为以及应该保持不变的内容,有效地将调试转变为轻量级的规范练习。
Sharma表示,这些变化是对Kiro用户反馈的回应,这些用户不想放弃规范的结构,但发现当前的流程不够灵活。
分析师认为这一变化更多是对Claude Code、Cursor和GitHub Copilot等竞争对手的回应,这些工具并不推广严格的规范驱动规范,但在开发者中很受欢迎。
HyperFrame Research的AI技术栈负责人Stephanie Walter说:"这些工作流程承认了开发者行为的胜利。规范驱动开发在智力上很有吸引力,但在文化上很沉重。开发者越来越倾向于快速的对话式工作流程,因为它们更快、更容易使用。"
Walter补充说,新的工作流程是一种"混合"策略,通过允许开发者"先构思,后形式化",足够放松SDD规范以吸引开发者。
不过,The Futurum Group首席信息官实践副总裁Dion Hinchcliffe并不认为新的工作流程足以吸引开发者,因为他们更可能选择为速度而构建的编程工具。
Patel对此表示赞同:"开发者很务实。如果工具能够端到端地节省时间,他们就会采用它。"
不过,选择工具的并不总是开发者,有些工具可能更吸引管理者。Hinchcliffe说,Kiro就是这种情况:它更可能受到更有纪律的开发团队和需要治理和可审计性的生产用例的青睐。
实际上,这位分析师建议首席信息官们与Kiro的方法保持一致:"对于首席信息官来说,如果你为结果付费,'快速错误'修复会更昂贵。企业关心的问题不是工具是否更慢,而是它是否能够明显降低变更失败率和平均恢复时间。"
Q&A
Q1:Kiro是什么工具?主要功能是什么?
A:Kiro是AWS推出的基于Visual Studio Code的智能体IDE工具,最初设计用于规范驱动开发(SDD)流程。它帮助开发者通过预先明确意图和需求,然后协助实现目标。现在AWS为其添加了设计优先和错误修复两个新工作流程。
Q2:设计优先工作流程如何工作?
A:设计优先工作流程允许开发者从他们已有的技术方案开始,比如架构决策或实现草图,然后让Kiro从这个起点派生出需求、设计规范和任务计划,而不需要从零开始制定完整规范。
Q3:为什么AWS要为Kiro添加这些新工作流程?
A:因为大多数开发者不是从全新项目开始工作,而是在现有代码库、修复错误或基于已有设计进行开发。AWS意识到原有的严格规范驱动方式不够灵活,无法满足开发者的实际工作需求。
好文章,需要你的鼓励
苹果已开始在印度分阶段恢复Apple账户的信用卡支付功能,用户可绑定Visa和Mastercard信用卡及借记卡,用于购买iCloud+、Apple Music订阅及App Store应用。此前,由于印度储备银行于2021年推出新的周期性支付监管框架,苹果于2022年5月暂停了该支付方式。此次恢复标志着苹果在适应各国本地化监管要求方面的持续努力,同时也引发外界对苹果是否将在印度推出Apple Pay的新猜测。
腾讯混元等机构提出HiLS-Attention,通过端到端可学习的分层稀疏注意力机制,让大模型在超长上下文推理中比全量注意力快14倍,同时检索准确率更高。
Bookshop.org创始人Andy Hunter证实,与Kobo的合作集成将于今年落地。此前该计划历经多次推迟,网页措辞一度从"2026年"改为"未来某时"。Hunter表示,双方已就商业条款达成一致,工程团队正将资源重新投入Kobo支持开发,但尚无具体上线日期。该集成将支持数字版权管理要求,让用户通过Bookshop.org购买电子书,同时支持独立书店。
DSpark是DeepSeek与北京大学提出的投机解码框架,通过半自回归生成和置信度调度验证两项创新,将DeepSeek-V4用户生成速度提升60%至85%。