[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius at sketis.net
Sun Jan 12 18:36:30 CET 2020
On 12/01/2020 16:52, lammich at in.tum.de wrote:
>  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