英伟达将向中国推新款 RTX PRO GPU

7 月 15 日，英伟达创始人兼首席执行官黄仁勋在北京表示，美国政府已经批准了英伟达的出口许可，英伟达将开始向中国市场销售H20芯片。英伟达恢复 H20 在中国的销售的同时推出“面向中国市场的全新且完全兼容的”RTX PRO GPU，该产品据称“是为智能工厂和物流打造数字孪生 AI 的理想选择”。

另据台湾媒体《电子时报》的说法，NVIDIA RTX PRO GPU 可能会被称为 RTX PRO 6000 D Blackwell，将采用台积电 4N 定制工艺，配备 GDDR7 显存，内存带宽 1.1TB/s。

该新款 RTX PRO GPU 将于今年三季度启动供应，到年底的出货量目标是 100~200 万片，场景面向企业 AI 部署、AI 工作站等应用。

亚马逊推出规范驱动的 AI IDE Kiro

亚马逊正在发布一款新的 AI IDE，以对抗 Cursor 或 Windsurf 等竞争对手。Kiro是一款Agent编辑器，它利用规范驱动的开发方式，将“流畅的编码体验”与“清晰的规范”完美结合。

据亚马逊称，开发人员使用规格进行规划和清晰度，并且他们也可以以同样的方式使代理商受益。  

Kiro 中的规范是一种工件，可以在需要深入思考某个功能、重构需要前期规划的工作或开发人员想要了解系统行为的情况下使用。 

Kiro 还具有钩子功能，这家公司将其描述为事件驱动的自动化功能，可触发代理在后台执行任务。据亚马逊自称，Kiro 钩子就有点像一位经验丰富的开发人员，可以捕捉到你遗漏的内容，或者在你工作时完成样板任务。 

使用 Kiro 规范和钩子进行构建的基本工作流程包含四个步骤。首先，Kiro 从单个提示中解压需求，并创建包含简易需求语法 (EARS) 符号验收标准的用户故事，以便开发者验证 Kiro 是否正在构建他们所需的内容。例如，提示“为产品添加评论系统”将引导创建用于查看、创建、筛选和评分评论的用户故事。 

接下来，它分析现有的代码库和规范要求，以创建包含数据流程图、TypeScript 接口、数据库模式和 API 端点的设计文档。 

然后，Kiro 创建任务和子任务，并根据依赖关系对它们进行排序，并将每个任务与需求关联起来。每个任务都将包含单元测试、集成测试、加载状态、移动响应能力以及可访问性要求等详细信息，以便实施。

最后，在保存或创建文件时执行钩子，例如在保存 React 组件时更新测试文件，或在 API 端点更改时更新 README 文件。

Kiro 还包括 MCP 支持、AI 行为控制规则和Agent聊天模式等功能。 

Kiro 在公告中还写道：“我们的愿景是解决软件产品开发中那些难以克服的根本挑战——从确保跨团队设计一致性、解决需求冲突，到消除技术债务、严格代码审查，以及在高级工程师离职后保留机构知识。人机协作构建软件的方式仍然混乱且碎片化，但我们正在努力改变这种现状。Specs 是朝着这个方向迈出的重要一步。 ”

Akka 推出分布式代理 AI 平台

Akka 是一家提供构建分布式应用程序解决方案的公司，它正在推出一个用于在分布式系统上扩展 AI 代理的新平台。 

Akka 首席执行官 Tyler Jewell 这样表示说：“代理系统迫使 IT 领导者重新思考他们的技术栈。IT 系统必须从控制预定义的工作流程转变为管理在包含非确定性 LLM 的开放式环境中运行的智能自适应系统。扩展这些系统并提供可靠的输出是一项巨大的挑战，它重新定义了 SLA 的含义。Akka 的独特之处在于，我们为 IT 部门提供了在企业范围内解决这一问题的工具，并让企业充满信心。”

Akka Agentic Platform由四个集成化产品组成：Akka Orchestration、Akka Agents、Akka Memory 和 Akka Streaming。 

Akka Orchestration 允许开发人员引导、调节和控制多智能体系统。它提供容错执行功能，即使发生崩溃、延迟或基础设施故障，智能体也能可靠地完成其任务。

Akka Agents 为代理系统提供了设计模型和运行时，允许创建者定义代理如何收集上下文、原因和行为，而 Akka 则处理代理运行所需的所有其他事项。 

Akka Memory 是持久的内存分片数据，可用于为代理提供上下文、保留历史记录和个性化行为。数据保留在组织的基础架构中，并在 Akka 集群之间进行复制、共享和重新平衡。 

Akka Streaming 提供对实时数据、指标、音频和视频的持续流处理、聚合和增强。流可以从任何来源提取，并且可以在代理、Akka 服务和外部系统之间传输。流式输入可以触发操作、更新内存或为其他 Akka 代理提供数据。 

该公司为 Agentic 平台提供 99.9999% 的 SLA、企业级安全性（符合 SOC 1 Type II、SOC 2 Type II、PCI-DSS Level 1 和 ISO 27001）、Akka IP 和第三方依赖项的赔偿，并且可通过商业源许可证获取源代码。

相关地址：

https://akka.io/blog/announcing-akkas-agentic-ai-release

Laravel AI 聊天插件发布

Laravel AI 聊天入门套件（Laravel AI Chat Starter Kit）由 Pushpak Chhajed 创建，是一款现代级的入门套件，它使用 Prism、Inertia.js、Vue.js 和 Tailwind CSS 实现实时流式响应。如果想快速搭建一个具有 AI 聊天功能的新 Laravel 应用程序，这是一个不错的起点。

该套件的主要特点总结如下：

• 实时 AI 响应：在 AI 响应生成时进行流式传输

• 推理支持：内置对具有推理能力的人工智能模型的支持

• 多家 AI 提供商：支持 OpenAI、Anthropic、Google Gemini、Ollama、Groq、Mistral、DeepSeek、xAI 和 VoyageAI

• 身份验证系统：内置用户身份验证和管理

• 外观设置：支持系统偏好检测的亮/暗模式

• 自定义主题： Shadcn 集成允许通过 CSS 变量轻松定制主题

• 聊天共享：与其他用户分享对话

开发者可以使用以下方式安装此入门套件：

laravel new --using=pushpak1300/ai-chat my-ai-chatcd my-ai-chatcomposer run dev

作为此入门套件的一部分，它还附有一个app/Enums/ModelName.php文件可供你自定义想要的Model名称。

开源编译器 GCC 12 系列的最终更新“GCC 12.5”已发布

GCC于7月11日发布了开源多语言编译器“GCC 12.5”。

GCC 是“GNU Compiler Collection”（GNU 编译器集合）的缩写。它是一个支持 C、C++、Objective-C、FORTRAN 和 Java 等多种开发语言的编译器。目前，它已作为标准配置安装在包括 Linux 在内的各种基于 UNIX 的操作系统上。

“GCC 12.5”是“GCC 12”系列（最新版本为 GCC 15）的更新版本。它修复了 GCC 12 分支中累积的 241 个错误。

此版本计划作为“GCC 12”系列的最后一个定点版本。强烈建议“GCC 12”用户迁移到最新版本。

“GCC 12.5”可从其镜像站点免费下载与使用。

地址传送门：https://gcc.gnu.org/mirrors.html

作者：行动中的大雄