Search Results
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 |
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 …
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
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 …
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 …
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. …
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 …
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 …
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 …
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? …
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?
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 …