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
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 ...
- 207
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
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. ...
- 473
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,623
Only top scored, non community-wiki answers of a minimum length are eligible