Formal methods hackathon seeks novices: 50% of applicants are already FM experts
hargup13 · x · 2026-09-27
Organizers of the 'Vibecheck' formal methods hackathon (weekend of Nov 1) report that about 50% of applications so far are from formal methods experts, but they want a 1-expert-per-5-novices ratio. They are explicitly encouraging complete beginners — even people who have never heard of formal methods — to apply via their Google Form, aiming to make the event an accessible introduction to usable FM.
More from Companies & People
- Lightspeed partner after a year of AI assistant research: families, not individuals, are the ideal customer — FinanceYF5 · 2026-09-27
- Muse and Grok Bot handicapped by model quality, rebutting 'you don't need the best model' claim — Scobleizer · 2026-09-27
- OpenAI selects 35 builders for first Codex Physical Builds hardware cohort — OpenAIDevs · 2026-09-27
- Meta's $60B AI investment drove $600B market cap gain, 1000% ROI — pmddomingos · 2026-09-27
- Scoop: top AI companies probing tens of thousands of security incidents — EvilSporkOfDeath · 2026-09-27
- UIUC PhD Shivansh Patel Joins Tesla's Optimus Team After Defending Thesis — YunzhuLiYZ · 2026-09-27