Saying Terence Tao is a math prof at UCLA is like saying John Carmack is a programmer at Keen Technologies.
Perhaps I should try sending him a mail
People approach things in a lot of different ways and it would be nice if we can just respect that instead of digging on each other or making unfounded assumptions.
I think your sentiment is misplaced as I would expect HN commenters to have heard of Tao as he often features in posts about mathematics. I'm sure I recall seeing some comments from him too.
There's an approachable Numberphile video featuring him here: https://www.numberphile.com/videos/the-worlds-best-mathemati...