Hot answers tagged

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.
12 votes

Could a large number of supporters help offset a <100 number of commiters with >200 rep?

Unfortunately, Mr. Cartaino was let go earlier this week, along with another CM. It seems some downsizing has occured. This is going to make this even more difficult if we have to work around the ...
10 votes
Accepted

Could a large number of supporters help offset a <100 number of commiters with >200 rep?

The reason why this requirement exists is so that at least a sizable proportion of the early site contributors have experience in the Stack Exchange model, not just in the topic. Having at least some ...
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,565
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
4 votes
Accepted

When there should be separate site for certain Linux distribution?

Area 51 is currently accepting proposals for subjects not already covered by our existing communities. Ask Ubuntu was launched before the broader Linux site, so we did not have a site on that subject. ...
4 votes

How long does a beta need to be healthy before it can be graduated?

By "launched", I assume you mean graduated, because even a beta site is a fully-functional, launched site even if it isn't (or may never be) "graduated". I wrote a blog post that discussed this issue:...
2 votes

Could a large number of supporters help offset a <100 number of commiters with >200 rep?

Just now I took the time to look through every beta site listed here: https://area51.stackexchange.com/ Interestingly, almost every single proposal made it to the beta phase with just over 200 ...
  • 3,461

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