What I've Learned About Formal Methods in Half a Year by from Hacker News on 2023-04-10 11:31 (#6AN41) Comments