« BackGauss, an Agent for Autoformalizationmath.incSubmitted by auggierose 20 hours ago
  • bmitc 14 hours ago

    It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.