Search Results

As a Theory B person, I feel the site really lacks Theory B questions. To make matters worse is he previously active Theory B people are now much less active. More generally, the questions here seem t …

As one of the moderators, I'm in favour of migrating questions that we see fit. I think the policy should be different for the reasons you mention: we understand the forums a lot better and we are act …

Someone could make a flyers which could be either squeezed into the conference goody-bag (unlikely unless you know the organisers) or left lying around for people to spot and pickup. This would requi …

This question is about proof assistants and verification tools. The level of knowledge required to use such tools is much higher than for regular programming. In some areas of TCS, such as type system …

The question as it is phrased, or as it could be phrased, asks only for criteria for judging candidate institutions/programs. If only criteria are given, then no one gets hurt (directly). As soon as n …

Andrej Bauer

By popular demand, I reopened the question.

I'd say that they do not fit within the scope of the site. The first is purely about implementation issues. The second, as it is phrased, asks for a purely descriptive account of the language features …

This is the percentage of questions asked by the user that have an accepted answer. For example, I have asked 9 questions and accepted only 5 answers, so my acceptance rate should be 55%.

I agree that these comments are not constructive and too chatty. Either the perpetrator should write a proper answer or keep the comments to a minimum. General comments like these should not be okay …

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 …

Curiously, someone took inspiration from your question and has made a variant of it for this site: Minimum weight subforest of given cardinality Therefore it seems reasonable that it belongs on this …

Your actions were perfectly reasonable. The user in question surely knew (s)he was posting junk, so would have expected such a response. I would not necessarily email such offenders – presumably the c …

I don't think there is any need to make an answer that summaries the other answers. Certainly editing one of the existing answers would not be good, as it will change the original author's intentions …

For the question under discussion, the community seems to have decided in favour of keeping the question. …