I’d be happy to create a replacement Poly/ML mailing list hosted at lemma-one.com <http://lemma-one.com/> where (I hope) I can set it up as a good old-fashioned mailing list, like the ProofPower mailing list.
If people are interested, I can make enquires of Interserver who are my ISP about whether we can port things across from the old list. Regards, Rob. > On 21 Apr 2025, at 19:32, charter.ingratiate...@aceecat.org wrote: > > On Fri, Apr 18, 2025 at 05:51:33AM +0000, Gerwin Klein wrote: > >> As an experience report: we’re using Discourse for seL4 (in addition >> to a mailing list) and I wish we hadn’t started that. The email >> bridge is annoying at best and a web-only solution is a sure way to >> get people in my generation to not bother participating any more. > > To be clear: I too will always prefer a well run mailing list to a web > first forum. I just thought it was illogical to mention "last century" > web forums and not discourse. > >> I have trouble understanding the appeal of any of these web >> solutions. Why click through lots of pages and put up with bad web >> editors when you could be using an email client that you have >> configured the way you want it? > > discourse does have a decent set of keyboard shortcuts. That's why > I can put up with it when necessary while I continue to stay away > from other web forums. > > -- > Ian > _______________________________________________ > polyml mailing list > polyml@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
