Formal methods hackathon on Nov 1: build games and AI agents with formal verification
xennygrimmato_ · x · 2026-09-25
max von Hippel is running a formal methods hackathon on November 1 where contestants build "normie software"—video games, AI agents, travel booking tools—with formal verification. The goal: measure how usable these tools are for SWEs with no FM background, exposing ergonomic gaps the FM community must fill. Venue, food, tokens and photography are covered; he's seeking prize sponsors.
More from coding & agent
- Opus 5.5 gets exl3 running on Intel Arc B70 GPUs in 2 hours — alex_verem · 2026-09-25
- Stream launches Agent Skills so coding agents can build chat, video and moderation apps from one prompt — amos_gyamfi · 2026-09-25
- NVIDIA Open-Sources Nemotron-Terminal: Boosts Qwen3-32B from 3.4% to 27.4% on Terminal-Bench 2.0 — _weiping · 2026-09-25
- 5 Ways to Handle Conflicting Information in AI Systems, From Source Ranking to Surfacing Disagreement — goyalshaliniuk · 2026-09-25
- TypeLLM adds type-safe, schema-guaranteed generation to LLMs without touching weights — kalyan_kpl · 2026-09-25
- kuberdenis talks harness engineering and dev workflows with alxfazio, visuals made by Opus 5.5 — tensorqt · 2026-09-25