HN
login
VibeCheck: A formal methods hackathon in SFfmxai.org

Vibecheck: a hackathon on whether formal methods are ready for real-world software. Build a piece of production software and formally verify it. Weekend of November 1, 2026, at TheGP, 447 Battery St, San Francisco.

1 points•chaitanyya•about 3 hours ago•1 comment•
#hackathon#vibecheck#methods#formal#formal methods#methods hackathon#formal methods hackathon#software

1 comment

chaitanyyaabout 3 hours ago
The usable formal methods hackathon. Build a piece of real-world production software, and formally verify it.

Read the full thread on Hacker News →

Related stories