**蓝图而非提示：用 TLA+ 规范引导 AI 编写代码**

_Blueprints, Not Prompts: Using TLA+ to Guide AI-Written Code_

> 文章指出，随着 LLM 接管大部分代码编写，团队间共享的理解正在流失。作者主张放弃依赖模糊的自然语言提示，转而采用形式化方法 TLA+ 来构建系统规范（以 AWS EBS 为例）。这种方法能确保将团队的技术意图转化为精确、可验证的逻辑，从而在利用 AI 提效的同时，保留并传承工程团队的核心认知与系统架构理解。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：行业
- **发布时间**：2026-10-21 11:03（北京时间）
- **原文**：[打开原文](https://mulgadc.com/blog/blueprints-not-prompts-tla-plus)