3 ms·Gauss, an Agent for Autoformalization11 points by auggierose 1y agobmitc 1y agoIt really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.