GitHub官方博客宣布，其AI编程助手Copilot的编码代理功能（Coding Agent）正式开放公开预览。该功能允许开发者将技术债务和积压问题委托给AI代理处理，从而专注于更具创造性和高影响力的工作。据GitHub透露，Copilot...

OpenAI近日发布了其AI编程助手Codex的研究预览版，这一突破性技术基于GPT-3模型，专门针对代码生成和编程任务进行了优化。Codex能够理解自然语言指令并将其转化为功能性代码，支持包括Python、JavaScript、Go等在内...

在被OpenAI收购后，Windsurf正式推出全新编程专用模型家族：旗舰级SWE-1（性能对标Claude Sonnet 3.5）、无使用限制的SWE-1-lite以及轻量版SWE-1-mini。该公司宣称，这些基于非完整代码状态和多工作界面训练的专业模...

大型语言模型（LLMs）在代码生成领域已取得显著成就，但其输出仍常因缺乏形式化约束而出现编译错误。针对这一挑战，研究者提出了一种创新的类型约束解码方法，通过类型系统引导代码生成。该研究开发了新型前缀自动机...

AI编程工具开发商Anysphere近日完成9亿美元新一轮融资，由Thrive Capital领投，估值飙升至90亿美元。现有投资者a16z和Accel跟投。该公司旗下产品Cursor作为AI辅助编程工具的代表，正引发行业高度关注。值得注意的是...

知名软件开发工具提供商JetBrains近日正式推出智能编码助手Junie，现已面向所有JetBrains用户开放。Junie是一款具备自主协作能力的AI编程助手，能够独立完成开发任务或与开发者协同工作。该工具通过深度理解项目上下...

近日，Continue (YC S23)正式发布了一款创新产品——支持用户创建定制化AI代码助手的平台。该平台旨在通过灵活的配置和强大的AI能力，帮助开发者根据自身需求打造专属的编程助手，从而提升开发效率。Continue的核心技...

厌倦了那些只会生成通用代码的AI编程助手吗？Augment Code与众不同：它是目前最具上下文感知能力的开发者AI。Augment能够深度理解你的团队如何构建软件，实时学习你的整个代码库、文档和依赖项。即使面对超过1000万...