Re[2]: GHC and the future of Freenode

2021-06-16 Thread Sebastian Graf
17:02:28 Betreff: Re: GHC and the future of Freenode On Tue Jun 15, 2021 at 3:18 PM CEST, Janek Stolarek wrote: Apparently, Freenode deleted all registered users and channels several hours ago. I guess that should solve the problem of communities being split between Freenode and Libera. If I may a

Re: GHC and the future of Freenode

2021-06-16 Thread Jakub Zalewski
On Tue Jun 15, 2021 at 3:18 PM CEST, Janek Stolarek wrote: > Apparently, Freenode deleted all registered users and channels several > hours ago. I guess that should solve the problem of communities being split between Freenode and Libera. If I may add towards using IRC, even though it may seem

Re: GHC and the future of Freenode

2021-06-15 Thread Janek Stolarek
Apparently, Freenode deleted all registered users and channels several hours ago: https://old.reddit.com/r/linux/comments/o0263h/all_freenode_channels_and_users_gone/ A more detailed explanation/speculation on what's goin on: https://www.devever.net/~hl/freenode_suicide Janek

Re: GHC and the future of Freenode

2021-06-07 Thread John Ericson
And this is a good example of how both using libera.chat and having an official matrix bridge with a nice name can help more people use IRC too! On 6/6/21 2:10 PM, Brandon Allbery wrote: Pasting directly into the channel is generally a no-no on IRC. Things like Matrix or IRCCloud convert to

Re: GHC and the future of Freenode

2021-06-06 Thread Chris Smith
Viktor, Sorry you had a bad experience. Perhaps it will help to know that these bans are automatically done by bots to prevent the channel from being flooded by nefarious users. That you were caught by it was just a false positive because you triggered the flooding detection. It doesn't mean

Re: GHC and the future of Freenode

2021-06-06 Thread Brandon Allbery
Pasting directly into the channel is generally a no-no on IRC. Things like Matrix or IRCCloud convert to pastebins automatically. On Sun, Jun 6, 2021 at 2:07 PM Viktor Dukhovni wrote: > On 19 May 2021, at 11:48 am, Carter Schonwald > wrote: > > > I personally vote for irc. Perhaps via Libera.

Re: GHC and the future of Freenode

2021-06-06 Thread Viktor Dukhovni
On 19 May 2021, at 11:48 am, Carter Schonwald wrote: > I personally vote for irc. Perhaps via Libera. Perhaps I'm too much of an IRC noob, but I still found it it rather surprising to be banned from libera.chat (my IP is blacklisted) for pasting a 25-line build script for building GHC via

Re: GHC and the future of Freenode

2021-06-03 Thread John Ericson
The libera.chat IRC bridge is up, so one can go to #ghc:libera.chat to give the bridging a spin. To make my recommendation from before more concrete, we would *not* use that "portal room" (one spawned on demand by the bridge), but instead make a #ghc:haskell.org. One should be able to then

Re: GHC and the future of Freenode

2021-06-03 Thread Matthew Pickering
I have been trying out Matrix a bit recently. It seems the best of the options in my opinion and has the advantage of being able to bridge to IRC (and other platforms). The NixOS community rapidly moved over without any ill effects after the demise of freenode. As with all these things, who

Re: GHC and the future of Freenode

2021-05-22 Thread John Ericson
As Ben and others say, Matrix provides many modern features new users will expect, while preserving the spirit of IRC. Without wading into the details, the design of Matrix I find impressive and to my liking, and it has seemed to get steadily better over time for quite a while now. Re Zulip,

Re: GHC and the future of Freenode

2021-05-22 Thread Shivam Gupta
LLVM uses discord and it works fine. On Sat, May 22, 2021 at 7:12 PM Chris Smith wrote: > No, unfortunately, this is not resolved. The link here is a fictitious > whitewash of events posted by the person who conducted the hostile takeover > of Freenode. At the moment, the state of Freenode is

Re: GHC and the future of Freenode

2021-05-22 Thread Chris Smith
No, unfortunately, this is not resolved. The link here is a fictitious whitewash of events posted by the person who conducted the hostile takeover of Freenode. At the moment, the state of Freenode is that it's still operating as an IRC network, but the volunteer staff who have operated the

Re: GHC and the future of Freenode

2021-05-22 Thread Imants Cekusins
Was this a temporary issue with Freenode IRC, resolved by now? https://freenode.net/news/freenode-is-foss ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC and the future of Freenode

2021-05-21 Thread Iavor Diatchki
As I said, I am not a heavy IRC user, for my online chatting needs I mostly use Mattermost, Discord, and Slack.So I don't have an informed opinion on the technical merits of the various platforms---mostly I've heard that the Matrix clients and servers are quite a bit less robust than IRC ones

Re: GHC and the future of Freenode

2021-05-21 Thread Ben Gamari
Iavor Diatchki writes: > Hello, > > I am not a heavy IRC user, but I'd say it makes most sense to just use > Libera. It is essentially the same people that were running free-node > running pretty much the exact same service, and I believe they are trying > to make it extra easy to just switch,

