内容浏览

资讯

搜索中文标题、仓库名或关键词,再用分类、来源和日期缩小范围。

全部内容

最近成功采集

Jev 现已在 LangSmith Evals 中可用

做 AI Agent 的团队常常需要回头检查 Agent 的每一步表现好不好,但原来的办法要么太死板,要么太贵太慢。现在一个叫 Jev 的模型可以直接接入 LangSmith 的评估功能,当“裁判”给 Agent 的行为打分。据文中介绍,它在分类任务上比一般大模型便宜约 450 倍、快约 200 倍,还能一次并行回答多个判断问题。你可以在任意追踪项目的 Evaluators 标签页里直接试用它。

文中可用工具

  • Jev充当 LangSmith 评估中的裁判,对 Agent 行为给出快速、低成本的结构化判断
  • LangSmith用于追踪和评估 Agent 表现的平台,可在其中配置评估器
展开详情收起详情:Jev 现已在 LangSmith Evals 中可用
LangChain Blog
☆ 收藏0 条评论查看原文

Kubernetes 1.37 发布:指标 API 稳定,无根 Kubelet 进入测试版

云原生计算基金会(CNCF)发布了 Kubernetes 1.37 版本,代号“Garhwal”。这次更新主要关注稳定性、安全性,以及对 AI/ML 工作负载的优化。对用户来说,稳定版指标 API 意味着监控工具可以直接依赖它,不用再冒险用试验功能;无根 Kubelet 进入测试版,则让容器运行更安全,即使被攻破也不容易影响整个机器。不过,文章没有说明具体哪些指标 API 转正、无根 Kubelet 什么时候正式可用,也没有提到具体的下载或升级方式。

文中可用工具

提供的材料未提及具体可用工具。

展开详情收起详情:Kubernetes 1.37 发布:指标 API 稳定,无根 Kubelet 进入测试版
InfoQ Architecture & Design
☆ 收藏0 条评论查看原文

你的 AI agent 失败了,问题可能不在模型本身

AI agent 进入生产环境后,从收到请求到给出结果之间的路径越来越难预测:agent 会自己选工具、改路线,即使没有明显报错也可能一路错下去,所以光看日志和输入输出不够,还要弄清它的推理过程、用了哪些工具、在哪里卡住、又为什么换方法。英伟达产品副总裁 Adel el Hallak 在接受 The New Stack 采访时说,要把运行环境当作收集这些信息的地方,并推动约 140 家公司参与的 SAFE(Secure Agent Findings Exchange)共享 agent 失败经验,像传统软件披露漏洞那样让各家都能修补。对开发者来说,这意味着 agent 出问题不一定换模型就能解决,先弄清楚失败发生在模型、编排还是运行层,才知道该调什么。相关工具的实际开放状态和具体获取方式,原文未说明。

文中可用工具

  • OpenShell英伟达的 agent 运行时,负责沙箱、策略执行,并让开发者看到 agent 的执行过程
  • NemoClaw位于 OpenShell 之上的平台,原文未说明其具体用途
  • NOAH英伟达的研究项目,发现固定模型、更换编排框架可以提升 agent 表现
  • Nemotron英伟达的模型系列,被 CrowdStrike 用于微调安全领域的配对 agent
展开详情收起详情:你的 AI agent 失败了,问题可能不在模型本身
The New Stack
☆ 收藏0 条评论查看原文

Cloudflare 测量源站 TLS 偏好,握手重试率从 52% 降至 3.7%

Cloudflare 过去在连接网站服务器时,总是先猜对方偏好某种加密握手方式(X25519),猜错就得重试一次,导致约 52% 的连接要多花一轮。现在它改为逐源站实测,先搞清楚每个服务器的真实偏好再连接,重试率降到 3.7%,p90 延迟减少超过 150 毫秒。抗量子加密握手一次成功的比例从 0% 升到 99.2%,但支持该能力的源站仅 12.8%。读者能感受到网站连接更快、更少卡顿。

文中可用工具

提供的材料未提及具体可用工具。

展开详情收起详情:Cloudflare 测量源站 TLS 偏好,握手重试率从 52% 降至 3.7%
InfoQ Architecture & Design
☆ 收藏0 条评论查看原文

阿里巴巴开源 OpenCodeReview,用于 AI 辅助代码审查

