@jonmsterling@mathstodon.xyz You probably missed it because you blocked him 😛, but Tao wrote about this recently: https://mathstodon.xyz/@tao/116477351524980995