跨栏目检索

搜索归档

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

AI 编程

最近成功采集
当前筛选:2026-10-30 ×

AWS Hydro团队希望让编译器捕捉编程智能体的错误

AWS 的 Hydro 团队正在开发一个开源 Rust 框架,用来编写分布式系统(即同时跑在多台机器上的软件)。现在他们的大部分代码由 AI 编程智能体生成,人力主要负责把关,于是出现了长达约 5000 行、难以拆分的改动,人工审查跟不上。更麻烦的是,智能体常同时写代码和单元测试,测试未必可信。他们的做法是在智能体的“信任范围”之外加入由编译器执行的共享正确性检查,像 Rust 借用检查器那样在运行前就发现问题,让智能体立刻得到反馈。Hydro 目前是早期版本,适合对延迟和吞吐有要求的团队,但还不完善、需要学习;相关工具 Hydro 和 Infinity 已开源,由 AWS 与加州大学伯克利分校联合开发。

文中可用工具

  • Hydro开源 Rust 分布式系统框架,可在编译阶段检查多类错误并给智能体即时反馈
  • Infinity开源智能体运行时,等待工具调用或 CI 任务时暂停智能体以节省资源
  • RustHydro 使用的编程语言,其借用检查器可在运行前发现竞态条件
展开详情收起详情:AWS Hydro团队希望让编译器捕捉编程智能体的错误
The New Stack
☆ 收藏0 条评论查看原文

Anthropic 称没人需要对 Claude Code 保持完整心智模型,实践者们正在验证这一说法

Anthropic 公布了 Claude Code 团队在 Claude 写出约 90% 代码后如何审查代码的做法。文中提到,团队里没有人对代码库保持完整的心智模型,也就是没人能在脑子里装下整个代码的全貌。他们还记录了一次拉取请求在一夜之间跑了五十多轮审查,以及审查者把大部分精力花在已有代码上。不过团队也承认,目前还缺一项他们想要的控制手段。这些说法是否站得住脚,正被一线实践者检验。

文中可用工具

  • Claude CodeAnthropic 的 AI 编程工具,在本文情境中负责撰写大部分代码并参与代码审查
展开详情收起详情:Anthropic 称没人需要对 Claude Code 保持完整心智模型,实践者们正在验证这一说法
InfoQ Architecture & Design
☆ 收藏0 条评论查看原文

如何在“不能出错”的系统里使用 AI Coding?分布式存储实践与边界

美团基础技术部把 AI 编程(让 AI 帮忙写代码、查代码)用到了分布式存储系统里。这类系统一旦出错就可能导致数据丢失或服务不可用,所以光“写得快”不够。他们的做法是:让 AI 做代码评审、排查问题和自动化开发,但要求结论必须能被验证——比如用测试把问题复现成“红灯”、用接近真实环境的集成测试排除误报、用线上日志确认问题真的发生过。实践发现 AI 能抓跨文件不一致、删代码留下的隐患,也会因不懂运维流程而误判,所以人仍需把关定级和设计决策。读者可参考这套“提效+验证”的方法,守质量和稳定性底线。

文中可用工具

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

展开详情收起详情:如何在“不能出错”的系统里使用 AI Coding?分布式存储实践与边界
美团技术团队
☆ 收藏0 条评论查看原文