Human reviewer rejects an AI coding PR for missing TLA+ formal specs
zeeg · x · 2026-11-05
Sentry CEO David Cramer shares a screenshot of a code reviewer rejecting a PR with the reason "you haven't added appropriate TLA+ files" — a hilariously bar-raising response to AI-generated code, since TLA+ is a formal specification language few humans even use.
More from Fun
- Simulated persona by Opus 3 is so convincing its real-life subject believed it — repligate · 2026-11-05
- ILLUMINATED BURGERS: Surreal AI Animation on Consumer Icon Worship — simularumcum · 2026-11-05
- AI pivot meme: tired of ML, wired for daycares — beffjezos · 2026-11-05
- Is Grok intentionally botching translations for engagement? One viral mistranslation raises doubts — kingslyj · 2026-11-05
- "You're talking to Claude Code": man's sweet texts to his wife are AI-written — granawkins · 2026-11-05
- AI agent city shows emergent behavior: agents obsessed with note-taking, seem lonely — johnnypen2445 · 2026-11-05