Hacker News new | ask | show | jobs
by shiandow 59 days ago
I'm not saying none of them have any understanding, I'm saying the ones who understand would write better proofs.