Lauren Tan用Grok Bot和Cursor开发小游戏tibo.dog
热点事件持续更新
Lauren Tan用Grok Bot和Cursor开发小游戏tibo.dog
2 篇报道1 个报道来源32 分钟前更新
先了解这件事
AI 综述
Grok Bot 工程负责人 Lauren Tan 称，她用 Grok Bot 和 Cursor 开发的小游戏 tibo.dog 已上线，域名花费 5.99 美元；她表示如果自己做得没错，用户应能直接在 X 内游玩。 她随后补充了开发方式：这个副业项目在 4 天前启动，累计落地约 1150 个 PR；每当发现代码问题，她就让 bot 增加一条 lint 规则，并大量使用 TLA+ 验证剧情、过场动画和游戏系统的状态机，每个主要系统各配一个形式化验证 skill。 上述内容均为她本人的说法，报道未说明 Grok Bot 与 Cursor 各自承担哪些具体工作，也未独立验证游戏的功能、完成度或可玩性。
AI 根据报道生成 · 7 分钟前更新
最新进展11月2日 07:57
Grok Bot 工程负责人复盘 4 天用 AI 写游戏：1150 个 PR 与形式化验证实践事件进展
2 个进展
- 11月2日 07:57 · 1 篇报道Lauren Tan分享Grok Bot游戏开发工程实践Lauren Tan：Grok Bot 工程负责人复盘 4 天用 AI 写游戏：1150 个 PR 与形式化验证实践
- 11月2日 05:23 · 1 篇报道Lauren Tan分享使用Grok Bot和Cursor开发游戏经历Lauren Tan：Grok Bot 打造 tibo.dog 小游戏
报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- Lauren TanGrok Bot 工程负责人复盘 4 天用 AI 写游戏：1150 个 PR 与形式化验证实践
Grok Bot 工程负责人 Lauren Tan 分享她 4 天前作为副业项目开始开发的游戏，落地约 1150 个 PR。每当发现代码问题就让 bot 加一条 lint 规则；大量使用 TLA+ 验证剧情、过场动画和游戏系统的状态机，每个主要系统各有一个形式化验证 skill。
- Lauren TanGrok Bot 打造 tibo.dog 小游戏
第 28 天 / tibo 的游戏上线了 这个域名我花了 $5.99，但用 grok bot 和 cursor 做它的过程太开心了！希望你喜欢，并找到所有彩蛋 🤍 如果我做对了，你应该也能直接在 X 里玩 https://tibo.dog
本事件热度走势
- 可比范围当前
- 20
- 可比范围峰值
- 2011月2日 08:00
- 近 24 小时变化
- –
05101520
06:0007:0008:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。