Questions tagged [other-se-sites]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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,...