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): [cid:974cd623-a42b-4d1f-914e-ca40c490cace] 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]<mailto:[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.
