Vibecheck hackathon favorite: a Catan clone with provably enforced runtime-injected voting
spikedoanz · x · 2026-11-03
- Judge at the vibecheck hackathon highlights a tasteful Catan clone with a provably enforced voting system injected at runtime (open-sourced as parthavshergill/charter).
- The quoted thread: 60+ hackers spent a weekend on formal methods, learning lessons like "C int ≠ Lean int," "proving your vibe-translation correct says little about the original code," and "a universally quantified theorem is useless if its premise is unsat."
- Full results to be released soon.
More from coding & agent
- Free map infers what every building in 77 cities is used for, built with Claude Code — Kingleyend · 2026-11-03
- Codex now defaults to cloud environments, ignoring the machine you assigned — sloppenheimer · 2026-11-03
- One Commit Touches 1241 Files, +25066/-9 Lines: A 'Yolo' AI Coding Masterpiece — tomjohndesign · 2026-11-03
- Dev shares 6-step privacy-safe analytics setup for a WhatsApp agent using SHA256-hashed IDs — petrusenko_max · 2026-11-03
- Dev embeds in-context feedback to kickoff background agents fixing his app in a couple clicks — SubtleGradient · 2026-11-03
- Grok Bot Shelf hits 978 community-shared Grok bot templates, 22 short of 1,000 — Phil_Holland · 2026-11-03