> Soldiers rarely know the history of war, and war historians are rarely soldiers.

I mean, besides the empty platitude that we have no reason to assume applies here, we can easily search and find Tao commenting on the history and philosophy of mathematics.

This is a really weird subthread.