- User Since
- Feb 18 2020, 10:45 AM (53 w, 5 d)
Mar 24 2020
With the current situation leading to increased activity at https://isabelle.zulipchat.com, it would be a good opportunity to discuss a switch to Zulipchat on the mailing list some time after the Isabelle2020 release.
Feb 18 2020
Zulipchat (https://zulipchat.com/) is a chat service that has an interactive eMail-like threading model. Content is formatted in markdown complete with code formatting and more. With its filter mechanisms, one can easily concentrate on single threads or mute threads that one is no longer interested in. Since Zulipchat is open-source, it is possible to self-host it and use a variety of authentication schemes (https://zulip.readthedocs.io/en/stable/production/authentication-methods.html).