Thanks for the message, Jon. It is always nice to hear the thoughts of members of the community.
Mario and David also warned me to not look for time any commitments early-on. So, I tried to make the project so that folks can make small contributions. But, I think that the different pages of the project may have led people to think that its a lot of work to even get started. So let me focus on just one fun, simple, and very useful proposal. The goal here is to create a spec in plain-text or metamath language for storing automation info. No code, no prerequisites, just looking for simple ideas. Once we get the spec, OpenAI folks can make quite an impact by using their AI techniques to fill in the automation info. Details are here <https://sophize.org/s/metamath/J_automation/proposal2>. Even with this, I think you are right Jon about people being busy and COVID obviously makes things harder. So, I am not getting my hopes up too high. But, I think people will find it fun to come up with an automation spec. Abhishek On Tuesday, July 21, 2020 at 4:55:31 PM UTC+5:30 [email protected] wrote: > Hey. >> >> > I just wanted to say that I think it's awesome you want to work on a new > tool and maybe recruit people to a team, that's great, more work on mm is > lovely to see. > > For me personally I'm afraid I don't have any energy for contributing at > the moment. I wonder if maybe you are running in the same issue with other > people, there is a general sense of enthusiasm for the project and also > people's lives are busy, we've all got a lot of covid stress I'm sure and > so I think it can be a challenge to convince people to commit actual > resources. Discussion is easy, real work is much harder and I can > understand why people are hesitant to commit to a new thing. > > Good luck with it, I hope you find the right people to work with. > > Jon > -- 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/f53dc171-4a8f-4223-ae36-86aebbd45993n%40googlegroups.com.
