Vibecheck hackathon challenges teams to build and formally verify real software
ctjlewis · x · 2026-10-06
- Vibecheck, the "usable formal methods" hackathon, runs the weekend of Nov 1, 2026 at TheGP in San Francisco
- Teams build a piece of real-world production software — a Word clone, Flappy Bird, even Claude Code-style tools — and formally verify it
- Competitors need zero FM experience; experts (1+ years full-time FM work) roam at a targeted 5:1 ratio to unstick teams
- Sponsors provide prizes, compute and tokens; organizers will teach on-site "tokenmaxx" techniques with formally verifiable goals
- The thesis: formal methods have entered the zeitgeist, and the hackathon tests whether they're ready for mainstream, dependency-heavy software and FM-first startups
More from Companies & People
- OpenAI 'acting like cornered animals' amid usage-limit backlash; exec declines comment citing safety — CtrlAltDwayne · 2026-10-06
- From Kaggle Champion to ULMFiT: How Jeremy Howard Rewrote Language Model Training — bigaiguy · 2026-10-06
- HKMA grills HSBC on why its new AI hub is in Singapore, not Hong Kong — AIFlow_ML · 2026-10-06
- Sakana AI CEO at STS forum: AI edge shifts from single models to system orchestration — SakanaAILabs · 2026-10-06
- Commentary: Anthropic risks selling $1,000 bottled water as open models flow — AlexTensor · 2026-10-06
- Qwen researcher to present QED-Nano work at COLM, Oct 5–9 — _lewtun · 2026-10-06