42
votes
Choosing a name for the Proof Assistants site
provers.stackexchange.com
EDIT (3): I'm just proposing a domain name, not the name of the site. IMO, the site should be named as Proof Assistants.
It's much shorter than proofassistants, it's about ...
28
votes
Are automatic theorem provers on-topic?
I would prefer to err on the side of inclusiveness, so yes. And the two communities really should be talking to each other more than they do.
27
votes
Choosing a name for the Proof Assistants site
qed.stackexchange.com
It's short, it's quirky, it's about proofs, and it alludes to QED at Large: A Survey of Engineering of Formally Verified Software and the QED Manifesto.
27
votes
Choosing a name for the Proof Assistants site
proofassistants.stackexchange.com
Notice there is no -
The reasoning behind removing the dash.
... some human users may have a difficult time recalling your domain name, especially because most ...
24
votes
Are automatic theorem provers on-topic?
Yes
Even if you put all the different branches together, formal methods is a rather niche field, and I don't think there would be so much success having separate sites for ATPs and ITPs. At the same ...
23
votes
Why yet another trial at an AI project?
AI as a subject isn't likely to attract a community you can build a site around because it is a broad term that's been applied to everything from creating synthetic beings to creating more-...
21
votes
Accepted
We already have Biostars
This will just fragment the community.
Very correct, and this is an important consideration.
That said, people have many, many issues with BioStars. I’ve personally put my view into words on Reddit:
...
21
votes
Why have a Proof assistants SE site when there are already very active Zulip instances?
As this answer (sorry for the shameless self-promotion) suggests, there are many people asking proof-assistants relevant questions on various SE sites, including StackOverflow, CS, TCS, etc. which ...
19
votes
Why have a Proof assistants SE site when there are already very active Zulip instances?
[I've just mentioned this as a comment on another answer but I think it fits well here as an answer.]
Over the summer it became apparent that I'd be teaching a Lean course to mathematicians during ...
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.
18
votes
Accepted
How should I participate in the Bioacoustics Stack Exchange Proposal?
For the COMMIT Stage, we are gathering our community members who will help out Beta site get off the ground! It is important that our community learns how the Stack Exchange platform works-- and so ...
17
votes
Change proposed forum title "Operations Research and Analytics" to "Operations Research and Prescriptive Analytics"
My opinion is that we should leave it as "Analytics". We (OR/MS/IE people) do more than just prescriptive analytics -- for example, simulation is descriptive analytics, demand forecasting is ...
17
votes
What questions on existing SE sites are on proof assistants?
I believe searching by tags on StackOverflow already shows a looot:
https://stackoverflow.com/questions/tagged/agda
https://stackoverflow.com/questions/tagged/idris
https://stackoverflow.com/...
16
votes
Accepted
16
votes
Accepted
Our site name changed. Is it final?
When a proposal nears the end of its Definition, it undergoes a final review by the Community Team to see if and how it fits with the rest of the network. During the final review, any discussions and ...
16
votes
Accepted
How can this proposal be clearly distinguished from Chemistry, Physics, Computational Science, ...?
Nice to meet you Martin! Before making this proposal, I tried to get in touch with you and orthocresol earlier this week on a chat room I made but wasn't able to grab your attention. One year ago we ...
15
votes
Accepted
Will machine learning be considered as on-topic?
No, machine learning as far as implementation goes is not on topic for this site. We've had two previous failures in launching a site about AI (which already included machine learning) — and the ...
15
votes
When will we launch? UPDATE (launched date delayed)
Update: And now I'm bringing good news! The site is up and running.
I'm the developer that launches new sites and unfortunately I come bearing some bad news.
The original date for the private beta ...
14
votes
How should I participate in the Bioacoustics Stack Exchange Proposal?
The purpose of the DEFINE stage is to identify which questions are ON TOPIC and which questions are OFF TOPIC for our future site. Each person has 5 up votes for Good Questions, and they can also ...
13
votes
Accepted
Persistent bugs hindering users from participating: Failure of StackExchange to recognize when Area51 & SE accounts have the same email address
When I committed, I was asked to enter my name and my email. Even though I used the same email address that I used for all other StackExchange accounts, it wasn't able to recognize me. This is a bug ...
12
votes
Accepted
Would the focus of this be technical, philosophical or both?
It should be both.
On a new site with technical questions only, most of the questions would be on-topic on the Data Science portal: https://datascience.stackexchange.com/
And I think with mostly ...
12
votes
Accepted
What’s the focus of the site?
I think the focus of this site should be how specialists of the field deal with biological information using automation / computational tools. It should be about:
Specific formats used in the field, ...
12
votes
OR: Strategies for getting 100+ committers with 200+ rep
To all users with less than 200 reputation reading this:
Please work on getting 200 reputation somewhere in the network. Any site will work; you can browse the whole list of 174 (soon to be 175) ...
11
votes
We already have Biostars
I hear this "fragment the community" argument a lot and I'm not convinced that it is true. I see the Web as one resource. I type a question into Google, it returns results. If the best results seem to ...
11
votes
OR: Strategies for getting 100+ committers with 200+ rep
Also, on a related note: make sure to register at area51.stackexchange.com.
Supporting a proposal doesn't require a login -- importing your hard earned reputation scores from other SE sites does, ...
11
votes
Accepted
When will we launch? UPDATE (launched date delayed)
Update:
After some technical delays, the site is now up and running.
Enjoy!
original post:
Site launches are typically approved on a Thursday or Friday, and scheduled for launch on the next ...
11
votes
Accepted
What do people think about "basic" animal sounds questions?
Agree on including such questions. In the 'simplest' case, the answer could have an online repository that points to other such recordings or similar sounds (XenoCanto, etc.) - and in other cases, it ...
10
votes
Accepted
When can "example questions" be answered?
A proposal is essentially an "application" to create a site. If you have access to a healthy, enthusiastic community in need of a Stack Exchange public Q&A site, Area 51 is where you propose it.
...
10
votes
Discussion about the name for Materials/Matter Modeling
My vote would be for Molecular and Materials Modeling.
I think this does the best job of conveying the scope of the site without being too limiting (just materials could suggest a great number of MD ...
10
votes
Will ProofAssistants have the required traffic to keep the site going?
It's worth noting that these criteria (like much of Area 51) are fairly out of date. In particular, there seems to be less of an emphasis on the rate of Q&A or the size of a site and more on ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
science × 340proposal-scope × 41
discussion × 31
technology × 23
duplicate × 14
commitment × 11
merge-request × 10
private-beta × 10
proposal-name × 10
feature-request × 8
site-definition × 8
allowed-questions × 8
culture × 7
status-declined × 7
area51-meta × 5
status-completed × 5
professional × 5
closed-proposals × 5
proposal-description × 5
launch × 5
change-request × 5
life × 4
recreation × 4
bug × 4
arts × 3