Skip to main content
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.
Dima Pasechnik's user avatar
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 ...
Robert Cartaino's user avatar
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 ...
Deko Revinio's user avatar
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 ...
Robert Cartaino's user avatar
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 ...
fluffyponyza's user avatar
  • 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 ...
410's user avatar
  • 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 ...
Andrej Bauer's user avatar
  • 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 ...
Taladris's user avatar
  • 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 &...
animuson's user avatar
  • 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 ...
Ki Chjang's user avatar
  • 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 ...
410's user avatar
  • 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 ...
Нет войне's user avatar
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 ...
Guy Coder's user avatar
  • 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 ...
James Jenkins's user avatar
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.
Robert Cartaino's user avatar
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 ...
Robert Cartaino's user avatar
3 votes
Accepted

Can we update this text?

The copy has been updated, and it now looks like this:
JNat's user avatar
  • 299
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 ...
kenorb's user avatar
  • 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 ...
Glorfindel's user avatar
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 ...
Mark's user avatar
  • 1,238

Only top scored, non community-wiki answers of a minimum length are eligible