19
$\begingroup$

Possible Duplicate:
Write an Elevator Pitch / Tagline

Note:

We are closing this domain naming thread. It is asking the entirely wrong question. See this blog post for details: Domain Names: Wrong Question

We're going to keep the name cstheory.stackexchange.com. But we WILL be setting up redirects from the more "popular" domains names. (e.g. seasonedadvice.com to cooking.stackexchange.com, basicallymoney.com to money.stackexchange.com, and others as we go through the list).

New question: "Write and Elevator Pitch / Tagline!"

Click here to contribute ideas and vote.

[original message text below]


Update: this post is now closed. CSTheory.org it is..

I'll start the ball rolling with the canonical question from 'The 7 essential meta questions'.

Please post each idea as an answer, and if you know, indicate whether it's taken or not. Based on past experience with other SE sites, a domain name that's parked but not taken is admissible.

Note that you can vote more than once!

$\endgroup$
13
  • 1
    $\begingroup$ Is there a way for people to change votes? In the beginning when there were very few good suggestions, I voted for one that was the best among those. Now that better ones have appeared, I would like to cancel my vote for that one. $\endgroup$ Commented Sep 5, 2010 at 18:49
  • $\begingroup$ You can always downvote the one you want to cancel and vote for the one you like $\endgroup$ Commented Sep 5, 2010 at 19:49
  • 1
    $\begingroup$ one possibility (if you have enough rep) is to trivially edit the answer and then change the vote. not ideal, but this is how it appears to work. $\endgroup$ Commented Sep 6, 2010 at 2:10
  • $\begingroup$ ok, that works.. Just tried it. $\endgroup$ Commented Sep 6, 2010 at 3:15
  • $\begingroup$ If you voted by clicking an up-arrow, just click it again to cancel your vote (if you click down-arrow you will change your vote from "yes" to "no" rather than to "no vote"). $\endgroup$ Commented Sep 6, 2010 at 21:35
  • 2
    $\begingroup$ @Andrej Bauer: The catch is that you cannot cancel a vote unless the answer has been edited since you voted. I guess that this is different from MathOverflow, which uses an older version of the StackExchange software. $\endgroup$ Commented Sep 7, 2010 at 12:25
  • 1
    $\begingroup$ Is the name with the highest votes going to be selected, or will we get down to a few finalists and then vote after some discussion? $\endgroup$ Commented Sep 7, 2010 at 21:28
  • 1
    $\begingroup$ I suspect we'd go with the highest voted name in this case, since the difference is quite large. If that changes, then maybe a runoff ? $\endgroup$ Commented Sep 7, 2010 at 22:31
  • 1
    $\begingroup$ Yep, the difference between CStheory.org and everything else is huge. Even if you flip all the negative votes for infinitestack and theoryoverflow to be positive votes, the count still doesn't beat cstheory.org. Let me recommend that everyone who dislikes cstheory.org to get your friends to (a) start participating on the site, and (b) vote for something else! (No duplicate IDs, please!) $\endgroup$ Commented Sep 9, 2010 at 22:25
  • $\begingroup$ @Surseh, @Ryan: Your comments assume that everyone voted among the top three. I don't think the distribution is skewed enough -- say in some severe power law -- to assume that a runoff would produce the same outcome. $\endgroup$
    – RJK
    Commented Sep 10, 2010 at 20:17
  • 2
    $\begingroup$ So.. voting has ended. If we're not having a runoff, it seems we have a new name! $\endgroup$ Commented Sep 11, 2010 at 16:39
  • 2
    $\begingroup$ yep. I think the plan is to inform Robert Cartaino about this. $\endgroup$ Commented Sep 12, 2010 at 8:34
  • $\begingroup$ This is great. We should turn our attention to the logo, design, etc. now. $\endgroup$
    – Shane
    Commented Sep 13, 2010 at 16:38

28 Answers 28

49
$\begingroup$

CSTheory.org

Extremely official and informative. (A bit better grammatically than TheoryCS.org, I think; but both are good).

