Vibecheck 形式化方法黑客松满员：11 月 1 日在旧金山为真实软件做形式化验证

形式化方法黑客松 Vibecheck 场地两层均已满员，将于 11 月 1 日周末在旧金山 TheGP 举行。参赛者无需相关经验，需组队构建真实可用的生产级软件并证明其正确性；活动将探讨形式化方法能否用于 Word、Flappy Bird、Claude Code 等主流产品。