Hacker News · AI 讨论· InsideStick·· 25 天前AI 评分58
Mulga 用 TLA+ 规格约束 AI 生成代码的实践
Blueprints, Not Prompts: Using TLA+ to Guide AI-Written Code
AI 导读
Mulga 工程师 Bryn 提出用 TLA+ 形式化规格替代自然语言提示词来指导 AI 写代码，并开源了一份约 400 行、分 4 个文件的 AWS EBS API 规格。
来源：Hacker News · AI 讨论 · mulgadc.com