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
  • 494
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

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
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
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

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 ...
Robert Cartaino's 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 ...
Robert Cartaino'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
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
Accepted

What should our site be called?

Proposed site name: Operations Research
LarrySnyder610's user avatar
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 "...
Robert Cartaino's user avatar
12 votes

Should we rename our site to include "and implementation"?

Only in the site name There's nothing wrong with having a long site name. As you say, over on Code Golf and Coding Challenges, we're hella used to long site names (which is ironic given we're about ...
lyxal 's user avatar
  • 491
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 ...
Robert Cartaino's 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 ...
David Vogel's 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....
Helmar's user avatar
  • 668
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 ...
Andrej Bauer's user avatar
  • 2,625
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 ...
CMichael's user avatar
  • 156
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, ...
Nike Dattani's user avatar
  • 3,623
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.
Sejal Parikh's user avatar
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 ...
Max's 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 ...
Karan Desai's 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) ...
Robert Cartaino's 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 ...
codeaviator's 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 ...
Couchy's 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 ...
Ki Chjang's user avatar
  • 441
4 votes

What should our site be called?

Proposed site name: Operations Research and Analytics
LarrySnyder610's user avatar
4 votes

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

Documentation is the best of all the not-quite-right options. I like "Tech Writing," personally, because I think of myself as a "Technical Writer," not a "Documentation Writer" (or "Documentarian" - ...
Adam Michael Wood's user avatar
4 votes

Classical Languages/Cultures?

I'm a very basic Latin "beginner" but even so I'm already seeing that Classical Latin language and literature are inextricably interwoven with Ancient Greek (my next learning project lol). I would ...
TheHonRose's user avatar
3 votes

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

NOTE: At the time I'm writing this answer, the site description is currently: Proposed Q&A site for information developers, technical writers, programmers, and engineers engaged in ...
hBy2Py's user avatar
  • 269

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