On 12/01/2020 16:52, [email protected] 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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
