This is a proposal to explore whether it'd be useful to create a separate TheoryOverflow site dedicated to research-level questions in theoretical computer science, broadly interpreted to include algorithms, complexity, approximation, randomness, quantum, algorithmic game theory, computational geometry, computability, and the like. Please follow the discussion if interested, suggest examples for good and bad questions, and add your thoughts on whether or not such a site would be useful for the theory community. – Anand Kulkarni Jun 23 '10 at 2:38

What about type theorists, programming language semanticists, automated reasoners and the like? Are they all included? Similarly, George's point is a good one: compiler design and operating system design often overlap extensively with TCS. How wide a topic is theoretical computer science going to be considered? – Dominic Mulligan Jun 23 '10 at 11:47

My inclination would be to take a broad view of theory and encourage theory questions from these domains. The main criteria I'd use in deciding whether a question seemed suitable would be first, whether the question could be better answered on Stack or MathOverflow, and second, whether the question would be of interest to or answerable by the theory community. Suggest some sample questions from these areas! – Anand Kulkarni Jun 24 '10 at 8:12