xAI 在 GitHub 上正式公开了 Grok Build 项目，这是一款面向开发者的终端界面（TUI）编程智能体。与传统的命令行工具不同，Grok Build 提供了一个全屏、支持鼠标交互的富终端环境，开发者可以直接在其中让 AI 审查代...

Engram是一款专为AI编程代理设计的持久记忆系统，旨在解决智能体在跨会话协作中上下文丢失的痛点。作为一个语言无关的独立Go二进制文件，它底层采用SQLite进行数据存储，并集成了FTS5全文搜索引擎，实现了高效的知识...

伴随AI编程代理（如Devin、OpenHands等）在软件开发流程中的渗透，如何安全地运行这些具备执行代码能力的智能体成为开发者面临的关键挑战。GitHub新开源项目Clawk给出了一种硬核解决方案：它为AI代理创建可即时销毁...

OpenAI最新推出的GPT-5.6-Sol模型被视为一款成本效益极高且运行高效的AI系统，尤其适合日常编程与工程任务，堪称继前代版本之后更为稳定可靠的“主力军”。与此前动辄耗费大量算力的旗舰模型不同，Sol在保持强大代码理...

近期发布的Basecamp Bench基准测试，对GPT-5.6 Sol、Fable 5和Grok 4.5三款前沿大模型在复杂软件工程任务中的表现进行了横向比较。测试聚焦于全栈开发场景，从代理能力、生成成本与输出质量三个维度进行评测。结果显...

著名数学家陶哲轩近日在其博客中分享了如何借助现代“编程代理”类AI工具，以极高效率完成了一系列数学可视化小程序的更新与创建工作。他将自己早在1999年用Java 1.0编写的复分析和线性代数教学小程序，通过AI辅助成功...

一项针对AI编程工具Claude Code与OpenCode的测评显示，在开始读取用户提示之前，Claude Code的系统级指令和工具定义等前置开销就已达到约33000个Token，而OpenCode仅为7000个Token，前者是后者的4.7倍。这一差异源于...

知名AI编程工具Cursor发布的最新内部使用报告，揭示了人工智能在软件开发领域的深刻变革与巨大分化。数据显示，用户间的生产力鸿沟极为悬殊：前1%的重度用户平均每周可生成高达40,000行代码，而中位数用户仅为700行...