阿里巴巴最近开源了 OpenCodeReview,这是一个用 AI 做代码审查的命令行工具。以往代码审查依赖人工看,费时费力还容易漏掉安全问题。它的做法是:先用固定流程挑出要检查的文件、打包内容、匹配规则,再让大语言模型(AI)动态分析代码。工具内置了对空指针异常、线程安全、XSS、SQL 注入等问题的检查。对开发者的用处是,能在命令行里自动发现常见和安全类代码问题,但原文没有说明具体怎么安装、支持哪些语言以及是否已正式可用。

文中可用工具

  • OpenCodeReview阿里巴巴开源的 AI 代码审查命令行工具,结合固定流程和 LLM 代理做代码分析
展开详情收起详情:阿里巴巴开源 OpenCodeReview,用于 AI 辅助代码审查
InfoQ Architecture & Design
☆ 收藏0 条评论查看原文

Jev 能成为更好的 Agent 评估器吗?

TypeSafe AI 发布了一个叫 Jev 的模型,它不是普通的生成式大模型,不会写文字,而是直接对一段状态给出结构化判断和概率,他们称之为“System One”模型。研究者拿 Jev 当 Agent 评估器,和几个大模型评审(GPT-5.6 Luna、Terra、Claude Sonnet 4.6)做对比,想解决现有评估方式的两个痛点:写代码的评估只能应付固定输入,大模型评审则慢、贵、还不太稳定。结果 Jev 在连续打分上一致性高得多,质量分波动比对手低 92 到 913 倍,同时平均每次只要 0.44 秒、0.00035 美元,总花费 0.34 美元,而 Claude 花了 28.17 美元。不过作者强调这只是个小规模早期测试,还不代表它已经能普遍替代现有方案。

文中可用工具

  • JevTypeSafe AI 发布的 System One 模型,不生成文字,直接对状态返回结构化判断和概率,可用作 Agent 评估器
  • Deep Agents开源 Agent 框架,用来搭建被评估的目标 Agent
  • LangSmith把单次 Agent 运行保存为数据集并回放,方便公平比较不同评估器
  • GPT-5.6 Luna作为 LLM 评审参与对比(原文未说明其具体用途)
  • Terra作为 LLM 评审参与对比(原文未说明其具体用途)
  • Claude Sonnet 4.6作为 LLM 评审参与对比(原文未说明其具体用途)
展开详情收起详情:Jev 能成为更好的 Agent 评估器吗?
LangChain Blog
☆ 收藏0 条评论查看原文

本周 Zed、Anthropic 和 OpenRouter 的动态表明:更好的外围工具比更好的模型更重要

这周最火的几篇文章都指向同一个道理:光有强大的 AI 模型不够,还得有配套的软件框架让它真正好用。Zed 推出了公开测试版 Delta,用共享讨论串取代传统的代码合并请求,让 AI 写的代码更容易审查;Anthropic 把 Claude Chat 和 Cowork 合并成一个界面,用户不用再纠结任务该用哪个模式;OpenRouter 为企业客户推出了美国境内路由,保证数据在美国境内处理。另外,Vercel 的数据显示 AI 推理成本连续三个月下降,8 月每 token 均价降了 23.2%,开源模型的调用量首次超过一半,但闭源模型仍拿走了大部分收入。对普通用户来说,这意味着 AI 编程和对话工具会变得更顺手、更便宜,用起来也更清楚。

文中可用工具

  • Zed代码编辑器和协作工具,推出了 Delta 功能用于审查 AI 编写的代码
  • DeltaZed 的公开测试功能,用共享讨论串组织代码协作,取代传统的合并请求
  • DeltaDB记录代码变更,精确到每次编辑的粒度
  • Claude ChatAnthropic 的对话界面,正在与 Cowork 合并为统一界面
  • CoworkAnthropic 的协作功能,正在合并进 Claude Chat
  • OpenRouter模型路由器,新增美国境内路由功能,为企业客户提供数据处理位置控制
  • Vercel AI GatewayAI 网关,提供模型调用和成本统计
展开详情收起详情:本周 Zed、Anthropic 和 OpenRouter 的动态表明:更好的外围工具比更好的模型更重要
The New Stack
☆ 收藏0 条评论查看原文

