Every single one one of the listed on-topic examples except for machine learning (and perhaps graphs) are already on-topic on SD CD. We should strive to prevent overlap between sites, so you need to either argument why such an overlap is sought, or to move specific topics from the other sites, to this new site.

The Computer Science (CS) community is a platform for computer science students, researchers, and anyone interested in computer science.

I see no reason why it's not sufficient to let Software Development and Math cover this. I don't think we should have sites simply because there's a community for it, when we have sufficient (that is, full) coverage on our other sites. We shouldn't duplicate responsibility across sites.

Shortly, because they are different topics. Software development is about software design, programming, testing, architecture, and so on. Computer science community is more about theoretical computer science, it has nothing to do with software and programming languages. The former one is a "stack overflow" conterpart, and latter one is a "cs.stackexchange" counterpart.

I don't see why would someone ask about automata, polytime reductions, complexity classes, or proving the correctness of a graph traversal algorithm such as DFS/BFS, etc, in the software development or mathematics community. Well, of-course, there is some intersection between the computer-science and mathematics communities, but they are different, and it is easy to differentiate between the two in most cases.

Computer Science deserves a community on its own as its content is not covered by other existing communities.

The best way to test possible boundaries is to start asking questions in Incubator Q&A that would fit this proposal. I think there's overlap with Software Dev (and maybe Math), but if there's enough topic space for things that don't fit on those communities, that's something we can find out by testing. Sometimes a broad topic fits in more than one place and the differences emerge in how you ask the question.

All of those examples are in the intersection between mathematics and TCS, and I see questions about automata and complexity theory on sites like Math Overflow. (Proving the correctness of DFS/BFS would be closed there as not research rather than as not mathematics). math.codidact would welcome good questions about complexity theory, graph theory, etc.

I see your point, but the CS community exists, it is big and people there built their own community, for a good reason. The questions that you see in MO are usually old and are a small percentage of what is out there. The real question is when the CS community will be exposed to this site or when it will be convinced that this site is good for them. My intention was that opening a CS community here will encourage them to contribute also to this site. There is a good reason why a computer science degree is different than a math degree although one can argue that theoretical CS is math. Also, programmers are usually different people than computer scientists and they do different things.

Also, writing "all/most of the topics are covered by other communities" when it is clearly not, is not helpful. I encourage anyone, before stating such claims, to ask himself why such community exists successfully elsewhere. If a person from a well-known community (like me) is trying to open it in codidact, its because he is trying to help. Any cs person who finds cs.exchange (which is amazingly successful BTW) and sees no cs here, will go contribute there instead of the math site here, even if you welcome him. Its that simple. I think at this point, when codidact is small, attempts like mine should be encouraged. Give the idea a chance to grow, especially that it proved itself elsewhere, and lets ask questions in Incubator Q&A if we have any.

Please do ask questions in Incubator Q&A. I think concrete examples will help.

Well, I’m still not fully convinced a dedicated site is the right choice (I’m not a fan of excessive fragmentation). But, I agree, go ahead and post incubator Q/A for the site. All the good Q/A can be moved to other appropriate sites if the conclusion will be not to start a new CS site. Currently, Codidact doesn’t support moving stuff like that, but it’s on the todo list! (Somebody’s todo list, at least…)

Andreas witnessed the end of the world today‭ when we launch a community we'll need to move its questions from the incubator. If the conclusion of a proposal is to not create the community but move some incubator questions to other communities, that can be done the same way. We don't currently have a user interface for this, but someone can do it at the database if the need arises before the UI does. We want to help people build communities and get their questions answered, so let's go ahead and welcome CS questions in the incubator now and see how everyone's understanding evolves. Concrete cases will help us all.

Please use the incubator (CS Q&A) and Meta to further define these scope issues. Those are both more visible than this comment thread, and the whole point of the Proposals site is to help people work together to define and build communities. Thank you.