Vibecheck, the 'usable formal methods' hackathon, sells out two floors in SF
spikedoanz · x · 2026-10-27
- Vibecheck — a hackathon asking whether formal methods are ready for real-world software — runs the weekend of Nov 1, 2026 at TheGP, San Francisco; final invites sent, both floors at capacity.
- Format: teams (no FM experience required) build a piece of production software people would actually use and prove it correct; experienced FM practitioners serve as roaming experts and judges.
- Sponsors include Datadog, Theoremlabs, Omni, TheGP; compute/platform tokens provided by Anthropic, Prime Intellect, and others.
- Framing question: can FM move beyond academic software to things like Word, Flappy Bird, or Claude Code — could the next YC company build formally verified from day one?
More from coding & agent
- Veteran engineer on what the AI-coding generation will never feel: 36-hour sprints and elusive bugs — bendee983 · 2026-10-27
- Claude Opus 5.5 builds a browser open-world island by comparing screenshots to 341 real photos — prasenx · 2026-10-27
- BreakingWeb benchmark: browser agents fail about half of controlled task variants — shuyanzh36 · 2026-10-27
- Companies band together to build the web infrastructure stack for agents — jeff_weinstein · 2026-10-27
- OpenAI launches GPT-6.1 Terra, a cheaper model built for fast computer use — sama · 2026-10-27
- OntoGr Agent Memory: open-source agent memory where every fact keeps quote, source and time — vm324234 · 2026-10-27