演讲主题

Rust 与黑灯软件工厂

AI Coding 正在快速降低代码的生产成本。当 Agent 可以持续规划、编码、测试和修复之后，软件工程真正的瓶颈，正在从“如何生成更多代码”转向“如何约束和验证机器生成的代码”。 Rust 未必是最容易让 AI 生成代码的语言，但它可能是最适合建立 AI Coding 闭环的系统语言之一。Ownership、类型系统、Send/Sync、显式 unsafe 边界，以及 Cargo、Clippy、Test 等标准化工具链，让大量工程约束变得机器可读、机器可验证。 随着云基础设施、操作系统、驱动和 AI Infra 逐渐 Rust 化，我们也许正在接近一种新的软件生产形态：人负责定义意图与验收标准，Agent 负责生产代码，编译器和验证系统负责持续验收，真正的“黑灯软件工厂”。 大纲： 1.AI Coding 正在改变软件生产方式 2.为什么 Rust 特别适合 AI Coding 3.Rust Toolchain 是天然的 Agent Feedback Loop 4.AI Coding 的核心问题将从生成转向 Evidence 5.基础设施正在逐步 Rust 化 6.两条趋势开始汇合: 黑灯软件工厂 7.未来的软件工程问题 8.结论 听众收益： 1. 理解 AI Coding 时代软件工程的核心瓶颈，为什么正在从“代码生成”转向“约束、验证与验收”。 2. 理解 Rust 为什么未必最容易让 AI 生成代码，却非常适合构建稳定的 Agent Coding Loop。 3. 掌握 Ownership、类型系统、Send/Sync、unsafe 边界以及 Cargo 工具链在 AI Coding 中的实际价值。 4. 建立对“黑灯软件工厂”的完整认知：人、Agent、编译器、测试与验证系统分别应该承担什么职责。 5. 理解基础设施 Rust 化与 AI Coding 两股趋势为什么会逐渐汇合，以及这对未来软件架构、开发流程和工程师角色意味着什么。 6. 获得一套判断标准，用来重新思考自己的项目是否适合 Agent 化、哪些约束应该下沉到语言和工具链、哪些决策仍应由人负责。