作者：Lauren (@poteto)
原帖日期：2026年11月1日
游戏链接：https://tibo.dog
引言
2026年11月1日，SpaceXAI 的 Lauren（@poteto，曾参与 React Compiler 核心团队，之前在 Cursor、Meta 和 Netflix 工作）在 X 上发帖宣布：“Day 28/ tibo's game has landed”。
她花了 5.99 美元买下域名 tibo.dog，但与 Grok Bot 和 Cursor 一起制作这款游戏的过程非常愉快。希望大家享受并发现所有彩蛋。游戏支持在 X 帖子内嵌播放。
这是一款免费的 2.5D 像素风格 survivors-like（类 Vampire Survivors）游戏，可在浏览器中玩，也可直接在 X 帖子卡片中从 245px 到全屏运行。玩家控制 Tibo，带着最多三只狗狗，使用自动发射的土豆武器，进行移动和闪避，生存 20 分钟以上。
游戏简介
- 类型：Survivors-like，2.5D 像素艺术
- 平台：浏览器 + X 帖子内嵌（可安装为 Web App）
- 价格：免费，无需账号
- 目标：生存 20 分钟（之后可继续，无胜利画面）
- 特色：土豆主题武器、狗狗队伍、多语言支持（最新版本已支持 27 种语言）
- 制作方式：与 Grok Bot + Cursor 合作，作为副业项目
技术细节（来自作者的 Trivia 帖）
以下是 Lauren 在跟进帖中分享的构建花絮：
- 作为副业项目从 4 天前开始，约提交了 1,150 个 PR。
- 每次发现代码问题，就让 Bot 编写相应的 lint 规则来防止重复。
- 大量使用 TLA+ 寻找游戏各状态机（故事、过场、系统）中的 bug。每个主要系统都有正式验证技能。
- 文件路径携带上下文：每帧或每 tick 运行的代码使用
.hot.ts扩展名，lint 规则禁止其中分配内存（无对象字面量、闭包、new 等），使游戏循环几乎不产生垃圾，GC 不会导致卡顿。
- 游戏引擎大多自定义。three.js 负责 3D 场景绘制，但模拟、后处理和音频都是自己的。
- 模拟完全确定性：每次运行都可从输入完整重播。提交高分时，服务器重播整个跑图来检查是否作弊。
- 为每次运行生成动态 og:images（基于最终统计），并全部本地化。游戏支持 10 种语言（后续更新到更多）。
- 最喜欢的功能：音乐在不同生物群系无缝过渡，继续之前的旋律。
- 没有音频文件。所有音乐和音效都由浏览器内实时合成：自定义 Game Boy 风格芯片（两个脉冲声、一个波形声、噪声）+ synthwave 层。歌曲以文本形式写在代码中。
- 所有像素艺术都是代码。每个精灵是一个文件，使用共享调色板绘制，并在构建时打包进精灵图集。
- 可在 X 帖子内运行，从 245px 卡片到全屏。目标是在中端手机上以 60 fps 跑 500 个敌人。
- 构建会失败如果首次下载超过预算。当前约 124 KB gzipped。
- Bot 以 headless 方式玩游戏，来调优每个难度以达到目标生存率。
- lint 规则禁止注释。如果代码需要解释，解决方案是更好的名字或测试。
背景与趣闻
这款游戏诞生于 AI 行业的互动精神。域名和主角名字 Tibo 暗示与 OpenAI 相关人物的精彩对比（及 Meta 的 Alexandr Wang 等）。作者在 X 上与相关人物有持续的轻松互动，并强调“这不是事先计划的”。
游戏还包含多个彩蛋，并已有非官方 Wiki 记录其机制、Boss、武器进化等。
玩法简述：移动 + 闪避，自动射击武器，升级选择升级，带狗狗打对波次敌人和 Boss。支持键盘、触控。
本文基于 @poteto 的 X 帖子（主帖 + trivia 帖）及公开资料综合整理翻译。游戏仍在更新中。
原帖图片与技术图表
以下是原推文中的图片，展示了游戏状态机和 TLA+ 验证的细节：
