CARV1N· 来源· @BonoDJblack · X·· 10 小时前精选AI 评分82
推荐理由
复盘展示了用1150个Agent PR构建网页游戏的工程细节，包括形式化验证与零内存分配等硬核实践。
正文
有个网页游戏连载了 28 天，今天大结局，叫 http://tibo.dog。
玩法本身就很梗：Tibo 带着一群狗打怪，核心机制是重置额度，里面还藏了 Muse 和 Alexandr Wang 的彩蛋，很难不联想到这 28 天大家天天等重置的日子。
更值得看的是它怎么做出来的：4 天合并了约 1150 个 Agent PR；发现 bug 不直接改代码，先让 Bot 写一条 lint 规则把这类问题堵死；热路径零内存分配，还上了 TLA+ 形式化验证和确定性模拟防作弊。零外部素材，首包 gzip 压到 124KB。
游戏在浏览器里就能玩，复盘写得比游戏还细：http://tibo.dog
原帖：https://x.com/scarletkc/status/2117116830250860724
#AI #游戏 #Agent
来源：CARV1N · x.com