community

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
community [2024/09/28 15:58] – created - external edit 127.0.0.1community [2025/09/23 15:12] (current) – fponzi
Line 1: Line 1:
-====== TLA+ Community: what to do when you’re stuck ======+====== TLA+ Community ======
  
   * There is a very active google group: https://groups.google.com/forum/#!forum/tlaplus   * There is a very active google group: https://groups.google.com/forum/#!forum/tlaplus
   * The TLA+ subreddit is also quite active: https://www.reddit.com/r/tlaplus/   * The TLA+ subreddit is also quite active: https://www.reddit.com/r/tlaplus/
   * You can ask questions also on stackoverflow: https://stackoverflow.com/questions/tagged/tla%2b   * You can ask questions also on stackoverflow: https://stackoverflow.com/questions/tagged/tla%2b
-  * twitter: https://twitter.com/tlaplus+  * Twitter/X (unmantained): https://twitter.com/tlaplus
  
 +===== Monthly community meetings =====
 +To foster broad collaborations, we will start hosting monthly meetings to coordinate and discuss ongoing and future TLA+ development. Please join the meetings if you want to become involved or actively contribute to the TLA+ project. The meetings are hosted on Zoom and you can join from your browser (no need to install anything in advance).
 +
 +  * Calendar with meetings schedule: https://zoom-lfx.platform.linuxfoundation.org/meetings/tla?view=month
 +
 +Please join and say hi!
  • community.1727539101.txt.gz
  • Last modified: 2024/09/28 15:58
  • by 127.0.0.1