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
21 votes
Accepted

Awaiting proposal approval — but we need another name!

Title: Technical Communication URL: techcomm .stackexchange .com I was fond of "Documentation", but this covers everything a technical writer and technical communicator does. The URL is a well-known ...
user avatar
20 votes
Accepted

What does a asterisk (star) in front of a proposal name mean?

The asterisk indicates that a proposal has NOT yet met the Minimum Activity Requirements for Area 51. The asterisk (*) was originally visible to employees only so I could see which proposals were ...
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
17 votes
Accepted

Would "Language Overflow" be a good name for this site?

I would say no, it wouldn't be a good name. This is supposed to be a site for language learners, and the name reflects that. "Language Overflow" is much more vague - it could be a name of a site for ...
user avatar
  • 940
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
15 votes

Expand name to include both Free Software and Open Source?

I believe that the term "Open Source" is the one most accessible to a general audience. People like Richard Stallman make good points about why the term "free software" might be better, but ...
user avatar
  • 1,734
14 votes

Should (could) "Technical communication" be changed back to "Documentation"?

I don't believe so. The original change came about from a potential branding collision with another Stack Exchange product — but upon further reflection and discussion, it was decided that "...
user avatar
9 votes
Accepted

vi.SE or vim.SE?

Probably should depend on if we welcome other vi clones. If we welcome nvi, elvis, levee, etc., then those aren't vim. But they're all descendants (spiritually at least) of vi. Existing example: the ...
user avatar
  • 437
9 votes

Deep Learning Forum Proposal

The only way folks can know for sure what you are proposing is to submit a proposal and post some example questions. See How to create a new proposal in Area51? But if you are envisioning a forum for ...
user avatar
8 votes

How should we craft the site description for "Technical Communication?"

Edit: Already implemented this change: Documentation: Proposed Q&A site for information developers, technical communicators, writers, programmers, engineers, and others interested or ...
user avatar
  • 3,098
7 votes

Literature or Books?

Total disagreement TL;DR: Literature and books are two very different things. We should not use the most popular medium of literature as title. All the example questions are about literature. Books....
user avatar
  • 668
7 votes

What should our site be called?

Proposed site name: Operations Research & Optimization A (lengthy) variant could be: Operations Research: Mathematical Modeling, Optimization and Decision-Making The URL and community shorthand ...
user avatar
  • 156
7 votes

Choosing a name for the Proof Assistants site

proof-assistants.stackexchange.com This is the default option, as I understand things. I am proposing it because it is self-explanatory and, well, default. The only disadvantage I see is that the name ...
user avatar
  • 2,565
6 votes

Classical Languages/Cultures?

I would not like to see the Latin Language StackExchange co-opted into a Classics StackExchange. As much as I'd like to see a Classics StackExchange succeed, many of us, including me, have a backlog ...
user avatar
6 votes

What should the site name and URL be?

Computer Graphics Programming seems to unnecessarily restrict the domain of the site to purely-programatic topics. A resource for computer graphics would seem woefully incomplete if if did not also ...
user avatar
6 votes

Should (could) "Technical communication" be changed back to "Documentation"?

Technical Communication is much more than documentation. Changing the name to documentation will reduce the scope drastically.
user avatar
6 votes

Choosing a name for the Proof Assistants site

Theorem Provers I love the suggestion by ErikMD of "Theorem Provers" if the company really doesn't allow "Provers". Currently "Provers" has 43 upvotes and 6 downvotes, ...
user avatar
  • 3,461
6 votes

Are automatic theorem provers on-topic?

It's worth pointing out that ATP have been integrated in ITP with Isabelle's Sledgehammer. From what I've heard, Sledgehammer is very useful in hacking away goals and used on a daily basis by many ...
user avatar
  • 201
5 votes
Accepted

Should (could) "Technical communication" be changed back to "Documentation"?

I am smelling more vagueness because, Writers Stack Exchange community are willing to change their site name from 'Writers' to 'Writing'. They already claims this: We're about the product and the ...
user avatar
5 votes
Accepted

how does naming work for new sites?

Custom-branded site names (like "Cross Validated", "Ask Different", "Seasoned Advice") were from a time when communities would discuss what their up-and-coming site would be called and (theoretically) ...
user avatar
5 votes

Site Scope / Name Conflict at Documentation/Technical Communication

I see your point, and understand your concern. Somehow, this reminds me of the Programmers vs Software Engineering dilemma. While It's true that many of the example questions posted so far are ...
user avatar
5 votes

Are automatic theorem provers on-topic?

While I won't argue that theorem provers should be completely off topic for this site, I think naming the site provers would really distract from the purpose of the site, namely proof assistants. I ...
user avatar
  • 201
5 votes

Substrate's finalized launch date, name, and URL

We slightly shortened the target audience description, compared to what the proposal currently reads — "for developers building blockchains with the Substrate SDK, including all parachain ...
user avatar
  • 441

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