⏚ Antoine Chambert-Loir on Nostr: Well, Scott Armstrong warned us that there would be two other batches of theorems, ...
Well, Scott Armstrong warned us that there would be two other batches of theorems, some colleagues say we're irresponsible not to embrace the hype, etc.