We have a few questions where it seemed like cs.SE might be their natural home. For example,
- Learning Automated Theorem Proving (just migrated)
- Is there some other way to describe a formal language other than grammars? (migrated)
- Reducing directed hamiltonian cycle to graph coloring
and I imagine we'll have more as time goes on.
We have a migration policy that is very conservative: for the most part we merely close and suggest another venue. The question here is:
Should we have a different policy for cs.SE, because we can fairly claim to understand the forum a lot better, and a number of us are active there (including all three cstheory mods). Specifically, should mods be free to migrate to cs.SE and not merely close and suggest reposting ?