(Addendum: All messages prior to February 8th were posted in a temporary chatroom on MathOverflow and have since been migrated here) Welcome

This is just a temporary chat room for the proposed Proof Assistants site.

I say temporary because the site name might change in which case the room name would then be confusing.

If you have experience as a moderator during the private beta phase could you help us by answering some hopefully simple questions.

Were you granted Moderator Pro Tempore?

If you could change or influence something during the private beta what would it be?

Is there any advise that you could give to those new to SE entering the private beta what would it be?

Do you recall how long it took from the time the commit requirements were completed until the private beta site was ready?

Thanks for your consideration.

Useful information for those new to StackExchange sites.

Since about half of those who signed up appear to be new to StackExchange in doing a quick search for a somewhat quick and general introduction on how such sites works I found this answer: How does Ask Ubuntu work?

As you follow along, just mentally replace Ask Ubuntu with the name for the new site Proof Assistants and it should be pretty much what to expect if and when the site reaches Beta phase.

StackExchange sites grant privileges based on reputation. During the sites progressing Private Beta, Public Beta and Full site the points needed for privileges differ. The required points are dramatically lower at the start and increase for each phase. See this answer for the details

My best guess is that the private beta will last about 3 week, the public beta will last from months to years, and if the site meets the requirements can become a Full site.

The way the up and down votes work is a bit confusing when changing a vote. Since one can vote on each answer separately, one can change a vote from an upvote to a downvote or one can undo a vote by clicking on the previously selected choice again. Hopefully this answer will help make it clear.

Hi, trying to get my bearings here. Is this chat room something made by @GuyCoder or SE overlords? And are we really on MathOverflow.

GuyCoder made the room (anyone (with some network rep?) can create public chat rooms)

And each chatroom has an associated site, but we don't have one just yet, so MO is a temporary choice

@AndrejBauer No I (@GuyCoder) made the room. I also sent a request to allow you to be an owner of this chat room if ever the need should arise, e.g. it transitions to the primary chat from for the new site.

@Bubbler is correct so MO is a temporary choice. It seemed the most logical.

I am totally new to creation of a new site. I and possibly others would appreciate a quick recap of what's going to happen. Does anyone know?

@AndrejBauer Does anyone know? I don't specifically because I have not done it in many years. I have contacted two current and active moderators of sites in Beta and invited them here, Ben I. of Computer Science Educators and Tyberius of Matter Modeling

No problem. I am sure SE has a worked out procedure and will know how to guide us.

@AndrejBauer I hate to sound pessimistic but SE is not the most personally helpful, the needed information is about if you know how to find it. Even for me this is sometimes hard. How may new users do we see use SE sites once and never return. I myself almost left forever at the start if not for endeavoring.

@GuyCoder I'll be in a job interview most of today after 10 CST, so I won't be able to be particular responsive, but I can try to address some key points and answer any questions you might have right now.

@Tyberius Thanks, good luck. The most pressing one is the ETA of the private beta? I know only SE staff know a real answer but what is your guess? Don't forget about the U.S. Thanksgiving day might factor in.

All the other questions can wait as if they are not answered now they will become apparent once the beta site is up and meta becomes active with users.

@GuyCoder Also, if he isn't too busy, a great person to ask about this would be @user1271772. He was the one who proposed our site and has been heavily involved in all stages and aspects of the site's development.

@Tyberius Thanks, will do.

@Tyberius This is odd, I can find user1271772 but when I click on their Matter Modeling link he becomes Nike Dattani. Since you noted that they proposed Matter Modeling and that is Nike Dattani, I will ping him.

@GuyCoder he uses a different username depending on the site. I used a mod ping, so he should see my prior my message.

@Tyberius Thanks. I did not know one could pull in someone like that into a chat room they have not participated.

FYI: Your once in a life time opportunity, getting the Beta badge (ref)

@GuyCoder The most relevant post to your situation is this one: area51.meta.stackexchange.com/q/25863/181492. I expect the Thanksgiving holiday will push things back and they like to launch these sites on Tuesday so my the earliest I think it will launch will be Dec 8th.

*Dec 7th. They may push it to the 14th because they like to do the private to public decision 3 weeks after launch and pushing it back would move this out of the Christmas/New Years week.

@Tyberius Thanks. That is later than I expected. I did not know about Tuesdays so this is very useful. Good luck.

I can't seem to find when our site reached commitment, but I recall it taking a little more than 2 weeks to launch.

@AndrejBauer The way I am currently looking for information is to visit the Area51 site and Meta site of Matter Modeling which was of the latest sites to reach Beta. (ref)

FYI - One of the more recent betas sites, albeit a few years ago, held their provisional Moderators election online. Accepting Nominations -- Who should moderate this site?

@user291270 Hi Buffy. I know you know enough to ask some basic beginner questions. I did not see you listed in the commit list. If you plan to commit can you use this link so I can see what it is like to recommend someone. Thanks.

For info on how fast ProofAssistants completed the Define and Commit phases, which seems to be a record, see: How quickly can a proposal go into private beta?

The SE staff has indicated a preference for the site URL name. This is most likely what we would use for this site. It's simple and clear and unambiguous and it follows the pattern, which makes it easy to remember. proofassistants.stackexchange.com

proofassistants.stackexchange.com Not yet but hopefully soon.