Questions tagged [other-se-sites]
The other-se-sites tag has no usage guidance.
4
questions
3
votes
0answers
42 views
New stack exchange! Provers.SE (for interactive theorem provers and automatic theorem provers) will go live soon!
Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a StackExchange site is like in its initial beginnings, want to help ...
7
votes
1answer
181 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 ...
4
votes
0answers
130 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-...
6
votes
0answers
49 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,...