Skip to main content
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 ...
ice1000's user avatar
  • 599
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.
Andrej Bauer's user avatar
  • 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.
k4rtik's user avatar
  • 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 ...
Guy Coder's user avatar
  • 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 ...
Mario Carneiro's user avatar
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: ...
Konrad Rudolph's user avatar
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 ...
ice1000's user avatar
  • 599
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 ...
Kevin Buzzard's user avatar
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
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 ...
Shannon's user avatar
  • 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 ...
LarrySnyder610's user avatar
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/...
ice1000's user avatar
  • 599
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 ...
Nike Dattani's user avatar
  • 3,612
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 ...
Robert Cartaino's user avatar
15 votes
Accepted

What should our site be called?

Proposed site name: Operations Research
LarrySnyder610's user avatar
15 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 ...
Robert Cartaino's user avatar
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 ...
Adam Lear's user avatar
  • 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 ...
Shannon's user avatar
  • 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 ...
rubysoho's user avatar
  • 151
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, ...
bli's user avatar
  • 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) ...
Picachieu's user avatar
  • 430
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 ...
neilfws's user avatar
  • 151
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 ...
Thejasvi's user avatar
  • 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. ...
Robert Cartaino's user avatar
10 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, ...
fbahr's user avatar
  • 151
10 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 ...
Robert Cartaino's user avatar
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 ...
Tyberius's user avatar
  • 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 ...
Tyberius's user avatar
  • 414
9 votes
Accepted

Can we have a Physical Science SE for people with low quality physics questions?

You are mixing up "low quality" and "simple". Asking why the sky is blue is not necessarily a "low quality" question (for example), the quality of the question depends on how it was asked not it's ...
ChrisF's user avatar
  • 1,297
8 votes

Possible Duplicate of Cognitive Science

The Cognitive Sciences StackExchange was formed by merging previous "Psychology", "Psychiatry", and "Cognitive Science" proposals. http://area51.stackexchange.com/proposals/2149/cognitive-sciences ...
Jeromy Anglim's user avatar

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