The Proof Machine (2016)By BenoitP · 2026-07-27 · 7 points · 0 commentshttps://incredible.pm/By BenoitP · 7 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews