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

[Makarius]

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.


	Makarius