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 ...
- 479
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.
- 2,625
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.
- 211
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 ...
- 1,746
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 ...
- 151
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-...
- 473
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:
...
- 975
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 ...
- 479
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 ...
- 390
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
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 ...
- 3,529
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 ...
- 2,966
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/...
- 479
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 ...
- 473
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 ...
- 3,623
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 ...
- 473
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 ...
- 201
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 ...
- 3,529
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 ...
- 151
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 ...
- 197
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, ...
- 531
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 ...
- 151
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, ...
- 151
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 ...
- 473
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 ...
- 371
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.
...
- 473
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 ...
- 414
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 ...
- 414
Only top scored, non community-wiki answers of a minimum length are eligible