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 ...
user avatar
  • 381
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.
user avatar
  • 2,565
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.
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 ...
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 ...
user avatar
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-...
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: ...
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 ...
user avatar
  • 381
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 ...
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.
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 ...
user avatar
  • 3,643
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 ...
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/...
user avatar
  • 381
16 votes
Accepted

What should our site be called?

Proposed site name: Operations Research
user avatar
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 ...
user avatar
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 ...
user avatar
  • 3,461
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 ...
user avatar
  • 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 ...
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 ...
user avatar
  • 201
14 votes

Suggest a URL for this site

I think that an initialism might be the way to go here: hsm.stackexchange.com This has precedent at sites like dsp.stackexchange.com ("Digital Signal Processing"), gis.stackexchange.com (whatever "...
user avatar
  • 486
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 ...
user avatar
  • 3,643
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, ...
user avatar
  • 1,495
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 ...
user avatar
  • 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, ...
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) ...
user avatar
11 votes

What about areas such as "econophysics"?

Econophysics uses tools from physics to answer questions from economics. The first aspect can be supported by Physics SE, the second not really. Therefore questions about econophysics should be ...
user avatar
  • 356
11 votes
Accepted

Generalize the site

No, we can't do that, as this is not a proposal for a site about the history of academics (not even remotely close). That being said, if you are seriously interested in a site about the history of ...
user avatar
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 ...
user avatar
  • 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, ...
user avatar
  • 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 ...
user avatar

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