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

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

谷歌在GitHub上正式开源了一款名为Mantis的模块化安全审查技能工具箱，专为AI编码代理（Coding Agents）设计，旨在实现漏洞的自主发现、复现与修复。Mantis的核心设计理念是“解耦、顺序化、安全聚焦”，它并非一套僵...

本文对 xAI 官方发布的 Grok Build 编程命令行工具（CLI）版本 0.2.93 进行了深度的线缆级流量分析，重点探究该工具在与 xAI 服务器交互时实际传输和存储的数据内容。分析结果显示，CLI 会将其读取的文件内容原封不...

近日，一个名为 Open-Inspect 的开源后台编码代理系统在开发者社区引起关注。该系统专为单租户部署设计，允许用户在共享开发环境中实时协作执行各类编码任务。与传统编码助手不同，Open-Inspect 强调后台持续运行与...

Mindwalk是一款专注于提升编程智能体交互透明度的可视化工具，它通过将整个代码仓库抽象为一座三维城市地图，来重放编程Agent的工作会话。在这个独特的“城市场景”中，文件结构化作街区与建筑，Agent的浏览路径、编辑...

PostgreSQL虽以稳定著称，但在缺乏专职DBA的团队中，宕机事件远比想象中普遍。文章系统梳理了困扰一线运维的四大类问题：一是vacuum进程未及时清理死元组，导致表膨胀和查询性能雪崩；二是事务ID回卷（wraparound）...

据彭博社报道，中国人工智能实验室智谱AI（Z.ai）的创始人唐杰在一份内部备忘录中鲜明表态，主张前沿人工智能的能力应当保持“尽可能开放与广泛可及”。作为国产大模型GLM系列的研发者，智谱AI长期践行开源战略，其Cha...