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
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
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
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
(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
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
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
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
Hi,
As one of those contributors that is already using the
Matrix-to-freenode-IRC bridge through http://element.io/, I'd prefer
moving to Matrix.
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.
For
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
Matt has access to the M1 builder in my closet now. The darwin performance
issue
is mainly there since BigSur, and (afaik) primarily due to the amount of
DYLD_LIBRARY_PATH's
we pass to GHC invocations. The system linker spends the majority of the
time in the
kernel stat'ing and getelements (or
Hi all,
The darwin pipelines are gumming up the merge pipeline as they are
taking over 4 hours to complete on average.
I am going to disable them -
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5785
Please can someone give me access to one of the M1 builders so I can
debug why the tests
12 matches
Mail list logo
