Wonderful thank you for the feedback! Best, John
On Thu, Jul 13, 2023 at 1:48 PM Discher, Samiro < [email protected]> wrote: > Hi John, > > I very much like the concept and will curiously follow if it will work > out. Even though, being a theory and tools builder myself, solving popular > problems (or other people's problems outside my core interests) is just not > what I (currently) want to do. > > Some issue I immediately noticed when trying to fill out my profile is > that the "Research tags" text field is not as wide as it should be (the > border is much wider): > > Also, when I uploaded a profile picture, all text fields *except* > "Research tags" got cleared out so that I had to fill them again. After > saving, information inserted into "Research tags" got lost. I used Firefox > 115.0.1 > (64-Bit) on Windows. > The website definitely needs polishing. > > — Samiro Discher > ------------------------------ > *Von:* [email protected] <[email protected]> im Auftrag > von Johnathan Mercer <[email protected]> > *Gesendet:* Donnerstag, 13. Juli 2023 02:18:34 > *An:* Metamath > *Betreff:* [Metamath] The Math Genome Project - feedback request > > Hi all, > > I'd really appreciate your feedback on The Math Genome Project. > > Our goal is to provide the 1st marketplace and social platform for higher > mathematics. Where anyone can make a living (or a serious side-hustle) > doing proof curation, writing, and formalization projects in any of the > leading languages like Metamath. > > A big motivation was empowering respective formal communities and create > opportunities for paid formalization projects -- so people can spend more > time doing what they love. > > The website is here: https://www.themathgenome.com/ > Here is the LinkedIn post > <https://www.linkedin.com/posts/johnmercer_mathematics-generativeai-activity-7084671465488281600-3rxe?utm_source=share&utm_medium=member_desktop> > and > our Twitter announcement > <https://twitter.com/TheMathGenome/status/1678909712027320320> if you'd > be so kind to re-post/tweet to help spread the word. > > Look forward to your feedback and feature requests in general (informal or > formal side) and specific things we can do to help the Metamath community. > > Best, > John > > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/b2d15400-66d5-42a1-b33c-4b77ed0154e7n%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/b2d15400-66d5-42a1-b33c-4b77ed0154e7n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/57cb7257aaf84862a2bbd2fec327f44f%40rwth-aachen.de > <https://groups.google.com/d/msgid/metamath/57cb7257aaf84862a2bbd2fec327f44f%40rwth-aachen.de?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAHvyvqoxxep-%2BAbnYT5wUyT5V%2BAvE1VQXjA2G%3DgEnN4buQcOTw%40mail.gmail.com.
