在当今快节奏的软件开发领域，AI 正逐渐成为简化工作流程、加速编码任务和确保代码质量的关键工具。然而，尽管前景...

Codeium 团队推出全新的 AI 集成开发环境（IDE）—Windsurf Editor。这款编辑器结合了...

无限光年推出开源代码语言模型 OpenCoder，它旨在为代码生成、推理任务和代理系统等领域提供支持。Open...

软件开发领域在过去几年中见证了 AI 代理的爆炸性使用，这些工具承诺提高生产力、自动化复杂任务并使开发者的日常...

近年来，形式化软件验证在确保软件可靠性方面的重要性日益增加，特别是在航空航天工程、金融和医疗保健等关键领域。C...

亚马逊网络服务（AWS）近日宣布，将推出其 Amazon Q 开发者 AI 助手作为附加功能，使开发者可以直接...

GitHub Copilot 自推出以来，一直在自动完成代码行甚至整个代码片段。现在，GitHub 在其年度 ...

在今天的 GitHub Universe 大会上，GitHub 宣布了一系列重大新产品和更新，其中包括将 Co...

GitHub 正在为其 Copilot 代码补全和编程工具采用多模型策略，允许开发者从多个 AI 模型中选择最...

知名的开发工具和 IDE 提供商 JetBrains，近日推出了 Mellum，这是一个新的专有大语言模型（L...

大语言模型（LLMs）已经在多个领域取得了显著进展，特别是在代码补全方面。这些模型能够根据开发者的先前输入预测...

Foyle 是一个与 VSCode 笔记本集成的 AI 助手，通过 Runme 扩展实现。它通过让你用自然语言...