Questions tagged [other-se-sites]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
0 answers
91 views

New stack exchange! Provers.SE (for interactive theorem provers and automatic theorem provers) will go live soon!

Update: The ProofAssistants Private Beta has started. Stack Exchange will soon (February 8th) start Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a ...
user avatar
7 votes
1 answer
185 views

ATTENTION Matter Modelers: Can we ask 30 questions in the next 24 hours?

The following campaign has worked brilliantly over the last 2 weeks: Matter Modeling needs a lot more questions before 28 July: Here's why Now we just need 30 more questions in the next 24 hours ...
user avatar
4 votes
0 answers
135 views

Salvaging the DFT questions and questions that fall unambiguously within our territory, from other sites

We have a chat room with a feed that tells us whenever a Matter Modeling question gets asked on a different SE site. It's nice to be able to easily see what all the Matter Modeling questions network-...
user avatar
6 votes
0 answers
50 views

Discussion about chat room that brings attention to relevant questions from other sites

I made this chat room thinking that it would be as simple as spending 5 minutes adding feeds from Chem.SE, 5 minutes for Physics.SE, 2 minutes for ComputationalScience.SE, 2 minutes for Engineering.SE,...
user avatar