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 ...
- 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.
- 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.
- 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
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 ...
- 473
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 ...
- 473
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
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 ...
- 940
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
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 ...
- 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 "...
- 473
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 ...
- 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 ...
- 473
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 ...
- 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....
- 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 ...
- 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 ...
- 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 ...
- 431
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 ...
- 151
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.
- 51
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, ...
- 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 ...
- 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 ...
- 236
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) ...
- 473
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 ...
- 410
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 ...
- 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 ...
- 441
Only top scored, non community-wiki answers of a minimum length are eligible