Gauss, an Agent for Autoformalization 5 months ago (math.inc) 1 comment auggierose Reply Add to library bmitc 5 months ago It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.
bmitc 5 months ago It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.
It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.