Hacker News new | ask | show | jobs
by pencilguin 1322 days ago
A proof machine I find incredible is no proof machine at all, but just an assertion machine.