据《金融时报》援引知情人士消息，甲骨文正领跑一项极具战略意义的云服务竞标，计划为日本政府提供“气隙”（air-gapped）云基础设施。该项目被视为美日同盟深化情报共享的关键一步。所谓“气隙”网络，是指将敏感数据存...

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

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

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

微软在其Foundry平台和Copilot系列产品中已大规模部署AI代理，背后是一套精妙的工程化机制。微软核心AI产品副总裁Marco Casalaina指出，将检索建模为独立的子代理是成功的关键，这种设计让复杂任务可以分解为多个专...

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

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

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