We’re organizing Vibecheck, a formal methods hackathon with some of the best folks in the space -
@maxvonhippel,
@qd_forall,
@nolanlwin,
@jessemhan,
@emiyazono, and
@workersio.
You’ll get a weekend to build real production software, and formally verify it.
We’ll have people who really know their stuff around to help, and you can come with a team, find one there, or just hack on something yourself.
We are glad to have a phenomenal group of sponsors, including
@harmonicmath,
@mathematics_inc,
@theoremlabs,
@thegp,
@omnicom,
@primeintellect,
@astriolabs,
@buildwithparty,
@wearerandomlabs, and
@lanyon_ai, as well as some more we will announce in the coming days!
If you’re a hacker, a formal methods person, or just someone who thinks “how do we know it works?” is an interesting question, we’d love to have you.
Signup Now: