Show HN: Statespace – learn formal methods by building a tiny checked language
I had claude build a course optimized for me (backend engineer with some systems experience) to learn formal methods. Main idea being - I want to build a checked application language which finds bugs with z3, prove thin…
以下正文同步自 Hacker News 最新，版权归原站所有，已转换为易读排版。
I had claude build a course optimized for me (backend engineer with some systems experience) to learn formal methods. Main idea being - I want to build a checked application language which finds bugs with z3, prove things in lean, model concurrency/dist sys behaviors in TLA+, connect it to postgres. It's a static site hosted via gh pages.Sharing primarily for feedback and suggestions from experts as someone who lacks experience in field. My intuition is that what I enjoy about coding and the demand in my field will eventually turn into this sort of thing - where we control agents using proofs and verification systems. Comments URL: https://news.ycombinator.com/item?id=50257726 Points: 1
Comments: 0
正文由 探How 从来源站点 RSS 同步，内容未经改写；遇到排版缺失或需要图片、视频时请以原文为准。