Hey Samiro, that was in fact a bug and it's fixed with other enhancements deployed today. Thanks again for the feedback! Best, John
On Thu, Jul 13, 2023 at 8:05 PM Johnathan Mercer <[email protected]> wrote: > 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/CAHvyvqrdr44HJFYPhF10SbhMkEwsi9VVs2sJXsXrEOiSrentpA%40mail.gmail.com.
