Questions tagged [other-se-sites]
The other-se-sites tag has no usage guidance.
4
questions
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 ...
- 28k
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 ...
- 28k
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-...
- 28k
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,...
- 28k