Hot answers tagged

41 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 ...
  • 429
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 ...
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 ...
  • 429
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 ...
  • 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 ...
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/...
  • 429
16 votes
Accepted

What should our site be called?

Proposed site name: Operations Research
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 ...
  • 3,497
15 votes

Open Science is a duplicate (subset) of academia.SE

Viewing the top rated questions, and considering Academia is expressly open to questions about research in industry, government, etc. I'm inclined to agree - Open Science is a subset of the type of ...
  • 1,247
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 ...
  • 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
12 votes
Accepted

What is the potential overlap between Open Source and Open Science?

There is a degree of overlap in which questions will be on topic for each of the two sites. This is not necessarily a reason to combine them into one site. There are many SE sites that have overlap, ...
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 ...
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. ...
10 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

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