community

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
community [2024/10/09 13:00] – fponzicommunity [2024/12/19 01:20] (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 ===== ===== Monthly community meetings =====
Line 11: Line 11:
   * Calendar with meetings schedule: https://calendar.google.com/calendar/embed?src=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com&ctz=America%2FLos_Angeles   * Calendar with meetings schedule: https://calendar.google.com/calendar/embed?src=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com&ctz=America%2FLos_Angeles
   * Link to the Microsoft Teams call: https://aka.ms/TLAPlusProject   * Link to the Microsoft Teams call: https://aka.ms/TLAPlusProject
 +
 +Please join and say hi!
  • community.1728478820.txt.gz
  • Last modified: 2024/10/09 13:00
  • by fponzi