18
votes
Proof Assistants' finalized launch date, name, and URL
We certainly will be needing MathJax enabled. There will be a lot of maths content.
- 151
14
votes
Accepted
Can questions from closed Deep Web can be migrated into soon created I2P?
The technical and timing issues aside (this isn't even a site, yet) — generally speaking, you don't want to start a new site with questions imported from elsewhere. If there is a good questions ...
- 473
12
votes
Congratulations to Programming Language Design and Implementation on completing the Commitment phase!
I am answering this because the stuff I want to say will exceed the comment character limit.
First of all, I am ecstatically happy right now, it's been a dream of mine to help create a new SE site ...
- 112
12
votes
Accepted
When will this site begin?
See the banner across the top of the proposal.
This proposal has reached 100% commitment. We are preparing for its launch and expect to create it soon.
Yup, barring any technical problems, this ...
- 473
12
votes
How quickly can a proposal go into private beta?
I'd say that the move from proposal to commitment for the Monero proposal was only so fast because we've had a failed proposal already. Bolstered by that failure, the community was determined not to ...
- 2,546
10
votes
Accepted
What happens when the commitment percentage reaches 100%
The latter one. The site does not automatically get created at 02:45 on Saturday morning if that's when 100% is reached. Rather, a notice appears saying that this proposal reached 100% commitment and ...
- 51
8
votes
Proof Assistants private beta launch will take place in February 2022
Are there things we can help with at present, or is there nothing for us to do but celebrate the holidays?
P.S. It's super cool that if I start my answer with "Dear SE overlords," that bit ...
- 2,625
6
votes
We're almost there
Here is the information given on the site of Deep Web, that precedes our site of a few days in Private Beta. This gives some indications on what we have to do to make our Beta successful:
10 ...
- 201
6
votes
Accepted
Will Unregistered Users or people who have not committed be able to join the private beta once it has started?
Private betas are no longer access restricted, at least not very strictly.
If a user doesn't receive an invite link for whatever reason, all they need to do to access the private beta is click on the &...
- 736
5
votes
Substrate's finalized launch date, name, and URL
We slightly shortened the target audience description, compared to what the proposal currently reads — "for developers building blockchains with the Substrate SDK, including all parachain ...
- 441
5
votes
Accepted
Is there a seven day minimum between betas?
Sites launch on Tuesdays. There is not, to my knowledge, an authoritative explanation of why it's Tuesday. But it's apparent that Stack Exchange activity is lower on weekends, which is not good for ...
- 51
5
votes
We're almost there
One of the purposes of the private beta is to 'seed' the site with representative content before the public beta.
I was going to suggest that everyone consider asking 'their' questions from the ...
- 559
4
votes
How quickly can a proposal go into private beta?
ProofAssistants did the Define phase in about 1 day 1 hour and Commit phase in about 1 day 22 hours and 30 minutes
If I had know this Q&A existed before now I would have taken a more timely ...
- 1,746
4
votes
Accepted
When does the proposal what reached beta start private-beta in general?
It takes a few days for SE staff to set up the site. Usually about 3 business days. Days can be impacted by other events like conferences or holidays. Most of the SE staff live in the US, and this ...
- 6,114
4
votes
Accepted
Do the Mods need our help to push forward the creation of Beta?
No, barring any technical issues, this site is slated to start private beta later tomorrow, Feb 7th.
- 473
3
votes
Accepted
What is a private beta?
The private beta is when proposal supporters can finally start asking and answering questions in preparation for a broader, public launch. The primary purpose of a limited-time private beta is to get ...
- 473
3
votes
Accepted
3
votes
How quickly can a proposal go into private beta?
According to this post from 2014, the current record holds the Craft CMS proposal which made to private beta in only 12 days.
The second fastest site to go from initial proposal to private beta is ...
- 4,688
3
votes
Private Beta Requirements
There's an answer here on Meta Stack Exchange by former staff member @TimPost. The first sentence is the most important:
I hate to put even arbitrary numbers out there because folks tend to fixate on ...
- 234
2
votes
Accepted
Beta Dashboard for Metrics: Private vs Public Beta
The benchmarks for success were applicable to sites in Public Beta about a decade ago, back when the expectation was that every site would be as wildly successful as StackOverflow. These days, once a ...
- 1,238
Only top scored, non community-wiki answers of a minimum length are eligible