Vibecheck形式化方法黑客松满员

Vibecheck已发出最后一批邀请，形式化方法黑客松两层会场均满员。活动将于11月1日周末在旧金山TheGP举行，参赛者无需形式化方法经验，需组队构建真实可用的生产级软件并证明其正确性。 参赛团队可选择Word、Flappy Bird、Claude Code等产品作为验证对象，现场由资深形式化方法从业者答疑。活动获Datadog、Anthropic等支持，其中Anthropic提供算力和平台token，Prime Intellect等公司也参与赞助。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。