“休眠部署悄悄消耗存储”:Vercel 为何收紧免费套餐规则

Vercel 本周修改了免费 Hobby 套餐的部署保留规则:如果团队使用的部署存储超过 10GB,旧的、不受保护的部署会被立即删除,不再像以前那样保留最多 30 天。所有 Hobby 项目保留的最近生产部署也从 10 个减为 3 个,预览部署的额外保护也被取消,但当前生产部署、别名部署、活跃分支上的最新预览以及每个项目最近几次部署仍受保护。Vercel 定价负责人表示,现在每天处理超过 1000 万次部署,同比增长 6 倍多,旧规则是为频繁发布、需要深度回滚历史的团队设计的,对 Hobby 项目不合适,休眠部署占用了活跃项目需要的存储。被删除的部署有 30 天恢复期,用户也可以在设置中恢复;想避免删除可以升级到 Pro 套餐,或按 Vercel 的建议优化部署存储。Vercel 称绝大多数 Hobby 用户不会注意到这一变化。

文中可用工具

提供的材料未提及具体可用工具。

展开详情收起详情:“休眠部署悄悄消耗存储”:Vercel 为何收紧免费套餐规则
The New Stack
☆ 收藏0 条评论查看原文

一位工程师每月向生产环境提交2000个PR,验证是关键

一位在 SpaceXAI 的 Grok 团队工作、曾在 Cursor 和 Meta 任职的工程师 Lauren Tan,公开了她自己的一套智能体工作流 pstack,据称让她每月能向生产环境提交约 2000 个 PR(接近每工作日 100 个),属于极端个例。她认为最关键的是“验证”:让智能体能自己跑起应用、操作并读取结构化结果,一直干到任务完成为止;她把这套能力当成基础设施,而不是普通技能。难点在于这套方法只适合能单进程启动的应用;对于由几十上百个服务组成的分布式系统,目前的本地模拟、整套复制或共享预发环境都难以支撑成百上千个并行智能体。文中的思路是未来的方向,并非已经通用的现成方案。

文中可用工具

  • pstackLauren Tan 的个人智能体工作流,据称让其每月向生产环境提交约2000个PR
  • CLI让智能体启动应用、导航、检查状态并读取结构化 JSON 结果
  • MCP server供智能体调用的接口,用于访问验证环境
展开详情收起详情:一位工程师每月向生产环境提交2000个PR,验证是关键
The New Stack
☆ 收藏0 条评论查看原文

AWS Lambda 将无服务器函数运行时长上限提升至90分钟

AWS 把 Lambda 函数的最长运行时间从 15 分钟延长到 90 分钟,前提是这些函数跑在 Lambda Managed Instances 上。以前的限制是为了让函数快速执行完、按需计费,但很多任务比如大数据处理、模型推理需要更长时间,一旦超时就得拆分或改用传统服务器。这次调整让这类长时间任务能直接留在 Lambda 里运行,普通同步请求的 15 分钟上限不变。对开发者来说,以后部署长任务时选择更多了,但如果任务本身不长,这条变化暂时用不上。

文中可用工具

  • AWS Lambda亚马逊云的无服务器计算服务,上传代码后按需运行,不用自己管服务器
  • Lambda Managed InstancesLambda 中的一种运行方式,允许函数执行更长时间,最长可达90分钟
展开详情收起详情:AWS Lambda 将无服务器函数运行时长上限提升至90分钟
InfoQ Architecture & Design
☆ 收藏0 条评论查看原文

演讲:LinkedIn 的上下文工程——如何用 MCP 为 AI Agent 构建组织级上下文层

LinkedIn 的 Ajay Prakash 介绍了一项内部工作:给写代码的 AI 助手补上它最缺的东西——公司内部的知识。AI 助手在庞大的代码库里常常“找不着北”,不知道内部有哪些工具、流程该怎么走。他们基于 MCP(一种让 AI 助手连接外部工具和数据的开放协议)搭建了“上下文 Agent 手册与工具”,把内部的操作经验、代码搜索和运行手册直接喂给 AI 助手。作者称这套做法让开发效率提升 20%,同时可靠性没有下降。想在企业里落地 AI 编程助手的团队,可以关注其中提到的架构设计和运维护栏。