$\endgroup$
13
  • 1
    $\begingroup$ I like this one. Short and to the point, easy to remember, and specific to our endeavor. $\endgroup$
    – Shane
    Commented Aug 24, 2010 at 16:23
  • 3
    $\begingroup$ The only possible "problem" with this name is that it's too literal. $\endgroup$
    – Shane
    Commented Aug 27, 2010 at 14:17
  • 3
    $\begingroup$ .com available, see meta.cstheory.stackexchange.com/questions/1/… $\endgroup$ Commented Aug 29, 2010 at 16:00
  • 15
    $\begingroup$ It's a bit of a boring name! :) $\endgroup$
    – Emil
    Commented Sep 3, 2010 at 23:28
  • 11
    $\begingroup$ Imagine the following exchange over coffee: "I posted my question on CSTheory and had a lot of interest!" and in (albeit possibly slightly slow but still validly confused) response, "Where did you post it?" $\endgroup$
    – RJK
    Commented Sep 5, 2010 at 10:24
  • 6
    $\begingroup$ If we go this route, the name of the site will probably be “CSTheory-dot-org” because “CSTheory” does not serve well as a name. Is this really what we want? $\endgroup$ Commented Sep 6, 2010 at 14:12
  • 2
    $\begingroup$ Saying "I asked on sea-es-theory" is actually batter than what seems to be the norm for MathOverflow, which is "I asked on em-oh". I suspect we'll end up using the abbreviation CST for informal references to CSTheory.org (which seems to be the best choice so far). $\endgroup$ Commented Sep 6, 2010 at 21:38
  • 4
    $\begingroup$ I like CSTheory, but I'd prefer something more imaginative like "InfiniteStack" or "ArthurMerlin" just because they are more clever and playful. $\endgroup$
    – arnab
    Commented Sep 6, 2010 at 22:41
  • 1
    $\begingroup$ I also find it disappointingly literal, lacking that element of playfulness of some of the others. Although I do agree 'CST' might work well for casual references. But in that case I prefer theorycs.org since "Theoretical Computer Science" is a more common expression than "Computer Science Theory" (Google confirms this ;-)) $\endgroup$ Commented Sep 7, 2010 at 4:23
  • 10
    $\begingroup$ Perhaps we should have a "playoff" between the top 2 or 3 names? Might lead to a good discussion. $\endgroup$ Commented Sep 7, 2010 at 4:25
  • 8
    $\begingroup$ Hard to pronounce, at least for non native speakers (unless you cheat and say /see-theory/), and sounds a bit ugly. Looks ugly, come to think of it: the sequence of three capital letteres followed by lowercase … unbalanced. I’m really surprised this got so many votes! $\endgroup$ Commented Sep 8, 2010 at 11:46
  • 1
    $\begingroup$ > I’m really surprised this got so many votes! "Worse is better" stroke again. $\endgroup$ Commented Sep 8, 2010 at 21:03
  • 2
    $\begingroup$ @Konrad: You can write it all-lowercase: "cstheory.org" doesn't look that bad. Come to think of it, cstheory.org looks almost like a domain name! $\endgroup$ Commented Sep 8, 2010 at 21:24
30
$\begingroup$

InfiniteStack.org

is a pun on StackOverflow, TM computation, pushdown automata, and concisely conveys the theoretical bent of the site. The .net and .com variants are also available.

(Acknowledgements to arnab for scratchtape inspiration.)

$\endgroup$
0
27
$\begingroup$

TheoryOverflow seems the right name. None of the variants com/net/org is taken; I would therefore prefer theoryoverflow.org if possible.

cstheoryoverflow.org is also still available, but I feel since we are the first ones to use theory (without the cs), this is our chance to keep it out of the hands of the postmodernists. (This is meant to be a joke, by the way.)

