would it be possible to bridge #rustc to a Zulip thread?
(especially if Zulip permits separate users over the bridge, rather than just a single "rust-highfive" forwarding user like on Discord)
I think both Zulip and Discord are a significant improvement over IRC and if Zulip has a better bridging story, I'd be happy using it over Discord
There's a bot that can be run that will bridge everything behind one user. Presumably it'd be possible to write a bridge that does per-user bridging, but I don't know if one exists like that now.
there is this too? https://github.com/42wim/matterbridge
but I'm not sure if it can handle IRC nicks etc
huh, someone said that username spoofing was against Discord rules
I think it would look like this.
Except with a chat message not a GitHub update.
okay, that's not really any better then
I'd sort of like to just close down #rustc on IRC
if we settled on a new home
do you think that's actually an option? :P
I mean, we can certainly close the room
Anyway, @T-compiler: I posted this comment on internals regarding what to do with meetings
IMO it's going to be impossible to really centralize on a platform unless other options are closed (which would certainly annoy some subset of contributors); or enough core people use Zulip exclusively that there's a sort of natural migration.
migration has worked pretty well with the rust-dev mailing list, afair
I still miss the mailing list :joy:
Has there been any further discussion on this? I see a handful of comments regularly talking of the pains with checking multiple platforms (just don't take my Zulip away from me).
We need to follow up on the topic
I'd really like to keep Zulip, as I think its work flow works really well, especially for spawning threads off of meetings and then linking back to them from github
so I just left a comment on internals about at least moving away from
#rustc on IRC
I've been considering actually writing out a full list of the problems I have with Zulip at the moment, so I have more information to give than just "I don't like using it so much"
essentially, I think Zulip will be the better platform, but I don't enjoy using it as much as Discord at the moment
does everyone else have some sort of discord client that provides interleaved presentation of the messages in a group of channels?
but I don't see a reason that couldn't change, with some changes to Zulip (that I could make happen)
I'm just amazed that no one immediately sees Zulip's superiority on points like that
@pnkfelix: threading is where Zulip is clearly superior :P
and inline markdown?
I think personally I don't use more advantages markdown in conversations than basic formatting, so I haven't noticed
anyway I know your point was to come up with a list of problems, not selling points. :)
it's things like Zulip not scrolling automatically when new messages are posted
it doesn't feel as user-friendly as Discord
in the mobile app you mean, right?
sometimes this happens in the web app
or no, wait, I know what you're talking about
I've gotten so used to clicking as the conversation goes that I forget about the problem
but yeah its a problem
I think there's a lot of value in making notes of all the little issues we've got with Zulip and making some issues on their project or getting back in touch with the Zulip dev that was on internals.
yeah we should have central point for the list
Maybe an internals thread?
maybe an internals thread?
Generally speaking, the issues I've seen with Zulip tend to be more minor - things like it not scrolling down automatically - whereas the Discord issues are generally much larger - like a lack of threading.
I'm going to analyse more carefully this evening, so I'll happily make a thread then / reply on an existing one if you want to make one now
I definitely have the "Curse Of Knowledge" when it comes to Zulip: that is, I've kind of adapted my working style to how it works, and now I can't remember what I found hard again.
I imagine the Zulip devs are much the same...but 10x...
Might be worth making streams for other working groups and teams - even if they aren't used, it at least means there's a place on Zulip for that team to discuss things if they want and it means we can coax people over by making topics there for cross-team issues.
though arguably you could say the same thing about creating topics on Discord for those teams that don't already have them
That's true, but there are already Discord channels for everything, and if you're coming from Zulip (IMO, at least) needing to use the Discord channels only sells you more on Zulip's topics.
/me is worried that
the we Zulipers are going to end up sounding like Lisp programmers
"The parentheses aren't that bad! Look: Continuations! Look: Macros! No, Come back!"
a brief collation of my thoughts on the topic
I'd be willing to fix all of those if other people shared my feelings
I'm not sure if any are antithetical to Zulip :mischievous:
I don't think any of them are. I'd likewise be happy to contribute to Zulip to fix some. I've pinged the people I've been chatting with from the Zulip project to take a look.
@nikomatsakis have we decided on the move and how to achieve this yet?
and/or how to reach consensus on the move or how to achieve the move?
there hasn't been any further discussion, but I agree we should clearly push on this further