NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Gauss, an Agent for Autoformalization (math.inc)
11 points by auggierose 3 days ago | 1 comment
bmitc 2 days ago [-]
It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 14:53:56 GMT+0000 (Coordinated Universal Time) with Vercel.