Statespace 发布形式化方法学习课程

praveer13 在 Hacker News 发布 Statespace，一个用 Claude 生成的形式化方法课程，面向有系统经验的后端工程师。课程通过构建一门用 z3 找 bug 的带检查应用语言来学习，还涵盖在 Lean 中做证明、用 TLA+ 建模并发与分布式系统行为，并连接 Postgres，以静态站点形式托管在 GitHub Pages 上。 作者自述缺乏该领域经验，发布主要希望获得专家反馈与建议。

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

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