**使用AI编写10万行Rust代码的经验总结**

_Learnings from 100K lines of Rust with AI (2025)_

> 作者分享了使用多种AI编程助手（如Claude Code、Codex等）在约3个月内完成一个基于Rust的多Paxos共识引擎项目的经历。项目实现了Azure RSL的全部功能，并优化了性能。文章重点介绍了三个关键经验：1) 利用AI驱动的代码契约确保正确性；2) 应用轻量级规范驱动开发；3) 进行激进的性能优化。作者强调了AI带来的巨大生产力提升，并展示了具体的技术方法，如由AI生成代码契约和测试用例。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：tip
- **发布时间**：2026-05-20 18:04（北京时间）
- **原文**：[打开原文](https://zfhuang99.github.io/rust/claude%20code/codex/contracts/spec-driven%20development/2025/12/01/rust-with-ai.html)