[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Recent issues posting

Expecting this to not actually succeed in being posted but oh well.


Both emails and posts through the web interface are failing to post. Discussion here: https://github.com/tlaplus/tlaplus/issues/796


I wrote a blog post about it here: https://ahelwer.ca/post/2023-03-08-google-groups/


Issue tracked here: https://support.google.com/groups/thread/205048267/all-groups-messages-are-getting-automatically-deleted-as-soon-as-posted?hl=en


Regardless of whether this is fixed I believe we should look at switching away from google groups. My blog post surveys what other formal methods projects are using. I'll present a longer overview of this topic at the community meeting next week but I think the basic contours should look like:

  1. Mailing list hosted by Linux Foundation
  2. Bulletin board web interface for the mailing list (so we have a better interface than this)
  3. Zulip chat for lower-stakes pseudo-realtime discussion


I don't think we should use closed-source vendor-locked group chat software like Slack or Discord. Of the main FOSS groupchat software (matrix, mattermost, zulip) people seem to most enjoy zulip and it is used by the Coq, Lean, and Isabelle communities.



You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/7380d496-e69c-4b8f-ae0d-cd26c3a94098n%40googlegroups.com.