Stream: t-compiler

Topic: discussion platform


varkor (Aug 23 2018 at 15:33, on Zulip):

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)

varkor (Aug 23 2018 at 15:34, on Zulip):

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

davidtwco (Aug 23 2018 at 15:38, on Zulip):

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.

nikomatsakis (Aug 23 2018 at 15:39, on Zulip):

there is this too? https://github.com/42wim/matterbridge

nikomatsakis (Aug 23 2018 at 15:40, on Zulip):

but I'm not sure if it can handle IRC nicks etc

nikomatsakis (Aug 23 2018 at 15:40, on Zulip):

seems maybe like no

varkor (Aug 23 2018 at 15:41, on Zulip):

huh, someone said that username spoofing was against Discord rules

davidtwco (Aug 23 2018 at 15:43, on Zulip):

I think it would look like this.

davidtwco (Aug 23 2018 at 15:43, on Zulip):

Except with a chat message not a GitHub update.

varkor (Aug 23 2018 at 15:43, on Zulip):

ahh

varkor (Aug 23 2018 at 15:43, on Zulip):

okay, that's not really any better then

nikomatsakis (Aug 23 2018 at 15:44, on Zulip):

I'd sort of like to just close down #rustc on IRC

nikomatsakis (Aug 23 2018 at 15:44, on Zulip):

if we settled on a new home

varkor (Aug 23 2018 at 15:44, on Zulip):

do you think that's actually an option? :P

nikomatsakis (Aug 23 2018 at 15:45, on Zulip):

I mean, we can certainly close the room

nikomatsakis (Aug 23 2018 at 15:46, on Zulip):

Anyway, @T-compiler: I posted this comment on internals regarding what to do with meetings

davidtwco (Aug 23 2018 at 15:46, on Zulip):

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.

mw (Aug 29 2018 at 13:28, on Zulip):

migration has worked pretty well with the rust-dev mailing list, afair

qmx (Aug 29 2018 at 14:14, on Zulip):

I still miss the mailing list :joy:

davidtwco (Sep 20 2018 at 22:26, on Zulip):

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).

pnkfelix (Sep 20 2018 at 22:36, on Zulip):

We need to follow up on the topic

pnkfelix (Sep 20 2018 at 22:37, on Zulip):

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

nikomatsakis (Sep 21 2018 at 19:01, on Zulip):

so I just left a comment on internals about at least moving away from #rustc on IRC

varkor (Sep 21 2018 at 19:08, on Zulip):

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"

varkor (Sep 21 2018 at 19:08, on Zulip):

essentially, I think Zulip will be the better platform, but I don't enjoy using it as much as Discord at the moment

pnkfelix (Sep 21 2018 at 19:09, on Zulip):

does everyone else have some sort of discord client that provides interleaved presentation of the messages in a group of channels?

varkor (Sep 21 2018 at 19:09, on Zulip):

but I don't see a reason that couldn't change, with some changes to Zulip (that I could make happen)

pnkfelix (Sep 21 2018 at 19:09, on Zulip):

I'm just amazed that no one immediately sees Zulip's superiority on points like that

varkor (Sep 21 2018 at 19:09, on Zulip):

@pnkfelix: threading is where Zulip is clearly superior :P

pnkfelix (Sep 21 2018 at 19:10, on Zulip):

and inline markdown?

varkor (Sep 21 2018 at 19:10, on Zulip):

I think personally I don't use more advantages markdown in conversations than basic formatting, so I haven't noticed

pnkfelix (Sep 21 2018 at 19:10, on Zulip):

anyway I know your point was to come up with a list of problems, not selling points. :)

varkor (Sep 21 2018 at 19:10, on Zulip):

it's things like Zulip not scrolling automatically when new messages are posted

varkor (Sep 21 2018 at 19:11, on Zulip):

it doesn't feel as user-friendly as Discord

pnkfelix (Sep 21 2018 at 19:11, on Zulip):

in the mobile app you mean, right?

varkor (Sep 21 2018 at 19:11, on Zulip):

nope

varkor (Sep 21 2018 at 19:11, on Zulip):

sometimes this happens in the web app

pnkfelix (Sep 21 2018 at 19:11, on Zulip):

or no, wait, I know what you're talking about

pnkfelix (Sep 21 2018 at 19:11, on Zulip):

I've gotten so used to clicking as the conversation goes that I forget about the problem

pnkfelix (Sep 21 2018 at 19:11, on Zulip):

but yeah its a problem

davidtwco (Sep 21 2018 at 19:13, on Zulip):

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.

pnkfelix (Sep 21 2018 at 19:14, on Zulip):

yeah we should have central point for the list

pnkfelix (Sep 21 2018 at 19:14, on Zulip):

Maybe an internals thread?

varkor (Sep 21 2018 at 19:14, on Zulip):

maybe an internals thread?

pnkfelix (Sep 21 2018 at 19:14, on Zulip):

jinx!

varkor (Sep 21 2018 at 19:14, on Zulip):

haha

davidtwco (Sep 21 2018 at 19:15, on Zulip):

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.

varkor (Sep 21 2018 at 19:15, on Zulip):

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

nikomatsakis (Sep 21 2018 at 19:27, on Zulip):

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.

nikomatsakis (Sep 21 2018 at 19:27, on Zulip):

I imagine the Zulip devs are much the same...but 10x...

davidtwco (Sep 21 2018 at 19:48, on Zulip):

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.

varkor (Sep 21 2018 at 20:05, on Zulip):

though arguably you could say the same thing about creating topics on Discord for those teams that don't already have them

davidtwco (Sep 21 2018 at 20:07, on Zulip):

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.

pnkfelix (Sep 21 2018 at 20:14, on Zulip):

/me is worried that the we Zulipers are going to end up sounding like Lisp programmers

pnkfelix (Sep 21 2018 at 20:15, on Zulip):

"The parentheses aren't that bad! Look: Continuations! Look: Macros! No, Come back!"

varkor (Sep 22 2018 at 00:22, on Zulip):

https://internals.rust-lang.org/t/zulip-shortcomings/8454

varkor (Sep 22 2018 at 00:22, on Zulip):

a brief collation of my thoughts on the topic

varkor (Sep 22 2018 at 00:23, on Zulip):

I'd be willing to fix all of those if other people shared my feelings

varkor (Sep 22 2018 at 00:23, on Zulip):

I'm not sure if any are antithetical to Zulip :mischievous:

davidtwco (Sep 22 2018 at 09:14, on Zulip):

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.

nagisa (Oct 26 2018 at 19:26, on Zulip):

@nikomatsakis have we decided on the move and how to achieve this yet?

nagisa (Oct 26 2018 at 19:26, on Zulip):

and/or how to reach consensus on the move or how to achieve the move?

nikomatsakis (Oct 29 2018 at 12:58, on Zulip):

there hasn't been any further discussion, but I agree we should clearly push on this further

Last update: Nov 22 2019 at 05:50UTC