Hacker News 中文摘要

RSS订阅

从10万行Rust代码与AI中学到的经验（2025） -- Learnings from 100K lines of Rust with AI (2025)

原文链接 | HN讨论 | 2026-05-20 23:55:54

文章摘要

文章核心内容：作者利用AI编程助手在3个月内开发了一个基于Rust的现代化多Paxos共识引擎，性能提升显著（从2.3万操作/秒提升至30万操作/秒）。项目不仅复现了Azure RSL库的核心功能，还针对现代硬件进行了优化。作者分享了AI辅助编程的关键经验，包括代码契约验证、轻量级规范驱动开发等，并展望了AI编程的未来发展。

文章总结

《基于AI辅助开发10万行Rust代码的经验总结》

作者在2025年12月分享了使用AI编程助手开发分布式系统的实践经验。通过3个月时间，作者使用Rust语言重写了Azure的复制状态库(RSL)，实现了多Paxos共识引擎的现代化改造，最终代码量达13万行，性能从2.3万操作/秒提升至30万操作/秒。

项目背景： 1. 原RSL存在三大局限：缺乏流水线处理、不支持非易失性内存(NVM)、未充分利用RDMA网络 2. 现代化改造可显著降低延迟、提高吞吐量

开发效率： 1. 使用Claude Code和Codex CLI等AI工具，配合VS Code进行代码审查 2. 采用订阅服务形成心理激励，保持高效开发节奏

关键技术： 1. 代码契约：通过AI生成函数的前置条件、后置条件和不变式，并转化为运行时断言 2. 轻量级规范驱动开发：使用/specify生成用户故事，通过/clarify进行自检和完善 3. 性能优化：AI辅助进行延迟分析、瓶颈定位和实施优化，最终性能提升13倍

未来展望： 1. 端到端用户故事执行自动化 2. 契约工作流自动化 3. 自主性能优化能力

项目现状： 1. 已解决流水线处理和NVM支持两大问题 2. 代码测试覆盖率超过65% 3. 包含1300多个测试用例

注：原文中的图片引用和部分技术细节链接已省略，保留了核心的技术方法和项目成果描述。

评论总结

以下是评论内容的总结，平衡呈现不同观点并保留关键引用：

  1. 对AI生成代码效率的质疑

    • 认为AI生成的代码量过大且效率低下： "It's almost guaranteed with agents you could do the same job with less than half of 100k lines" (staszewski) "Rust supposed to be more expressive... Yet, AI generated 130k LoCs" (kikimora)

  2. 测试覆盖率的争议

    • 对测试数量与代码量的比例表示担忧： "1300 tests for 130k lines... isn't this awfully low?" (torben-friis) "How many of those tests have you actually read yourself?" (icemanx)

  3. Rust语言与AI配合的挑战

    • 指出AI处理Rust生命周期的问题： "AI constantly defaults to spamming .clone()... butchering idiomatic Rust" (jdw64)
    • 建议通过AI协作优化代码： "have them both implement the spec... critique each other's implementation" (chadd)

  4. 不同编程语言对AI的适应性

    • 认为其他语言更适合AI生成： "Go is much better target... Haskell flies with AI" (faangguyindia)

  5. 对实际应用价值的关注

    • 强调实现效果比代码量更重要： "If it is being used and works well... far more meaningful than 130K lines" (misja111)

  6. 文档同步与工作流程

    • 提出开发过程中的实际问题： "How are you keeping the requirement, design... in sync?" (chemex)

  7. 对AI编码的批评

    • 质疑AI生成代码的可维护性： "nobody understands how this code works" (kikimora)

  8. 代码审查与优化建议

    • 强调人工审查的必要性： "you should be willing to blindly agree... or spend more time reviewing" (bharxhav)

关键引用保留： - 关于Rust："AI constantly defaults to spamming .clone()" (jdw64) - 关于测试："1300 tests for 130k lines... awfully low?" (torben-friis) - 关于价值："being used and works well... far more meaningful" (misja111)