$\endgroup$
11
  • 6
    $\begingroup$ Problem is that the 'overflow' doesn't make sense. For MO it was a joke based on latex compilation (see the logo). $\endgroup$ Commented Aug 16, 2010 at 22:03
  • 7
    $\begingroup$ I was thinking of a different meaning: TheoryOverflow is the overflow from MathOverflow, when someone says "that's off topic, it's not mathematics". $\endgroup$ Commented Aug 16, 2010 at 22:35
  • $\begingroup$ he he. Interesting. gets a +1 from me $\endgroup$ Commented Aug 16, 2010 at 22:38
  • 1
    $\begingroup$ General note: With non-.com domains (.org, .net, …) people tend to forget and type .com by default. This is why mathoverflow.com exists and redirects to mathoverflow.net. $\endgroup$ Commented Aug 16, 2010 at 22:43
  • 1
    $\begingroup$ I really prefer when the name is more directed towards the chosen subject (see also #2 in the blog post on choosing a name: blog.stackoverflow.com/2010/07/domain-names). A two-word idea from CS Theory that has some relevance would be best. $\endgroup$
    – Shane
    Commented Aug 17, 2010 at 16:24
  • 1
    $\begingroup$ I've been reading some discussion on MO about their use of overflow, and apparently it causes them some grief when people confuse StackOverflow and MO in terms of type of audience. That might be a problem for us too. $\endgroup$ Commented Aug 20, 2010 at 5:04
  • 2
    $\begingroup$ There are a fair amount of theory types on SO already though (e.g. three pages of results searching for "coq"), and I would hope that this would also be a place for some of the higher-level discussions there to migrate. $\endgroup$
    – sclv
    Commented Aug 24, 2010 at 15:06
  • 6
    $\begingroup$ I think this isn't really informative. Both "theory" and "overflow" do not refer to theoretical computer science. "Theory" you've got everywhere, not just in CS. And "overflow" is a bit used already. I think the name should have something to do with computation (like "CSTheory.org", I suggested). $\endgroup$ Commented Aug 24, 2010 at 16:18
  • 1
    $\begingroup$ I like TheoryOverflow and think it's appropriate that our name reflect the connection to Math/StackOverflow. Also, TheoryOverflow has become the de facto name on the web (just google "TheoryOverflow" and look at all the references), and I don't think we should try to change a name that has already stuck. $\endgroup$
    – Ian
    Commented Aug 26, 2010 at 20:49
  • 8
    $\begingroup$ I'm a fan of TheoryOverflow as well, simply because of its allusion to Math and StackOverflow. The "Overflow" brand has some meaning of its own by now, and CS insiders know what is meant when you say "I work on theory" -- see, for example, Luca Trevisan's blog "In Theory". $\endgroup$ Commented Aug 28, 2010 at 0:06
  • 2
    $\begingroup$ I also like theoryoverflow because I can abbriviate it to TO. If we choose cstheory, it would be nice to redirect theoryoverflow to it (or vice versa). $\endgroup$
    – Kaveh
    Commented Aug 28, 2010 at 7:13
20
$\begingroup$

ArthurMerlin.com

Pardon the pun, but since it is a Q and A site, if we are going down the route of CS related names it seems like an obvious candidate. Seems the most appropriate of all interactive proof type things I could think of.

$\endgroup$
4
  • 4
    $\begingroup$ Outside the USA, TCS includes much more than complexity theory. AM is pretty much specific to complexity, so I don't much like this one. It would be good to choose a name that is not likely to put off people from the programming language semantics, concurrency, or logic communities. $\endgroup$ Commented Sep 4, 2010 at 17:03
  • 5
    $\begingroup$ I live in Oxford! I know AM is complexity related, but I thought the fact that it was specifically the question + answer class made it quite appropriate. $\endgroup$ Commented Sep 5, 2010 at 12:52
  • 3
    $\begingroup$ Joe: it's certainly a more interesting name than cstheory! $\endgroup$ Commented Sep 5, 2010 at 14:09
  • $\begingroup$ .com/.org/.net all available. $\endgroup$ Commented Sep 5, 2010 at 20:20
13
$\begingroup$

TuringComplete.com

Goal of the site is to be able to represent all topics in TCS. We don't really have branching, but we do have gotos and the ability to edit memory.

$\endgroup$
2
  • 1
    $\begingroup$ I like the metaphor, but I am afraid that the name would literally suggest the preference toward recursion theory instead of the stated goal of representing all topics in TCS. $\endgroup$ Commented Sep 4, 2010 at 18:02
  • $\begingroup$ How about turing.stackoverflow.com? $\endgroup$
    – Fanatic23
    Commented Sep 10, 2010 at 18:30
11
$\begingroup$

InfiniteTape.org

Available, InfiniteTape.com is taken.

$\endgroup$
10
$\begingroup$

TheoryOracle.com

$\endgroup$
10
$\begingroup$

CSTheory.com

Offered by Kevin McCurley, see What is a good use for cstheory.com?

$\endgroup$
9
$\begingroup$

ChurchTuring.com

$\endgroup$
1
  • 1
    $\begingroup$ Or CurryHoward.com :-) $\endgroup$
    – sclv
    Commented Aug 24, 2010 at 15:06
8
$\begingroup$

TheoryCS.org

Short and sweet :)

$\endgroup$
1
  • 4
    $\begingroup$ I prefer CSTheory... $\endgroup$ Commented Aug 26, 2010 at 20:28
7
$\begingroup$

TCS.SE

(Yes, literally.)

$\endgroup$
7
$\begingroup$

tcscafe.com

