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

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

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

LangChain正式发布了OpenWiki Brains项目，为AI智能体引入了一种“主动记忆”机制。与传统被动检索知识库不同，OpenWiki Brains允许智能体自主地从Gmail、Notion、Git、X（原Twitter）、Hacker News以及网络搜索等日常...

在前后端分离与微服务架构盛行的今天，Node.js 和 TypeScript 生态对数据层的抽象与管理提出了更高要求。Prisma 作为一款面向未来的开源 ORM 工具，提供了极富类型安全的数据库查询方式，极大降低了开发者面对复杂 S...

OpenAI 近期对当前广泛使用的 AI 编程能力评估基准 SWE-Bench Pro 进行了一次系统性审计，结果发现约 30% 的任务存在严重瑕疵，令该基准的可靠性与准确性备受质疑。此次审计由 Anthropic 团队执行，结合了自动化筛查...

NVIDIA近期通过一篇官方博客深入探讨了数据在构建强大AI智能体中的核心地位，明确指出开放数据和合成数据是推动下一代AI发展的关键要素。随着AI系统日益复杂，特别是需要具备推理、规划和工具调用等高级能力的智能体...

埃隆·马斯克旗下的人工智能公司SpaceXAI正式推出了新一代大语言模型Grok 4.5，将其定位为公司在编码、智能代理任务和知识工作领域的最强模型。官方披露，该模型在训练过程中与流行AI编程工具Cursor进行了深度协同优...