人类审稿人拒收 AI 编程 PR:理由是没附 TLA+ 形式化验证文件
zeeg · x · 2026-11-05
Postcraft(zeeg)转发一张截图：代码评审者 Greg Pstrucha 在收到 AI 生成的 PR 后回复「对不起，我拒绝这个改动——你没添加合适的 TLA+ 文件」。TLA+ 是分布式系统的形式化验证语言，拿它作为验收标准属于典型的极高标准玩笑式拒绝，截图在 AI 编程圈引发传播。
「Fun」频道最新
- TPOT 圈新梗:「Chinamaxxing 取代再工业化成新挚友」 — kscottz · 2026-11-05
- 如果你的决策理论认为投票无用，那理论本身可能有问题 — JeffLadish · 2026-11-05
- AI 生成 VHS 录像带风格外星人入侵广播，质感惊人 — brythehuman · 2026-11-05
- 开发者感慨：2025 年还在用 Claude Sonnet 3.5 上生产，恍如隔世 — kavirkaycee · 2026-11-05
- 开发者在 Mac Studio 上把 Meta Muse Glimmer 30B 提速最高 21% — TimDarcet · 2026-11-05
- Grok 代理 app 全流程时翻车：Sentry 疑似拦截 grokbot.com 邮件 — msfeldstein · 2026-11-05