[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip

Makarius makarius at sketis.net
Sun Jan 12 18:36:30 CET 2020

On 12/01/2020 16:52, lammich at in.tum.de wrote:
> [1] like not allowing new users to comment on posts, which ended my engagement
> with the Isabelle stack overflow community before it really began...

Stackoverflow has its own internal regime. It is like postmodern "facility
management": you are not the master of your own house.

In retrospect, I've found Stackoverflow an interesting experience to see how
popular things work these days, but we need a really good platform instead of
a very popular one.


More information about the isabelle-dev mailing list