<html><head>
<style id="css_styles" type="text/css"><!--blockquote.cite { margin-left: 5px; margin-right: 0px; padding-left: 10px; padding-right:0px; border-left: 1px solid #cccccc }
blockquote.cite2 {margin-left: 5px; margin-right: 0px; padding-left: 10px; padding-right:0px; border-left: 1px solid #cccccc; margin-top: 3px; padding-top: 0px; }
a img { border: 0px; }
li[style='text-align: center;'], li[style='text-align: right;'] { list-style-position: inside;}
body { font-family: Segoe UI; font-size: 12pt; }--></style></head>
<body><div>Hi,</div><div><br /></div><div>As one of those contributors that is already using the Matrix-to-freenode-IRC bridge through <a href="http://element.io/" style="font-size: 12pt;">http://element.io/</a>, I'd prefer moving to Matrix.</div><div>And *if* we commit to a move, I suggest we don't move to another IRC server. That leaves Zulip vs. Matrix, both of which I'd be fine with.</div><div><br /></div><div>For some more data points: I know that the Lean community uses Zulip and they are pretty happy with it. The threading model seems to be pretty useful.</div><div>On the other hand, it's so easy to open a new group chat in Matrix (and name it whatever you want) that it is pretty much the same as opening a new thread in Zulip.</div><div>Our chair used to communicate via IRC, too. We considered switching to Zulip or Matrix in the past and ultimately decided in favor of Matrix, simply because most of us were already using element.io (+ the IRC bridge) for its mobile client and history logging.</div><div><br /></div><div>Cheers,</div><div>Sebastian</div><div><br /></div>
<div>------ Originalnachricht ------</div>
<div>Von: "Ben Gamari" <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>></div>
<div>An: "GHC developers" <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>></div>
<div>Gesendet: 19.05.2021 14:56:23</div>
<div>Betreff: GHC and the future of Freenode</div><div><br /></div>
<div id="xce5ea7efead1462" class="plain"><blockquote cite="877djuanm3.fsf@smart-cactus.org" type="cite" class="cite2">
<tt style="word-wrap:break-word"><div class="plain_line">Hi all,</div>
<div class="plain_line"> </div>
<div class="plain_line">As you may have heard the Freenode IRC network, long the home of #ghc</div>
<div class="plain_line">and several other prominent Haskell channels, appears to be in the</div>
<div class="plain_line">middle of a rather nasty hostile takeover [1,2,3,4]. As a consequence,</div>
<div class="plain_line">it seems it will be necessary to migrate the #ghc community elsewhere.</div>
<div class="plain_line"> </div>
<div class="plain_line">The next question is, of course, where will this be. One option is</div>
<div class="plain_line">Liberachat, the spiritual successor of Freenode. However, in recent</div>
<div class="plain_line">years I have also heard an increasingly loud choir of users,</div>
<div class="plain_line">contributors, and potential-contributors note how archane IRC feels when</div>
<div class="plain_line">compared to other modern chat platforms. Using IRC effectively in a</div>
<div class="plain_line">collaborative environment essentially requires that all parties use a</div>
<div class="plain_line">bouncer; however, this is (understandably) isn't something that most users</div>
<div class="plain_line">are willing to do.</div>
<div class="plain_line"> </div>
<div class="plain_line">Consequently, I think it would be wise to expand our search space to</div>
<div class="plain_line">include other FOSS platforms. At the moment, I can see the following</div>
<div class="plain_line">options:</div>
<div class="plain_line"> </div>
<div class="plain_line"> 1. Remain on IRC and move to Liberachat, the spiritual successor of</div>
<div class="plain_line"> Freenode</div>
<div class="plain_line"> </div>
<div class="plain_line"> 2. Remain on IRC and move to OFTC, another widely used network</div>
<div class="plain_line"> </div>
<div class="plain_line"> 3. Move to [Matrix]</div>
<div class="plain_line"> </div>
<div class="plain_line"> 4. Move to [Zulip]</div>
<div class="plain_line"> </div>
<div class="plain_line">My sense is that of the non-IRC options Matrix is the truest successor</div>
<div class="plain_line">to IRC, being a federated protocol with a wide array of (if somewhat</div>
<div class="plain_line">immature) clients. I know some of our contributors already use it and in</div>
<div class="plain_line">principle one could configure an IRC-to-Matrix bridge for those existing</div>
<div class="plain_line">contributors who would rather continue using IRC.</div>
<div class="plain_line"> </div>
<div class="plain_line">Zulip, while also being FOSS, is far more centralized than Matrix and</div>
<div class="plain_line">appears to be more of a chat web application than an open protocol.</div>
<div class="plain_line"> </div>
<div class="plain_line">Do you know of any other options? Thoughts?</div>
<div class="plain_line"> </div>
<div class="plain_line">Cheers,</div>
<div class="plain_line"> </div>
<div class="plain_line">- Ben</div>
<div class="plain_line"> </div>
<div class="plain_line"> </div>
<div class="plain_line"> </div>
<div class="plain_line">[1]: <a href="https://gist.github.com/joepie91/df80d8d36cd9d1bde46ba018af497409">https://gist.github.com/joepie91/df80d8d36cd9d1bde46ba018af497409</a></div>
<div class="plain_line">[2]: <a href="https://fuchsnet.ch/freenode-resign-letter.txt">https://fuchsnet.ch/freenode-resign-letter.txt</a></div>
<div class="plain_line">[3]: <a href="https://gist.github.com/aaronmdjones/1a9a93ded5b7d162c3f58bdd66b8f491">https://gist.github.com/aaronmdjones/1a9a93ded5b7d162c3f58bdd66b8f491</a></div>
<div class="plain_line">[4]: <a href="https://mniip.com/freenode.txt">https://mniip.com/freenode.txt</a></div>
<div class="plain_line">[Matrix]: <a href="https://www.matrix.org/">https://www.matrix.org/</a></div>
<div class="plain_line">[Zulip]:</div>
</tt></blockquote></div>
</body></html>