Hacker News new | ask | show | jobs
by repparw 22 days ago
we're reading comments on a post about math proofs