Announcement
Vibecheck hackathon to focus on building and formally verifying software
Organizers welcome solo builders and teams; a sponsor promises all participants early access to Lanyon AI tools and unlimited compute.
TLDR
Vibecheck’s organizers announced a weekend hackathon for building production software and formally verifying it. Participants can bring a team, find one there or work solo, with experienced people on hand to help. A sponsor says all participants will get early access to the Lanyon AI API and CLI, plus unlimited compute.
Combined views
—
1 Source, first seen ago
