[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius at sketis.net
Sun Jan 12 18:02:24 CET 2020
On 12/01/2020 17:22, Gergely Buday wrote:
> What's the problem with the mailing list?It does have an archive that you control.
Personally, I have no problems with Mailman, as long as I don't have to
administrate it (which is very difficult).
Generally, my impression is that 70% of our users no longer know how a Mailman
list works. Approx. 3 years ago there has been a steep decline on
isabelle-users (likewise on coq-club) making them a forum for old-school guys.
> Slack.com is an alternative if you want yet another web2.0 gadget.
I don't want any gadgets nor cool toys. The general specification:
* plain and solid technology that solves more problems than it introduces
* self-hosted open-source platform (potentially a small company behind it)
More information about the isabelle-dev