文中可用工具

  • Model Context Protocol (MCP)一种让 AI 助手连接外部工具和数据的开放协议,用来把内部知识喂给编程助手
展开详情收起详情:演讲:LinkedIn 的上下文工程——如何用 MCP 为 AI Agent 构建组织级上下文层
InfoQ Architecture & Design
☆ 收藏0 条评论查看原文

推出澳大利亚青少年安全蓝图

OpenAI 发布了一份叫“澳大利亚青少年安全蓝图”的文件,用来指导怎么让青少年更安全地使用 AI。它提出六个方面的做法,目标是既保护年轻人,也让他们能更好地使用 AI。目前只是公布了这份路线图,具体怎么落地、什么时候开始都还没说。

文中可用工具

提供的材料未提及具体可用工具。

展开详情收起详情:推出澳大利亚青少年安全蓝图
OpenAI News
☆ 收藏0 条评论查看原文

与谷歌共创时尚的未来

在纽约时装周前,谷歌的 Envisioning Studio 借助 Google Labs,和独立设计师 Jane Wade 与 Sergio Hudson 一起,用 AI 创意工作室 Google Flow 帮他们解决工作流程里的实际麻烦。Jane 的问题是,过去要先做衣服才能看整体造型,试装和选模特往往要花三天;现在她能在数字模特上先搭配服装、发型和配件,提前发现缺什么。Sergio 的难题是预算有限,改灯光和道具都要重新做 3D 渲染、很花钱;新工具让他先在虚拟秀场里换布景和灯光,再定模特走位。结果是这些工具已经在纽约时装周上派上用场,但文章没有说明它们何时向所有人开放,普通人现在还不能直接用。

文中可用工具

  • Google Flow谷歌的 AI 创意工作室,用自然语言就能搭建自己想要的工具或工作流程,无需编程经验
  • Styling Suite和 Jane Wade 共同打造的工具,在数字模特上搭配服装、发型、化妆、配件和鞋子,提前平衡整体造型
  • Runway Visualization和 Sergio Hudson 共同打造的工具,模拟秀场,换布景、灯光和道具,并调整模特走位
展开详情收起详情:与谷歌共创时尚的未来
Google AI Blog
☆ 收藏0 条评论查看原文

新专家加入谷歌AI与经济团队

谷歌最近推出了AI与经济ATLAS v1.0和开放访问网站,用来观察人们在工作与日常生活中如何使用谷歌的AI工具。但只看使用趋势还不够,AI正在改变工作和经济,需要把细致的数据和严谨的经济学研究结合起来。为此,谷歌扩大了AI与经济研究项目,邀请多位知名经济学家加入,包括诺贝尔奖得主Philippe Aghion担任学术顾问,以及Anu Madgavkar和Daniel Rock担任项目研究主管,分别负责全球AI扩散、小企业生态、劳动力影响以及企业生产率等实证研究。对普通读者来说,这意味着未来会有更权威的研究和数据,帮助大家理解AI对就业、经济和社会的影响。

文中可用工具

提供的材料未提及具体可用工具。

展开详情收起详情:新专家加入谷歌AI与经济团队
Google AI Blog
☆ 收藏0 条评论查看原文

告别 Class Path:全新 Java 模块化命令行工具预览

Java 平台团队(JVM Ecosystem Team)的 Danny Thomas 发布了一套新命令行工具 ja 及其配套工具集的预览版,专门为 Java 模块系统设计,对写代码的 AI 代理也很友好。过去 Java 开发者主要靠 IDE 图形界面干活,命令行小工具较少,导致 AI 代理在找依赖、文档和源码时经常犯难。这些工具把模块描述文件变成项目的完整说明,依赖版本直接写在 requires 旁边,并提供 jig、jfmt、jist、jdocserver 等可单独使用、也可组合使用的独立工具。对于使用者来说,以后用 Java 模块会更方便,而且这些工具对自动化代理更友好。目前仍是预览阶段,尚未正式发布。

文中可用工具

  • ja提供命令行使用体验和工具编排,每个功能背后都是一个独立工具
  • jig解析模块版本、编译和组装,输出标准模块系统参数,并充当 Maven 仓库的桥梁,提供模块代理和发布命令
  • jfmt按照 Java 编程语言代码规范(适配现代 Java)格式化源代码,避免代理写代码时常见的空白、缩进、导入顺序等问题
  • jist提供源码感知的符号搜索,类似 grep 的界面,用来理解 class 文件及其关联源码,让编码代理无需索引、LSP 或 MCP 就能访问符号和源码
  • jdocserver在本地提供可浏览的 API 文档服务
  • Maven作为模块坐标、命名空间和仓库发现的基础设施,文中使用 Maven Central 的命名空间约定
