形式化方法黑客松 Vibecheck 落地旧金山:写真实软件并证明其正确
ctjlewis · x · 2026-10-06
- 活动:Vibecheck——「可用的形式化方法」黑客松,2026 年 11 月 1 日周末在旧金山 TheGP 举办
- 玩法:团队选一个真实可用的生产级软件(如类 Word、Flappy Bird、Claude Code),把它构建出来并形式化验证其正确性
- 人群:参赛者零经验即可,另有全职形式化方法专家现场解围,目标配比约 5:1;同时招募赞助方提供奖品、算力与 token
- 立意:形式化方法已进入主流视野,组织者想验证它能否被普通团队用于有 GUI、数据库、第三方依赖的真实产品,乃至从第一天就做成形式化验证的初创公司
- 组织者预告现场将教学「tokenmaxx」技巧,提供足量 token
「公司和人」频道最新
- 从 Kaggle 冠军到 ULMFiT：Jeremy Howard 如何改写语言模型训练范式 — bigaiguy · 2026-10-06
- 金管局质问汇丰：AI 枢纽为何落户新加坡而非香港 — AIFlow_ML · 2026-10-06
- Sakana AI 社长伊藤:AI 竞争优势正从单模型转向系统编排力 — SakanaAILabs · 2026-10-06
- Anthropic 危机论：人人通自来水时你还卖千元矿泉水？ — AlexTensor · 2026-10-06
- Qwen 团队研究员将出席 COLM 2025,展示 QED-Nano 工作 — _lewtun · 2026-10-06
- Ben Horowitz 解析 ElevenLabs 为何在大厂夹击下估值翻倍至 220 亿美元 — LadyAshBorg · 2026-10-06