Hacker News new | ask | show | jobs
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org)
2 points by ocfnash 258 days ago