AGI Hunt· banteg·· 2 小时前AI 评分68
开发者 poteto 用 Claude 与 TLA+ 在 4 天内合入约 1150 个 PR 开发游戏
4天1150个PR:开发者用Claude+TLA+形式化验证写出整款游戏
AI 导读
开发者 poteto 分享了借助 Claude 开发游戏的工程细节，4 天内合入约 1150 个 PR。他将遇到的 bug 转化为 lint 规则，并用 TLA+ 为剧情、过场动画和游戏系统建立状态机模型，TLC 找到包括新手教学被自动选卡打断在内的真实 bug。项目还通过 .hot.ts 后缀和 lint 规则限制热路径中的对象分配，减少垃圾回收导致的卡顿。
来源：AGI Hunt · agihunt.info