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

[tlaplus] Re: Recent issues posting

Gave presentation at community meeting, see the slides here.

We came up with some requirements in the call:
So Linux Foundation mailing list with some web front-end (TBD) + zulip seems like a good candidate. I asked on the Lean zulip instance about their hosting setup (link) and apparently the zulip organization is hosting them for free as an open-source community project. Perhaps we could get a similar setup, because otherwise pricing is somewhat prohibitive.

Murat was also a fan of Discourse, which is currently the most popular forum software in use. You can see the Alloy Discourse site here. Discourse has an email interface, forum interface, chat, and also a stackoverflow-like Q&A plugin all-in-one. Unclear on how well its chat feature works and whether it has the features we want.

Please suggest any alternatives in this thread and at the next community meeting perhaps we will put this to a vote.

On Friday, March 10, 2023 at 10:24:55 AM UTC-5 Andrew Helwer wrote:

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/047c261b-9c4c-4d80-877f-c1377b0c06e8n%40googlegroups.com.