Hacker News new | ask | show | jobs
by thechao 238 days ago
Terence Tao posts on mathstodon fairly regularly about lean, AI, and math. I'm not going to interpret his posts.