This is based on RJK’s suggestion TheoryCafe.org, but I think that “theory” is pretty vague (it could refer to theoretical physics for example). My choice of top-level domain is because of a blog by Robert Cartaino of Stack Overflow where he suggests to prefer .com (but I do not know why .com should be preferred).

It is short, not too straightforward, and not too narrow. Also, it is recognizable to TCS people without relying on capitalization (hopefully).

$\endgroup$
4
  • 1
    $\begingroup$ I have posted this name because I think it is better than the other names suggested so far in some way (of course; why would I post a name if I think there is a clearly better name already?) But honestly speaking, I prefer a more creative and imaginative name if there is a good one. $\endgroup$ Commented Sep 4, 2010 at 17:49
  • 4
    $\begingroup$ Hey Tsuyoshi, nice to bump into you here! Thanks for the improved suggestion. I agree with your comment here that there is still something missing in all of the current proposals. We need something with more cheek and wit, but also not narrowing in too much on one particular sub-field or excluding an important one. $\endgroup$
    – RJK
    Commented Sep 4, 2010 at 20:13
  • $\begingroup$ @RJK: Your comment states exactly what I was thinking, and clearer than mine! $\endgroup$ Commented Sep 4, 2010 at 20:28
  • $\begingroup$ @RJK: And now I learned who you are. Nice to see you here! $\endgroup$ Commented Sep 4, 2010 at 21:04
4
$\begingroup$

TheoryCafe.org

is, with apologies to caffeine abstainers, hoping to convey the type of collaborative research discussions that members of our field often have over coffee... (I realise there is a slight conflict with n-category cafe, but oh well.)

$\endgroup$
4
$\begingroup$

TheoryFlow

Based on "Max Cut Min Flow", is similar to MO.

.org, .net, .com available.

$\endgroup$
3
$\begingroup$

AnalyticalEngine.org

is a tongue-in-cheek reference to probably the oldest example of theoretical computer science. (Hm, Babbage's theory was not converted to practice until well after his death...) We could also imagine that our research forum is an "engine for analysis" of TCS problems.

(Warning: analyticalengines.com is taken and might spawn some hideous trademark dispute.)

$\endgroup$
1
  • $\begingroup$ I like this name. I was thinking in the same direction (referring to the website itself as a computational device or a model of computation), but I could not come up with a good name. $\endgroup$ Commented Sep 4, 2010 at 23:43
2
$\begingroup$

TCSoracle.com

(yes it has already been "suggested", but this is at the request of Robert Cartaino, see his comment)

$\endgroup$
2
$\begingroup$

FiniteOracle.com

Available, as are *.org, *.net.

From gphilip's infinite stable.

$\endgroup$
2
$\begingroup$

tcsoverflow.com

More precise than theoryoverflow.com yet still maintains that delightful "overflow" meme but not overly long.

$\endgroup$
1
$\begingroup$

tcsQandA.org

(not yet taken)

$\endgroup$
1
$\begingroup$

RecursiveOverflow

.com .org .net available. Named after recursive definitions and recursive functions.

$\endgroup$
1
$\begingroup$

CompSciTheory.com

I like CSTheory quite a lot, but CS always reminds me of Counterstrike. CompSci just comes across as more user-friendly, and the .com domain is available should we want it.

$\endgroup$
-1
$\begingroup$

PolymathTheory.com


To promote the idea of collaborative problem solving.

$\endgroup$
1
  • 1
    $\begingroup$ Gowers' great pun is lost though... $\endgroup$
    – RJK
    Commented Sep 4, 2010 at 22:37
-1
$\begingroup$

TheoryInPractice

.com and .org are registered. .net is not. TheoryInPractice.com's asking price is $2588.

$\endgroup$
1
  • 2
    $\begingroup$ "Theory in Practice" would seem to suggest that this is an applied computer science site... which it is not. $\endgroup$ Commented Sep 7, 2010 at 21:02
-2
$\begingroup$

CSOverflow.com

Seems available (.org as well)

$\endgroup$
-3
$\begingroup$

theoreticalcomputerscience.org also seems available

$\endgroup$
1
  • 9
    $\begingroup$ That seems a little long for a domain name. $\endgroup$ Commented Aug 17, 2010 at 3:38
-3
$\begingroup$

mathunderflow.com

I thought of this a few days ago and forgot to add it. It could be seen as a joke about the status of TCS within the math community.

$\endgroup$
1
  • $\begingroup$ OK, perhaps not a FUNNY joke ;-) $\endgroup$ Commented Sep 10, 2010 at 11:38
-8
$\begingroup$

PvsNP.org

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .