Hacker News new | ask | show | jobs
by jamesrom 975 days ago
Anything that helps Terence Tao find bugs in his papers is hard and reliable in my books.