The Math Genome Project - feedback request

[Johnathan Mercer]

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 and our Twitter announcement 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

[Discher, Samiro]

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: meta...@googlegroups.com <meta...@googlegroups.com> im Auftrag von Johnathan Mercer <presc...@gmail.com>
Gesendet: Donnerstag, 13. Juli 2023 02:18:34
An: Metamath
Betreff: [Metamath] The Math Genome Project - feedback request

 

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b2d15400-66d5-42a1-b33c-4b77ed0154e7n%40googlegroups.com.

[Johnathan Mercer]

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 <presc...@gmail.com> wrote:

Wonderful thank you for the feedback!

Best,

John

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/57cb7257aaf84862a2bbd2fec327f44f%40rwth-aachen.de.

[Johnathan Mercer]

Wonderful thank you for the feedback!

Best,

John

On Thu, Jul 13, 2023 at 1:48 PM Discher, Samiro <samiro....@rwth-aachen.de> wrote:

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/57cb7257aaf84862a2bbd2fec327f44f%40rwth-aachen.de.

[Steven Nguyen]

I don't see a way to submit a formal proof.

While submitting a non-candidate proof I tried to create a newline in various ways, such as "

" (two actual newlines), "\\", "\newline", "\(\newline\)", and "\displaylines{ a \\ b }" but nothing worked.

So I had to use a hodgepodge empty math block ("$$$$") which is less than ideal.

[Johnathan Mercer]

Hi Steven,

Thanks for the feedback! You're right. In the walkthrough we should really add a note that right now we only allow for informal proofs. Our next deployment in 2 weeks will allow for three types of projects: curation (statement and proof exists, but tracking it down and/or LaTeX code procurement), new informal proof, and formalizations. 

Regarding the $$$$. Thanks for the LOL regarding "hodgepodge" :-) Will include a fix in this sprint!

Best,

John

 

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/f003301d-ccaf-499f-94b0-02cbcca2bc75n%40googlegroups.com.