Comment on TheoremDB – A public workspace for machine mathematicsparentComments−timmg1moWhy?If you wanted to build a website right now, why would you hand-code an ugly version when you could get an LLM to do it quickly, cheaply and have it much better looking?−vatsachak1moDid you try using the website? It's broken lol−lagrange771moYeah, interestingly it feels equally bland as the 90s pendants.
Comments
Why?
If you wanted to build a website right now, why would you hand-code an ugly version when you could get an LLM to do it quickly, cheaply and have it much better looking?
Did you try using the website? It's broken lol
Yeah, interestingly it feels equally bland as the 90s pendants.