Questions tagged [stackexchange]

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
  • 27.8k
6 votes
0 answers
36 views

Congratulations! Matter Modeling rocked at Winter Bash!

Winter Bash 2021 is now over and I want to thank everyone who participated! I think it was very successful, and in many ways even more fun than last year. Furthermore, one of our very own diamond ...
user avatar
  • 27.8k
6 votes
8 answers
83 views

Is there anything the Matter Modeling community needs from the SE company?

In light of this question that was asked yesterday on the Mother Meta: Magic wand time - what does your community need? (More questions from the Community VP), is there anything we need?
user avatar
  • 27.8k
5 votes
2 answers
48 views

About recommendations questions

Software recommendation questions are on-topic here, and it's even one of our most popular tags: software-recommendations. However we haven't talked much about how we should approach such questions, ...
user avatar
  • 27.8k