3 ms·
I've been considering something like this for a while. It only makes sense as a free, open-source, decentralized sharing protocol (where anyone can host theore
by amitport 2mo ago
I've been considering something like this for a while.
It only makes sense as a free, open-source, decentralized sharing protocol (where anyone can host theorems and no one can limit sharing them).
If a company were to manage to commercialize this, it would end public open research.
- whattheheckheck 2mo agohttps://github.com/math-inc/OpenGauss https://github.com/math-inc/OpenGauss https://www.math.inc/vision https://www.math.inc/vision Just use lean
- philipfweiss 2mo ago(Project creator here): I have 0 interest in commercializing this. Im taking a lot of inspiration from MathOverflow, where I’ve been a user for several years. I think there is a protocol approach to this project that can be built, but it’s not what I’m building. I’m optimizing more for building in community features, since that is the genre of site I have enjoyed using in the past.