展开详情收起详情:告别 Class Path:全新 Java 模块化命令行工具预览
Netflix Tech Blog
☆ 收藏0 条评论查看原文

你的 Pod 申请的 CPU 可能比你以为的多 25 倍——而 Kubernetes 不会告诉你

有人发现,Kubernetes 里 kubectl describe pod 只显示每个容器的资源申请,比如 api-server 容器只写了 40 毫核 CPU,看起来很小。但调度器真正给这个 Pod 预留的却是一整个 CPU 核心(1000 毫核),因为 Pod 里有个做数据库迁移的 init 容器,它启动时需要 1000 毫核,调度器必须按这个高峰来留资源。问题在于,Kubernetes API 从不直接给出这种“整个 Pod 的有效值”,监控工具也只显示单容器数字,导致集群容量估算和成本模型可能差了 25 倍。Dynatrace 表示自己在数据接入时对每个 Pod 自动算好这个正确值,并处理了 Kubernetes 1.34 的 Pod 级资源新特性,其他监控平台据其所知还没做到。对普通读者的用处是:如果你按控制台里的小数字判断节点够不够用、成本高不高,可能会一直算错。

文中可用工具

提供的材料未提及具体可用工具。

展开详情收起详情:你的 Pod 申请的 CPU 可能比你以为的多 25 倍——而 Kubernetes 不会告诉你
Dynatrace Blog
☆ 收藏0 条评论查看原文

在 Datadog IaC 安全扫描中强制执行自定义规则

Datadog 为 IaC 安全扫描加入了自定义规则功能,让企业能检查自己特有的基础设施规定,比如必须打哪些标签、只能用哪些实例类型、资源怎么命名。以前默认规则只能覆盖通用安全问题,内部要求往往得靠人工在代码审查时检查。现在可以用自然语言描述需求,AI 会生成对应的 Rego 策略和示例配置,在编辑器里验证后再发布,并支持版本历史与回滚。发布后,违规结果会出现在拉取请求评论、IDE 插件和 IaC 安全结果浏览器里,还能接入 PR 门禁和自动化流程,无需另建工作流。该功能现已可使用,支持 Ansible、CloudFormation、Dockerfile、Kubernetes、Terraform 和 GitHub Actions。

文中可用工具

  • Datadog IaC Security在部署前扫描基础设施即代码,发现并标记配置问题
  • Rego用来编写自定义策略的规则语言,基于 Open Policy Agent
  • Open Policy Agent提供 Rego 语言和策略执行能力的开源引擎
  • Bits Chat辅助创建策略的对话工具
  • Terraform编写和管理云基础设施的代码工具,自定义规则支持扫描它
  • Ansible自动化配置管理工具,自定义规则支持扫描它
  • AWS CloudFormationAWS 的基础设施即代码服务,自定义规则支持扫描它
  • Dockerfile定义容器镜像构建步骤的文件,自定义规则支持扫描它
  • Kubernetes容器编排平台,自定义规则支持扫描它
  • GitHub ActionsGitHub 的自动化工作流,自定义规则支持扫描它
  • PR Gates在拉取请求阶段拦截违反自定义策略的合并
  • Findings Automation Pipelines根据安全发现结果触发自动化动作
展开详情收起详情:在 Datadog IaC 安全扫描中强制执行自定义规则
Datadog Blog
☆ 收藏0 条评论查看原文

在(足够好的)AI 时代进行审计

