astrio

We just sent out the last batch of invites for Vibecheck (fmxai.org/vibecheck). We're now at capacity (for the building, for two floors). The event is going to slap and I'm really, really excited about it! - HUGE thanks to our sponsors, including @datadoghq , @theoremlabs , @omni, @workersio , @SafeWithAtlas, @astriolabs, For-All R&D (@qd_forall), and @thegp. This would be totally impossible without you! - I'm also really stoked about several companies that are providing compute and platform tokens for competitors, including: @anthropicai, @PrimeIntellect, party.build, @lanyon_ai , @wearerandomlabs . - And finally, we have some amazing experts who've helped plan the event and/or will be in attendance helping to run the event and judge entries, including folks from several of the above-mentioned companies, and from several academic labs, as well as from @mathematics_inc , @axiommathai , and @HarmonicMath . I'll be sending rejection emails for anyone who didn't make it in shortly, and will close down the application form. If any currently RSVPd people cancel, we will send some last-minute invites accordingly. If you wanted to participate in this event but didn't make it in, please note two things: first, this does not reflect poorly on you -- we specifically aimed to accept people from a wide variety of backgrounds, not just a bunch of our friends or of FM experts. And second, we are going to run more of these events! We are loosely planning to run a London event, colocated with FMxAI London in 2027 (and co-organized with @galois, see fmxai.org for more ..); a NYC event, at some TBD date; potentially also an online/remote one; and a defense-oriented event co-organized with @mathematics_inc. If you're interested in one of these let me know. This event is absolutely a labor of love, and we hope you'll follow along. We'll be posting updates, repos, podcast episodes, video interviews, and more throughout, and it's going to be a lot of fun. Also, if you didn't make it in but want to experiment in your free time, we will be posting all the rules and judging criteria in the coming weeks on fmxai.org/vibecheck, and we encourage you to play around and post your work! And for those of you who got in, see you in SF!!

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: fmxai.org/vibecheck/