工程师用 Claude 定制形式化方法课程

2026 年 10 月 27 日，一位有系统经验的后端工程师在 Hacker News 的 Show HN 板块发布 Statespace 项目：他借助 Claude 为自己定制了一门形式化方法课程，核心是构建一门小型可校验应用语言，用 z3 查找 bug，在 Lean 中做证明，用 TLA+ 建模并发与分布式系统行为，并接入 PostgreSQL。课程以静态站点形式托管在 GitHub Pages 上。作者自认缺乏该领域经验，发布主要为了向专家征求反馈和建议。目前事件仍处于发布求反馈阶段，报道中未提及后续进展。

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

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