| ▲ | Gauss, an Agent for Autoformalization(math.inc) | |
| 10 points by auggierose a day ago | 1 comments | ||
| ▲ | bmitc a day ago | parent [-] | |
It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products. | ||
| ▲ | Gauss, an Agent for Autoformalization(math.inc) | |
| 10 points by auggierose a day ago | 1 comments | ||
| ▲ | bmitc a day ago | parent [-] | |
It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products. | ||