Bootstrapping Mechanical CorrectnessBy artagnon · 2026-09-05 · 1 points · 0 commentshttps://artagnon.com/art/regressBy artagnon · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews