I've had a message from the administrators at Edinburgh Informatics to say that as from 1st June they will no longer be supporting the mailing list that we've had since 2002.
The list is not very active but it is useful from time to time so it would be good to keep it going. Does anyone have any suggestions as to where it could be hosted? I do have a VPS running Debian that currently hosts the Poly/ML website so that is a possibility.
Regards, David
SourceHut (sr.ht) provides a mailing list service. My experience with it is quite positive.
On 3/28/25 5:24 PM, David Matthews wrote:
I've had a message from the administrators at Edinburgh Informatics to say that as from 1st June they will no longer be supporting the mailing list that we've had since 2002.
The list is not very active but it is useful from time to time so it would be good to keep it going.? Does anyone have any suggestions as to where it could be hosted?? I do have a VPS running Debian that currently hosts the Poly/ML website so that is a possibility.
Regards, David _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
On 28/03/2025 18:29, Daniil Baturin via polyml wrote:
SourceHut (sr.ht) provides a mailing list service. My experience with it is quite positive.
Thanks for the recommendation, I will try it for a related question: Future of isabelle-users and isabelle-dev mailing list.
Makarius
On 28/03/2025 18:24, David Matthews wrote:
I've had a message from the administrators at Edinburgh Informatics to say that as from 1st June they will no longer be supporting the mailing list that we've had since 2002.
The list is not very active but it is useful from time to time so it would be good to keep it going.? Does anyone have any suggestions as to where it could be hosted?? I do have a VPS running Debian that currently hosts the Poly/ML website so that is a possibility.
Replacing good old Mailman is a still an unsolved problem for me. Self-hosting it is rather complex --- I have never done it myself. Moreover, the look-and-feel of it appeals only the ancient --- and I am not convinced by the more recent re-implementation "Sympa".
This leaves two main possibilities:
(1) Let someone else do the Mailman hosting, e.g. Sourceforge. Here is a notable example: https://lists.sourceforge.net/lists/listinfo/hol-info
(2) Use a replacement that is reasonably close to Mailman in spirit, without the technical complexity, and better appearance (on the Web). Here are some candidates:
- https://sourcehut.org --- very minimalistic SCM platform with included forum (visually unappealing).
- https://fossil-scm.org/home/doc/trunk/www/index.wiki --- quite minimalistic SCM platform with included forum (this is used for SQLite development).
- https://discuss.flarum.org --- medium-scale forum platform, as update and continuation of the ancient forum culture from the last century.
Makarius