I could create a zulip chat room, but based on experience with the gitter room it seems like the demand isn't really there. Then again, lean zulip has been much more successful than lean gitter, and the threading model works much better for multiple overlapping conversations than unstructured IRC style chat.
On Mon, Feb 24, 2020 at 12:34 AM savask <[email protected]> wrote: > By the way, Metamath already has a chatroom on Gitter, set up by Mario ~4 > years ago: https://gitter.im/metamath/Lobby > > I'm not sure if it has been suggested before, but maybe Metamath could > have an IRC channel? This protocol existed for decades, is supported by > many clients (or can be accessed from a web interface), requires no Github > account or registration whatsoever and is a standard choice for many > opensource projects (for example, Debian and Haskell use it). There's a > wide variety of tools available for maintaining IRC channels, so, for > instance, it's not hard to keep all logs on the metamath server. > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/e3d69c0a-8f23-4c50-93d6-6a000434e062%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/e3d69c0a-8f23-4c50-93d6-6a000434e062%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSt0opDyjAsf3GW-5u8Y7jR3-sK7StG19xA7sdaSHdb2CQ%40mail.gmail.com.
