4天1150个PR:开发者用Claude+TLA+形式化验证写出整款游戏
banteg · x · 2026-11-02
开发者 poteto 分享了用 AI 辅助开发一款游戏的工程细节,4 天内合入约 1150 个 PR:
- 发现代码问题就让它变成 lint 规则:每次遇到 bug,就让 AI 针对该问题生成一条 lint 规则,防止同类问题复发。
- 大量使用 TLA+ 做形式化验证:为剧情、过场动画、各游戏系统分别建立状态机模型,并配置对应的 formal verification skill,TLC 找出了大量真实 bug(如 8 秒自动选卡打断新手教学、视角移开时游戏仍在运行、reroll 后指向旧手牌等,配图展示了完整状态机图和被 TLA+ 抓到的 11 类 bug)。
- 用文件命名编码性能约束:每帧/tick 执行的热路径代码用 .hot.ts 后缀,并由 lint 规则禁止在其中分配对象(禁对象字面量、闭包、new 等),使游戏循环几乎不产生垃圾、GC 不再导致卡顿。
- 自研引擎为主:three.js 只负责 3D 渲染,模拟、后处理和音频均为自研;模拟完全确定性,服务器可通过重放整局输入来验证高分真实性,防作弊。
「编程与Agent」频道最新
- OpenCode 10 月月活涨 28% 至 2200 万,创 3 月以来最大增幅 — ycombinator · 2026-11-02
- 用 Claude 写的等距像素小游戏开源:零依赖单文件软件光栅化 — algo_diver · 2026-11-02
- 重度用户晒月账单:78 亿 token,折合 API 花费约 4800 美元 — bytebot · 2026-11-02
- LLM 自信答错退款期限，开发者用 4 步 RAG 流水线修复 — _jaydeepkarale · 2026-11-02
- 开发者用 three.js 和 Claude 一个周末造出 MetaHuman 开源替代 — majidmanzarpour · 2026-11-02
- AI Agent 自主操作 FileMaker 建库,并用作者克隆音讲解每一步 — petrusenko_max · 2026-11-02