Stay: There are a number of questions that approach programming from the computer science side. Many of these don't have source code. These questions have no business on Programmers.SE. I think they do add value to Stack Overflow, and even if there was a Math.SE-like site for CS, it would be nice to such existing questions them here.

These questions tend to hang around tags like programming-languages and data-structures, but they're (unfortunately) not easy to separate from other questions that could usefully move to Programmers.SE.

Examples (strongly biaised towards my favorite topics):

• Practical non-Turing-complete languages?
• What are the practical limitations of a non-turing complete language like Coq?
• Why do threads share the heap space?
• Explain Polymorphism ?
• Is there a programming language where types can be parametrized by values?
• Can you spot a vulnerability in my authentication protocol? (actually this one may not be so suitable for SO, but it's even less Programmers.SE material)

Stay: There are a number of questions that approach programming from the computer science side. Many of these don't have source code. These questions have no business on Programmers.SE. I think they do add value to Stack Overflow, and even if there was a Math.SE-like site for CS, it would be nice to such existing questions them here.

These questions tend to hang around tags like programming-languages and data-structures, but they're (unfortunately) not easy to separate from other questions that could usefully move to Programmers.SE.

Examples (strongly biaised towards my favorite topics):

• Practical non-Turing-complete languages?
• What are the practical limitations of a non-turing complete language like Coq?
• Why do threads share the heap space?
• Explain Polymorphism ?
• Is there a programming language where types can be parametrized by values?
• Can you spot a vulnerability in my authentication protocol? (actually this one may not be so suitable for SO, but it's even less Programmers.SE material)