This question asks about the highlights of cstheory.stackexchange.com. Indeed, there have been many. What I'm interesting in knowing is what the non-highlights are. What is lacking from the site? What can be done to improve the situation?

  • $\begingroup$ You are asking two questions. Both of them are interesting and they are somewhat related to each other, but I would not like to see the answers to two questions mixed up. Can you break this question into two separate questions? $\endgroup$ Commented Oct 6, 2010 at 11:45
  • $\begingroup$ Or by “What has been lacking” do you mean “What subfields of TCS have been lacking”? In that case, it is better not to split the question into two, but if so the question can use a little clarification. $\endgroup$ Commented Oct 6, 2010 at 11:49
  • $\begingroup$ I can split it into two questions. $\endgroup$ Commented Oct 6, 2010 at 11:52

2 Answers 2


I would like to see more

  • historical questions
  • concurrency, modal logic, reactive systems
  • finite model theory, Ehrenfeucht-Fraïssé games, computational logic
  • database theory, lower bounds for streaming and sketches
  • unconventional models of computation
  • pebble automata, bounded verification
  • algorithmic graph theory

though this is a purely subjective (and quite rough) list.

  • $\begingroup$ A followup is then: how might we go about getting more questions in these areas. $\endgroup$ Commented Oct 8, 2010 at 5:28
  • $\begingroup$ I will try to recruit people from Edinburgh (now that I'm based here), which should help to increase the numbers of people interested in these fields. $\endgroup$ Commented Oct 8, 2010 at 7:01

I like questions regarding "foundations of cryptography" (see Goldreich's book regarding the topics it covers).

Apart from the questions I personally asked, I practically saw no one else asking such questions.


You must log in to answer this question.

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