雅娴： Vibe Coding是AI专家、前OpenAI联合创始人Andrej Karpathy提出一种新的编程范式，指的就是不用像传统程序员一样一行一行敲代码，而是用自然语言描述，让大语言模型来生成代码。如果Vibe Coding能实现从编程语言向自然语言这种范式转移，意味着程序员不需要再去看代码的细节，只做一些指导或者评论反馈，就能实现编程的需求。

Claude 4家族正式发布，包含Claude Opus 4和Claude Sonnet 4两个版本，直接把编程AI的天花板又顶高了一截。 相比前代Sonnet 3.7，Sonnet 4在编程和推理能力上都有显著提升，在SWE-bench上拿下了72 ...

GitHub上的热门项目会随时间、技术趋势和开发者需求动态变化，但截至2025年，以下几类代码项目通常保持较高热度，涵盖AI、工具链、低代码开发及跨平台框架等领域，以下为具体分析： LlamaIndex（原Index.me等） ...

【新智元导读】数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？

梦晨 发自 凹非寺量子位 | 公众号 QbitAI Mistral沉默好久，果然在憋大招。 刚刚发布最新开源编程模型Devstral，在软件工程任务上一举超过DeepSeek全家桶和Qwen3 235B。

除了近两天大会内容披露的AI编程工具，美国初创软件设计公司Figma发布类似Lovable的AI编程功能FigmaMake。国内大厂中，阿里云基于自研Qwen3 ...

在2025年5月20日的Google I/O开发者大会上，谷歌宣布其AI编码助手Jules正式进入全球公测阶段，面向所有拥有Google和GitHub账户的开发者开放。 这一基于Gemini2.5Pro模型的异步编码代理，旨在通过自动化处理繁琐的编码任务，如修复Bug、编写测试和更新依赖，提升开发者效率。 异步任务处理与GitHub无缝集成 Jules通过在Google Cloud虚拟机（VM）中 ...

在昨晚举行的 Build 2025 开发者大会上，微软正式宣布 GitHub Copilot Extension for VSCode 项目开源，并采用 MIT 许可证。这一举措标志着全球开发者将能够免费访问这一先进 AI ...

微软昨日（5 月 19 日）发布博文，宣布将以 MIT 协议授权方式，开源 GitHub Copilot Chat 扩展的代码，并将其核心功能整合到 Visual Studio Code 中，并推动 VS Code 向开源 AI 编辑器转型。

IT之家 5 月 19 日消息，Android 平台 Windows 游戏模拟器 Winlator 的项目开发者 BrunoSX 曾在 4 月下旬突然宣布暂停开发，但如今其官方 GitHub 页面已更新，表示开发者即将回归。 Winlator ...

微软旗下的代码托管巨头GitHub近期宣布了一项创新举措，正式推出了名为Copilot AI代理的全新智能工具。这款工具融合了前沿的人工智能技术，旨在为开发者提供一个自动化解决重复性编程任务的高效方案，从而大幅提升他们的工作效率与代码质量。

伴随着编程智能体的发展，“人类可以放弃编程了，将繁琐的写代码工作通通都丢给AI”，诸如此类的言论层出不穷，其中也不乏许多科技公司的CEO表示赞同，例如Replit的CEO Amjad Masad就在他的社媒这样写道： ...