AWS近期预览了一款名为Kiro的革命性AI集成开发环境（IDE），该工具由Anthropic的Claude AI驱动，被定位为“代理型IDE”。Kiro通过先创建详细的技术规范和用户故事，再生成实际代码的工作流程，从根本上解决了当前AI生...

人工智能领域再现重磅收购——AI编程助手Devin的开发商Cognition近日完成对Windsurf的收购，此举涉及Windsurf剩余的250人团队及8200万美元年经常性收入(ARR)业务。此前Google DeepMind以24亿美元反向收购仅带走Windsur...

近期，一篇关于强化学习（RL）如何扩展至惊人10^26 FLOPs（每秒浮点运算次数）的探讨引起了业界广泛关注。文章指出，强化学习被视为构建前沿AI模型，尤其是大型语言模型（LLMs）的下一个核心训练技术。传统观点认为...

Mistral AI与All Hands AI联合发布了最新的Devstral中型模型，以及升级版的Devstral小型模型1.1。这两款新模型专为智能编程任务进行了优化，标志着人工智能在代码智能化领域中的又一次重要进步。Devstral小型模型1.1...

Jank是一种通用编程语言，同时也是Clojure的方言，它结合了Clojure的交互式开发体验与本地编译能力，通过C++和LLVM实现了极低的运行时开销。Jank允许开发者在REPL中快速迭代，无缝集成原生C++代码，并编译为高效的机...

Replit与微软宣布建立战略合作伙伴关系，共同推出基于自然语言的企业级应用开发解决方案。这一创新合作将Replit的Vibe Coding技术与微软Azure云服务深度整合，使企业用户无需具备专业编程技能，即可快速构建并部署安...

近日，研究人员发布了新一代商业级大语言模型Mercury，该模型基于扩散模型技术，采用Transformer架构进行参数化，并能够并行预测多个token。报告重点介绍了Mercury Coder，这是首套专为编程应用设计的扩散大语言模型...

即将发布的Lean 4.22版本带来了一项激动人心的新功能——针对命令式程序属性的验证基础设施预览。这一突破性进展允许开发者通过形式化方法证明命令式程序的正确性，标志着定理证明工具向实用化迈出重要一步。作者Marku...