Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 39
7 votes
3 answers
291 views

Scope limits on proof assistants (e.g. Coq)

To what extent are questions about proof assistants on-topic? I see four main classes of questions: Modeling a problem in a formal setting; going from the object of study to the definitions and the …
Gilles 'SO- stop being evil''s user avatar
7 votes
3 answers
70 views

Career questions

Are questions like “how do I get a job” and “where should I study” on-topic? Examples: https://cs.stackexchange.com/questions/1077/getting-accepted-into-uniq-oxford-summer-school-in-cs
Gilles 'SO- stop being evil''s user avatar
4 votes
1 answer
115 views

Are questions about software to solve computer science problems on-topic?

Are questions about software that is specifically designed to solve computer science problems on-topic? The answer may well be “it depends”, so where do we draw the line? For example, is a question …
Gilles 'SO- stop being evil''s user avatar
4 votes
0 answers
91 views

Questions about network protocols

https://cs.stackexchange.com/questions/6607/response-for-ip-record-route-option is a question about a concrete network protocol (the TCP/IP family). Are such questions on-topic here? If the question …
Gilles 'SO- stop being evil''s user avatar
14 votes
3 answers
345 views

Your thoughts on a “Programming Language Theory” proposal

Even if there is a bit of an overlap, we are generally looking at the broader scope of the site as a whole. …
Gilles 'SO- stop being evil''s user avatar
5 votes
3 answers
208 views

Are questions about theoretical computers on-topic?

At one extreme, questions about how Turing machines operate are on-topic. At another extreme, questions about x86 assembly code are off-topic. What about intermediate cases: theoretical models that …
Gilles 'SO- stop being evil''s user avatar
7 votes
2 answers
113 views

(To what extent) is modeling the physical world on-topic?

Is the design of algorithms to model the physical environment on-topic? To what extent? In particular, is What algorithm is appropriate for a thermostat controlling the heating of a room with floor h …
Gilles 'SO- stop being evil''s user avatar
9 votes
6 answers
231 views

Logical circuits

When it comes to logical circuits, where does computer science stop and electrical engineering start? Computer architecture studies logical circuits, logic gates and so on in an abstract way. If you s …
Gilles 'SO- stop being evil''s user avatar
5 votes
1 answer
74 views

What part of “Coq: default values for vectors” is on-topic?

We raised the issue of scope limits for proof assistants a while ago, and didn't come to a conclusion. It's been two years, what does the community think now? …
Gilles 'SO- stop being evil''s user avatar
5 votes
4 answers
187 views

Is “Good uses of computer viruses” on-topic?

The question Good uses of computer viruses was closed as off-topic, and is being reopened as I write. Is this question on-topic on the Computer Science site? Why or why not?
Gilles 'SO- stop being evil''s user avatar
7 votes
0 answers
57 views

Questions about how to study or how to teach

Are questions about how to study computer science on-topic? Are questions about how to teach computer science on-topic? For example, “How can I calculate this property of a graph?”, “How can I prove …
Gilles 'SO- stop being evil''s user avatar