一家安全审计公司接到了一个叫 Miden 的零知识虚拟机项目的安全审查任务,这个项目用一种自创的汇编语言 MASM 写加密代码,几乎没有现成的开发工具,代码读起来非常费劲。他们的做法不是直接让 AI 去读代码找漏洞,而是先花六个月时间让 AI 代理从零搭建了一整套工具:代码编辑器插件、反编译器、静态分析引擎,还有一个用 Lean 写的虚拟机执行模型。这些工具帮他们发现了一个真实的安全漏洞——一个没有校验的输入,恶意证明者可以利用它伪造 Falcon 签名并偷走 Miden 账户里的资金;Lean 模型还产出了 95 条机器验证的正确性证明。对于读者来说,这说明 AI 在代码审计中的价值不只是在审代码本身,还可以先帮你造出审代码所需的工具,尤其适合那些缺少工具链的全新项目。目前该案例属于已完成的审计工作,但文中未说明这些工具是否对外开源、能否被其他人直接使用。

文中可用工具

  • Claude用于规划、开发和让 AI 代理编写工具代码
  • Codex用于对 AI 编写的代码进行审查
  • Miden VM被审计的零知识虚拟机项目
  • MASMMiden VM 使用的自定义汇编语言,用于编写加密代码
  • LSP server为 MASM 提供编辑器代码导航、语法高亮等语言支持
  • VS Code extension配合 LSP 服务器在 VS Code 中使用 MASM 语言功能
  • Lean用于对 Miden VM 执行器建模并产出机器验证的正确性证明
  • FalconMiden VM 中使用的签名方案,存在可被伪造的安全漏洞
展开详情收起详情:在(足够好的)AI 时代进行审计
Trail of Bits Blog
☆ 收藏0 条评论查看原文

代码审查正在压垮你最好的工程师

很多团队让最优秀的工程师去审查大量由 AI 生成的代码,结果他们被审查排队淹没,做不完也不喜欢做。问题在于 AI 写代码时没把“为什么这么写”的推理留下来,审查者只能从代码差异里倒推意图,而且这些代码往往看起来很对、实际上会出错。文章建议把审查负担移走:把反复出现的评论变成自动规则,保留生成代码时的意图作为验收标准,并衡量和奖励验证工作。对读者来说,这说明 AI 提效的同时,可能把压力转移到了代码审查环节,需要用流程和工具来补上。文章提到 Aviator 的 Verify 用于捕捉提示和智能体会话中的意图,原文未说明其是否已公开发布。

文中可用工具

  • VerifyAviator 的产品,用来从提示和智能体会话中捕捉意图,并整理成验收标准,帮助审查者判断改动方向是否正确。
展开详情收起详情:代码审查正在压垮你最好的工程师
The New Stack
☆ 收藏0 条评论查看原文

开放权重模型在 Vercel AI Gateway 上处理多数 token,但 Anthropic 仍占 64% 支出

Vercel 运营着一个中转站(AI Gateway),帮开发者用统一接口调用多家 AI 模型,并记录每月流量和花费。最新报告显示,2026 年 8 月开放权重模型(权重公开、可自行部署的模型)处理了网关里 56% 的 token,这是它第一次超过一半;但按金额算,这些模型只分到每 1 美元中的 14 美分,而 Anthropic(Claude 的开发商)拿走了 64 美分。原因是开源模型通常更便宜,所以用量大不等于收入高。对读者的用处是:如果你在选模型,可以看到便宜模型正被大量使用,但企业愿意为 Claude 这类专有模型持续付费;同时模型换代时用户会跟着价格和能力走,而不是死守品牌。

文中可用工具

  • Vercel AI Gateway一个统一接口,让开发者通过它调用多家 AI 模型,省去分别管理 API 密钥和账号的麻烦
  • DeepSeek提供开放权重模型,价格通常比美国前沿实验室的专有模型便宜
  • Moonshot AI提供开放权重模型,价格通常较低
  • Z.ai提供开放权重模型,价格通常较低
  • GLM-5.3-FlashZ.ai 新发布的模型,发布五天内日处理量达到前代 GLM-5.2 的三倍
  • GLM-5.2Z.ai 的上一代模型,被新版本超越
  • Fable 5Vercel 报告中提到的一个模型,支出份额从 7 月的 13.2% 降至 8 月的 4.9%
  • Opus 5更便宜的模型,支出份额升至 22.5%,承接了从 Fable 5 转移的工作负载
  • Gemini 3 FlashGoogle 的模型,其用量下降导致 Google 在网关 token 份额从 30% 跌至 5%
展开详情收起详情:开放权重模型在 Vercel AI Gateway 上处理多数 token,但 Anthropic 仍占 64% 支出
The New Stack
☆ 收藏0 条评论查看原文