[Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)

[Jesper Cockx]

>
> One property of e-mail that I like is that one can choose between many
> different clients. Does the same apply to any of the other communication
> methods being discussed?
>

As far as I know the only platform with this feature is Matrix.org, which
is designed as an open platform with many possible clients, e.g.
https://element.io/. I have never tried it myself however, so I can't say
much about it other than that.

-- Jesper

On Fri, Aug 21, 2020 at 1:58 PM Nils Anders Danielsson <nad at cse.gu.se>
wrote:

> On 2020-08-21 13:35, Manuel Bärenz wrote:
> > I'd consider mailing lists to be quite an arcane, unscalable, closed,
> > poorly searchable medium. Of course, a technologically superior
> > alternative such as Discourse or Zulip would have to be installed and
> > stabilised first, and ongoing discussions (and possibly the mailing list
> > history) moved there.
>
> One property of e-mail that I like is that one can choose between many
> different clients. Does the same apply to any of the other communication
> methods being discussed?
>
> --
> /NAD
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200821/c32c2c10/attachment.html>