John Carlos Baez on Nostr: npub12vvx3…hu68m - Thanks! I hadn't seen Terence Tao's post yet. npub1ch8hf…w3ckt ...npub12vvx3w5umzv9lkncdwntzw7wxj5rhc634ynae80gh8semk7kkass5hu68m (npub12vv…u68m) - Thanks! I hadn't seen Terence Tao's post yet.npub1ch8hfpny6tp95jqut4smklg3nx2h93dvvw6x4jsaqzwj8u6az9lqfw3ckt (npub1ch8…3ckt)