#TLA+

博客：用 TLA+ 规范引导 AI 生成代码

一篇技术博客提出「蓝图而非提示词」的思路，主张先用 TLA+ 形式化规范描述系统行为，再让 AI 依据规范编写代码。该方法旨在提升 AI 生成代码的正确性与可验证性。