Re: GHC and the future of Freenode

2021-05-21 Thread Iavor Diatchki
Hello, I am not a heavy IRC user, but I'd say it makes most sense to just use Libera. It is essentially the same people that were running free-node running pretty much the exact same service, and I believe they are trying to make it extra easy to just switch, so this should be the least effort

Re: GHC and the future of Freenode

2021-05-21 Thread Moritz Angermann
Fair point. From a view over the last few days, I’d say it’s closer to 100% on libera. Lots of people just switched. Quite surprising. On Fri, 21 May 2021 at 7:14 PM, Jens Petersen wrote: > My vote goes for Matrix. > > I am not a heavy user yet, but I hope this episode helps to drive more >

Re: GHC and the future of Freenode

2021-05-21 Thread Jens Petersen
My vote goes for Matrix. I am not a heavy user yet, but I hope this episode helps to drive more people to it away from irc. Having half the people on Freenode and the other half on Libera seems the worst possible outcome in the short- to mid-term. The Fedora project also has plans to move to

Re: GHC and the future of Freenode

2021-05-20 Thread Carter Schonwald
I’ll try again. On Wed, May 19, 2021 at 10:26 PM Mario Carneiro wrote: > Speaking as a *heavy* user of the Rust and Lean zulip instances, I find it > a huge improvement over the alternatives of Gitter and Discord, and I think > IRC although I have not used IRC much. It takes some getting used

Re: GHC and the future of Freenode

2021-05-19 Thread Artem Pelenitsyn
I've been using the recently created Types Zulip (for academic PL) -- my first experience with this platform -- and also found it unusual at first but then quite liked the dynamic topics thing (exactly for reasons Mario describes). Zulip or anything from 21st century would be a huge improvement

Re: GHC and the future of Freenode

2021-05-19 Thread Alex Rozenshteyn
Thanks for the perspective! I was not thinking of Gitter or Discord as being in the running for various reasons. On Wed, May 19, 2021, 22:27 Mario Carneiro wrote: > Speaking as a *heavy* user of the Rust and Lean zulip instances, I find it > a huge improvement over the alternatives of Gitter

Re: GHC and the future of Freenode

2021-05-19 Thread Mario Carneiro
Speaking as a *heavy* user of the Rust and Lean zulip instances, I find it a huge improvement over the alternatives of Gitter and Discord, and I think IRC although I have not used IRC much. It takes some getting used to, but the topic threading is absolutely essential once you reach a certain

Re: GHC and the future of Freenode

2021-05-19 Thread Carter Schonwald
I definitely find Zulip confusing and have failed to use it every time I’ve tried If normal threading is lasagna layers, Zulip threading is like trying to hold cooked spaghetti in your ha d. On Wed, May 19, 2021 at 2:40 PM Alex Rozenshteyn wrote: > (I'm a little ashamed that I lurk on this

Re: GHC and the future of Freenode

2021-05-19 Thread Alex Rozenshteyn
(I'm a little ashamed that I lurk on this list but the thing that brings me out of lurking is a post on communication technologies) Not Zulip. Please not Zulip. I've used Zulip once many years ago, and once this year. Both times, its interface felt clunky, and it felt like it was trying to get

Re: GHC and the future of Freenode

2021-05-19 Thread Ben Gamari
Carter Schonwald writes: > I personally vote for irc. Perhaps via Libera. > > What are some example vibrant technical communities on matrix? I’ve > experienced such on irc but less so via more recent / newer platforms > I know that many subcommunities within the Rust community use Matrix. I

Re: GHC and the future of Freenode

2021-05-19 Thread Carter Schonwald
I personally vote for irc. Perhaps via Libera. What are some example vibrant technical communities on matrix? I’ve experienced such on irc but less so via more recent / newer platforms On Wed, May 19, 2021 at 8:57 AM Ben Gamari wrote: > Hi all, > > As you may have heard the Freenode IRC

Re: GHC and the future of Freenode

2021-05-19 Thread Jack Hill
On Wed, 19 May 2021, Ben Gamari wrote: Hi all, As you may have heard the Freenode IRC network, long the home of #ghc and several other prominent Haskell channels, appears to be in the middle of a rather nasty hostile takeover [1,2,3,4]. As a consequence, it seems it will be necessary to

Re: GHC and the future of Freenode

2021-05-19 Thread Sebastian Graf
-- Originalnachricht -- Von: "Ben Gamari" An: "GHC developers" Gesendet: 19.05.2021 14:56:23 Betreff: GHC and the future of Freenode Hi all, As you may have heard the Freenode IRC network, long the home of #ghc and several other prominent Haskell channels, appears

GHC and the future of Freenode

2021-05-19 Thread Ben Gamari
Hi all, As you may have heard the Freenode IRC network, long the home of #ghc and several other prominent Haskell channels, appears to be in the middle of a rather nasty hostile takeover [1,2,3,4]. As a consequence, it seems it will be necessary to migrate the #ghc community elsewhere. The next