Stream: t-compiler/wg-nll

Topic: gitter is dead / long live gitter


pnkfelix (May 09 2018 at 13:48, on Zulip):

Lets decide what chat client to use!

nikomatsakis (May 09 2018 at 13:49, on Zulip):

heh

nikomatsakis (May 09 2018 at 13:49, on Zulip):

threads 4eva

Keith Yeung (May 09 2018 at 13:49, on Zulip):

my understanding of the current situation is that we're gonna be using zulip for now

nikomatsakis (May 09 2018 at 13:49, on Zulip):

I personally think Discord is going to win, even though I find I like a lot of things about zulip

Keith Yeung (May 09 2018 at 13:49, on Zulip):

and possibly in the next week or so we'll try discord as well

nikomatsakis (May 09 2018 at 13:49, on Zulip):

but everybody who logs into zulip says "what is going on" at first basically

pnkfelix (May 09 2018 at 13:49, on Zulip):

@Keith Yeung your understanding matches my own. I just figured I'd have an isolated place to talk about ths.

pnkfelix (May 09 2018 at 13:49, on Zulip):

So that we can hypothetically isolate it or mute it

Keith Yeung (May 09 2018 at 13:49, on Zulip):

so basically, gitter is as good as dead now

Keith Yeung (May 09 2018 at 13:50, on Zulip):

(has been actually, what with the whole message delivery fiasco)

qmx (May 09 2018 at 13:50, on Zulip):

I'm giving it to discord, even if I badly wanted this to win

qmx (May 09 2018 at 13:50, on Zulip):

it's too confusing for newcomers

Keith Yeung (May 09 2018 at 13:51, on Zulip):

this is actually quite nice, but takes some time to get used to

Keith Yeung (May 09 2018 at 13:51, on Zulip):

i also like how you can compose your message just like emails if you so wanted to

qmx (May 09 2018 at 13:52, on Zulip):

even in this case, we kinda wanted to make the entry bar lower than IRC, and yet IRC can be less complicated than the streams here - tradeoffs

Keith Yeung (May 09 2018 at 13:52, on Zulip):

right, this also has good integration with GH, i.e. you can sign up with just your GH account

Keith Yeung (May 09 2018 at 13:52, on Zulip):

i don't think discord has that?

Keith Yeung (May 09 2018 at 13:53, on Zulip):

i don't know for sure since i already have a discord account before the rust discord server is up

nikomatsakis (May 09 2018 at 13:56, on Zulip):

i also like how you can compose your message just like emails if you so wanted to

I like that too. However, there is one nice thing in discord:

If you start a \`\`\` section, then it knows that -- within that section only -- "enter" should not end the message, but rather add a newline. That is very cool.

That said, I like how you can easily toggle that with a click in zulip (I find it more obvious than the Gitter control, which was confusing).

davidtwco (May 09 2018 at 15:25, on Zulip):

I quite like that Zulip is open source, as far as I know they're very welcoming to contributors like the Rust project is. That's good for being able to make your own integrations (Discord has bots, granted) and making contributions to make it suit us more. It is a bit more confusing but I think that the threads will be very nice to have in some of the more general chats where there are lots of concurrent conversations.

davidtwco (May 09 2018 at 15:27, on Zulip):

In particular, I think it'd be useful when I'm working on a issue-29384 or something to be able to create a topic for that so it's easy to find, read back on, etc.

qmx (May 09 2018 at 17:04, on Zulip):

lol, and they just pushed a new gitter release https://twitter.com/gitchat/status/994261540030287872

nikomatsakis (May 11 2018 at 10:34, on Zulip):

too little, too late I fear

nikomatsakis (May 11 2018 at 12:27, on Zulip):

TIL: pressing > will compose a reply that quotes the selected message; pressing @ will @-reply to the author.

nikomatsakis (May 11 2018 at 12:27, on Zulip):

handy

Santiago Pastorino (May 11 2018 at 19:34, on Zulip):

a bit late to the party but I'd love Discord with shortcut keys like here and with streams like here

nikomatsakis (May 11 2018 at 23:23, on Zulip):

holy baloney even tables work. <3 zulip's markdown support

nikomatsakis (May 11 2018 at 23:50, on Zulip):

but one thing I really don't like about Zulip -- when I type ``` and hit enter, it should toggle 'Press Enter to send' off automatically...

davidtwco (May 12 2018 at 08:17, on Zulip):

Couldn't find an issue on Zulip's GitHub for that @nikomatsakis so I opened https://github.com/zulip/zulip/issues/9362

nikomatsakis (May 12 2018 at 13:34, on Zulip):

Oh nice. I started to open one but go distracted

Tatsuya Kawano (May 14 2018 at 05:38, on Zulip):

just in case you missed it; here is the Discord server URL: http://discord.gg/rust-lang

Tatsuya Kawano (May 14 2018 at 05:39, on Zulip):

somebody told me that he got the URL from our old Gitter room, but I don't see it. maybe Gitter has been broken very badly?

lqd (May 14 2018 at 06:34, on Zulip):

the discord link is in the WG-traits channel, not the WG-NLL one https://gitter.im/rust-lang/WG-traits

Tatsuya Kawano (May 14 2018 at 07:25, on Zulip):

Thanks :simple_smile: I opened up the link for Gitter WG-traits with Firefox and now I see the Discord link there. I have used Gitter client app on macOS and I found it is not showing recent messages on WG-traits channel

Tatsuya Kawano (May 14 2018 at 07:36, on Zulip):

my bad. the channel I have been subscribing was https://gitter.im/rust-impl-period/WG-compiler-traits, not https://gitter.im/rust-lang/WG-traits

nikomatsakis (May 14 2018 at 09:19, on Zulip):

ok, having just caught up on 50+ msgs I can second the value of threads.

pnkfelix (May 14 2018 at 09:25, on Zulip):

maybe you can convince the core team to give zulip a shot

nikomatsakis (May 15 2018 at 21:48, on Zulip):

Hate to say it but the zulip Android app is nigh unusable

Keith Yeung (May 15 2018 at 21:50, on Zulip):

the one thing i dislike the most is that the android app always puts you right at the beginning of every topic

qmx (May 15 2018 at 21:50, on Zulip):

it is a pain - at least notifications work, unlike gitter :P

Keith Yeung (May 15 2018 at 21:50, on Zulip):

so you have to scroll all the way down in order to see the latest messages

Keith Yeung (May 15 2018 at 21:50, on Zulip):

i'm not sure why they thought this was a good model to have

lqd (May 15 2018 at 22:07, on Zulip):

zulip's threads with discord's ergonomics and aesthetics would be interesting

nikomatsakis (May 15 2018 at 22:37, on Zulip):

it is a pain - at least notifications work, unlike gitter :P

sometimes like an hour or two afterwards...

pnkfelix (May 16 2018 at 11:57, on Zulip):

Does anyone know if there's some secret to selecting multiple topics in a given stream (but not selecting the stream itself which would include all of its topics)

nikomatsakis (May 16 2018 at 11:58, on Zulip):

I know of no way to do that

pnkfelix (May 16 2018 at 11:58, on Zulip):

maybe I should file a ticket

lqd (May 16 2018 at 12:10, on Zulip):

you could work around it by removing unwanted topics with "-topic:xxx" in the top filter bar

pnkfelix (May 16 2018 at 14:47, on Zulip):

ah true. Not idea for if one has many topics and all are active, but it would probably work fine in practice on this stream

Keith Yeung (May 16 2018 at 21:05, on Zulip):

i'm getting a feeling that @nikomatsakis likes zulip a lot more than other chat solutions, due to the fact that you can publicly link conversations on GH issues

lqd (May 16 2018 at 21:10, on Zulip):

@Keith Yeung Discord said they would work on links as well

lqd (May 16 2018 at 21:11, on Zulip):

unfortunately I can't ... send you a link to that Discord conversation :stuck_out_tongue_winking_eye:

Tatsuya Kawano (May 16 2018 at 22:27, on Zulip):

FYI, I joined to Zulip community at https://chat.zulip.org/ where all core devs are hanging around. I think it is a good place to give them some suggestions to improve Zulip products. I was thinking to give them my thoughts on improving Android app but saw somebody already did for iOS app. (Their Android and iOS apps are sharing the same code base)

https://chat.zulip.org/#narrow/stream/48-mobile/subject/ios/near/581216

I open the app and see for example 15 unread messages in a topic like this one and have a hard time figuring out where the unread messages begin when I scroll up and down.
I'm used to other chat applications like Skype where there is a red line between two messages indicating where the unread messages begin.

When you tap the topic we show you the first unread messages, but showing a line is a great idea.

Santiago Pastorino (May 17 2018 at 02:47, on Zulip):

i'm getting a feeling that @nikomatsakis likes zulip a lot more than other chat solutions, due to the fact that you can publicly link conversations on GH issues

I wouldn't say that is due to that, because that's easy fixable in other chat solutions

Santiago Pastorino (May 17 2018 at 02:48, on Zulip):

the most interesting thing about Zulip is threads

Santiago Pastorino (May 17 2018 at 02:48, on Zulip):

and that's a thing that's more difficult to convince other chat solution to do it and in the same way

Santiago Pastorino (May 17 2018 at 02:48, on Zulip):

Slack threads are not good

Santiago Pastorino (May 17 2018 at 02:48, on Zulip):

I love the threads solution that Zulip has

nikomatsakis (May 17 2018 at 08:12, on Zulip):

yeah, my take right now is that Zulip has a lot of nice things, but threads are by far the key feature — but also the key weakness. That is, it's threads that make Zulip feel more intimidating when you first arrive. There's this question "how do I post a message? should I make a new thread? is that ok?" Pretty much 100% of people when they first get into Zulip are confused, at least for a moment, about how to use it. On the other hand, threads definitely make it amazingly nice to catch up on conversations.

nikomatsakis (May 17 2018 at 08:13, on Zulip):

I have to say that Discord is really, really nice too; also, the team there is quite responsive and eager to have us, and they are definitely up for adding links and other such things. I doubt though that they would add threads, or at least not threads the way Zulip has, and I think they're probably right to be hesitant, for the reasons I just gave.

pnkfelix (May 17 2018 at 10:49, on Zulip):

I've noted this to niko in private, but I'll repeat it here: when evaluating the "its intimidating when you first arrive" point, it is important to consider who the intended audience for the forum is, and bias the features/drawbacks list accordingly.

pnkfelix (May 17 2018 at 10:50, on Zulip):

In particular: I absolutely would not want Zulip for a discussion channel for Rust users. For that audience, we want a minimum barrier to entry, even at the potential inconvenience of long-time developers and/or experts

pnkfelix (May 17 2018 at 10:51, on Zulip):

But when we're talking about people hacking on rustc itself, or maybe just the particular working groups (and not necessarily all potential rustc constributors): That seems like a scenario where its okay to expect some investment in the tools (including chat client) from the participants, and optimizing for most efficient processing of parallel long-lived discussions is hugely important.

pnkfelix (May 17 2018 at 10:58, on Zulip):

In other words: I think it be fine to migrate some groups to Discord and some to Zulip. Having two chat clients, as long as they are both reasonable, is okay with me. (But I already suffer with five chat clients, so maybe I'm blasé about the matter.)

davidtwco (May 17 2018 at 11:22, on Zulip):

I agree. I think the trade-off that Zulip presents makes a lot of sense for Rust contributors but a lot less for Rust users. Discord is certainly more familiar (and approachable than IRC) to Rust users, but Zulip's threads are very useful.

nikomatsakis (May 17 2018 at 13:57, on Zulip):

on a related note, I wish I could accustom myself to hitting Command-Enter instead of just Enter =)

nikomatsakis (May 17 2018 at 13:57, on Zulip):

but I.. seemingly can't, so I just keep "Press Enter to send" clicked :)

Santiago Pastorino (May 17 2018 at 14:35, on Zulip):

yeah, my take right now is that Zulip has a lot of nice things, but threads are by far the key feature — but also the key weakness. That is, it's threads that make Zulip feel more intimidating when you first arrive. There's this question "how do I post a message? should I make a new thread? is that ok?" Pretty much 100% of people when they first get into Zulip are confused, at least for a moment, about how to use it. On the other hand, threads definitely make it amazingly nice to catch up on conversations.

I agree that Zulip's threads are also the key weakness but I'd say that that's because of it's UI/UX.
Probably threads in the way Zulip has with nicer UI but mainly nicer UX would be the "perfect" thing.

davidtwco (May 17 2018 at 17:48, on Zulip):

Has there been any attempt to set up the GitHub Details integration so we can autolink issues?

nikomatsakis (May 17 2018 at 17:49, on Zulip):

I didn't

nikomatsakis (May 17 2018 at 17:49, on Zulip):

because I am lazy

nikomatsakis (May 17 2018 at 21:48, on Zulip):

Has there been any attempt to set up the GitHub Details integration so we can autolink issues?

if you have any links to instructions, would be up for that

nikomatsakis (May 17 2018 at 21:48, on Zulip):

I did a brief internet search and couldn't figure it out

davidtwco (May 18 2018 at 00:16, on Zulip):

It seems like the GitHub Details Bot page mentions a config file that needs configured - best I can tell that is from the zulip/python-zulip-api repo where https://zulipchat.com/api/running-bots seems relevant.

nikomatsakis (May 24 2018 at 12:22, on Zulip):

Finally getting used to "command-enter to send"... (I do like being able to compose longer messages on a whim...)

Santiago Pastorino (May 24 2018 at 12:33, on Zulip):

from time to time I end confused because in some cases enter sends, in others is control+enter

Santiago Pastorino (May 24 2018 at 12:33, on Zulip):

didn't give a better thought to this yet

Santiago Pastorino (May 24 2018 at 12:33, on Zulip):

and I guess what I describe only happens if you have Press Enter to send

Santiago Pastorino (May 24 2018 at 12:34, on Zulip):

maybe I should disable that? :)

nikomatsakis (May 24 2018 at 12:52, on Zulip):

from time to time I end confused because in some cases enter sends, in others is control+enter

when editing, Press Enter to Send is ignored, which is weird. There is a bug on that in the Zulip repo

Santiago Pastorino (May 24 2018 at 13:18, on Zulip):

started to happen to me that from time to time I need to control+r zulip because I can't change threads or go to private conversations

Santiago Pastorino (May 24 2018 at 13:18, on Zulip):

wherever I click I stay at the same place

Santiago Pastorino (May 24 2018 at 13:18, on Zulip):

not sure what combination of factors take me there though

Santiago Pastorino (May 24 2018 at 13:18, on Zulip):

maybe it has happened to somebody else?

Keith Yeung (May 24 2018 at 21:18, on Zulip):

is it me, or does zulip starts removing chat logs that are a few days old?

nikomatsakis (May 24 2018 at 21:18, on Zulip):

I..hadn't noticed that... does it?

Keith Yeung (May 24 2018 at 21:19, on Zulip):

i can't seem to scroll back to logs that are 3-4 days old

qmx (May 24 2018 at 21:23, on Zulip):

it's a JS that does the loading, you might be able to load older conversations by going to the substreams on the left

pnkfelix (May 24 2018 at 21:27, on Zulip):

I'm able to scroll back to the beginning (May 4th, right?) in general discussion

pnkfelix (May 24 2018 at 21:27, on Zulip):

sorry May 3rd

pnkfelix (May 24 2018 at 21:27, on Zulip):

(and in here I can scroll back to May 9th)

Keith Yeung (May 24 2018 at 21:28, on Zulip):

i can't seem to scroll to the beginning of the rustc-and-polonius integration topic

pnkfelix (May 24 2018 at 21:29, on Zulip):

ah I don't think I can scroll back to before Today there either ... hmm

pnkfelix (May 24 2018 at 21:30, on Zulip):

oh but there's more than one

pnkfelix (May 24 2018 at 21:30, on Zulip):

it was mispelled earlier

pnkfelix (May 24 2018 at 21:30, on Zulip):

rustc-and-polonus

nikomatsakis (May 24 2018 at 21:30, on Zulip):

oh yeah I fixed a typo

nikomatsakis (May 24 2018 at 21:30, on Zulip):

somewhat oddly the old one stuck around :)

nikomatsakis (May 24 2018 at 21:30, on Zulip):

I guess to keep links working or something?

pnkfelix (May 24 2018 at 21:31, on Zulip):

Interesting... so maybe the rename feature is time -limited?

pnkfelix (May 24 2018 at 21:32, on Zulip):

/me tries and apparently succeeds at a more complete alpha renaming?

pnkfelix (May 24 2018 at 21:33, on Zulip):

(or I guess this wouldn't be alpha-renaming since it actually collaped the two distinct topics together...)

pnkfelix (May 28 2018 at 10:38, on Zulip):

Zulip’s FIFO delivery/presentation on their mobile app may be a deal breaker for it

nikomatsakis (May 28 2018 at 10:44, on Zulip):

I uninstalled the mobile app. Too annoying.

pnkfelix (May 31 2018 at 21:22, on Zulip):

lets see how much the window of time matters when I ressurect a topic

pnkfelix (May 31 2018 at 21:23, on Zulip):

(the answer is: It matters. and that's probably a good thing.)

Santiago Pastorino (May 31 2018 at 21:53, on Zulip):

what matters means in this context?

Santiago Pastorino (May 31 2018 at 21:53, on Zulip):

I mean, what happened?

pnkfelix (May 31 2018 at 21:53, on Zulip):

The window of time (time ... time ... time ...)

pnkfelix (May 31 2018 at 21:53, on Zulip):

I tried to change the name of this topic

pnkfelix (May 31 2018 at 21:54, on Zulip):

which you can do

pnkfelix (May 31 2018 at 21:54, on Zulip):

but it won't change the messages that are older than the edit threshold

pnkfelix (May 31 2018 at 21:54, on Zulip):

like so

pnkfelix (May 31 2018 at 21:54, on Zulip):

do you see?

Santiago Pastorino (May 31 2018 at 21:54, on Zulip):

yes

pnkfelix (May 31 2018 at 21:55, on Zulip):

Ah interesting

pnkfelix (May 31 2018 at 21:55, on Zulip):

the window of time for editing a message

pnkfelix (May 31 2018 at 21:55, on Zulip):

is distinct from the window of time that the message's topic can be modified

pnkfelix (May 31 2018 at 21:55, on Zulip):

i.e. I can no longer edit the content of the message that says "lets see how much the window of time matters when I ressurect a topic"

pnkfelix (May 31 2018 at 21:56, on Zulip):

(but the one that originally said "the window of time" is still within the edit window)

pnkfelix (May 31 2018 at 21:56, on Zulip):

and both messages are able to have their topics revised.

pnkfelix (Jun 05 2018 at 19:25, on Zulip):

/me 's favorite feature of newer chat clients like Zulip over IRC: The ability to delete the numeric codes that he inevitably injects into the channel(s) when he accidentally taps the key-generator on his laptop.

nikomatsakis (Jun 05 2018 at 19:31, on Zulip):

heh

davidtwco (Jul 05 2018 at 16:39, on Zulip):

@nikomatsakis after reading through the internals thread about Rust's communication stuff - do you know if this Zulip org is on Zulip's Cloud Premium plan or is it just the free one?

nikomatsakis (Jul 05 2018 at 17:01, on Zulip):

@nikomatsakis after reading through the internals thread about Rust's communication stuff - do you know if this Zulip org is on Zulip's Cloud Premium plan or is it just the free one?

I think it's just the free one, I just set it up the usual way. I've been meaning to look into the upgrade that OSS projects are supposed to be eligible for

davidtwco (Jul 05 2018 at 17:02, on Zulip):

Just in case it brings more moderation features or some of the things that are mentioned as missing in the internals thread.

davidtwco (Jul 05 2018 at 18:40, on Zulip):

Just an FYI @nikomatsakis, I've been passing on some of the feedback from the internals thread about Zulip to the developers over on their Zulip instance - it might be worthwhile elaborating on some of the issues with the mobile app you've add if you've got any time. :)

nikomatsakis (Jul 05 2018 at 18:41, on Zulip):

yeah, good idea, I've thought about trying to file bugs

nikomatsakis (Jul 05 2018 at 18:41, on Zulip):

tbh it was sort of "everything" :)

nikomatsakis (Jul 05 2018 at 18:41, on Zulip):

which is why I haven't

nikomatsakis (Jul 05 2018 at 18:41, on Zulip):

super delayed notifications is one specific thing I remember

nikomatsakis (Jul 05 2018 at 18:41, on Zulip):

but I can't remember what else, maybe I'll re-install it

nikomatsakis (Jul 05 2018 at 18:42, on Zulip):

I've been meaning to try and propose to the compiler team that we try out Zulip and Discord

nikomatsakis (Jul 05 2018 at 18:42, on Zulip):

I'd like to advocate for a move away from IRC as the "official home"

nikomatsakis (Jul 05 2018 at 18:42, on Zulip):

(of the compiler team specifically I mean)

nikomatsakis (Jul 05 2018 at 18:42, on Zulip):

I imagine some people might want to try Matrix too or other things

davidtwco (Jul 05 2018 at 18:42, on Zulip):

I think the only issues I've really had is that the notifications are slightly delayed, and when I open the app, it is a bit of a pain to scroll all the way down to the most recent messages.

nikomatsakis (Jul 05 2018 at 18:42, on Zulip):

but I kind of feel like "I don't have time to deal with this"

nikomatsakis (Jul 05 2018 at 18:42, on Zulip):

are you on iOS or Android?

davidtwco (Jul 05 2018 at 18:42, on Zulip):

(there's a scroll down button, but it doesn't go _all_ the way down)

davidtwco (Jul 05 2018 at 18:42, on Zulip):

Android

davidtwco (Jul 05 2018 at 18:43, on Zulip):

Once I'm at the most recent messages, it's pretty decent for browsing through the topics and replying I find.

nikomatsakis (Jul 05 2018 at 18:44, on Zulip):

cool

davidtwco (Jul 05 2018 at 18:44, on Zulip):

I'm just shamelessly trying to sway us in the direction of more Zulip in every little way I can. :P

davidtwco (Jul 05 2018 at 18:45, on Zulip):

pasted image

nikomatsakis (Jul 05 2018 at 18:45, on Zulip):

I think it's interesting that everybody who uses Zulip seriously seems to become a convert :)

davidtwco (Jul 05 2018 at 18:45, on Zulip):

Tim Abbott being one of the original author(s) of Zulip.

nikomatsakis (Jul 05 2018 at 21:01, on Zulip):

@everyone I opened this thread on internals: https://internals.rust-lang.org/t/where-should-the-compiler-team-and-perhaps-working-groups-chat/7894 — if you like Zulip, you might like to weigh in =)

davidtwco (Jul 05 2018 at 21:26, on Zulip):

I've continued today's Zulip shilling into that thread.

Santiago Pastorino (Jul 05 2018 at 21:30, on Zulip):

I'd weigh in, I need to read it first

Santiago Pastorino (Jul 05 2018 at 21:31, on Zulip):

@nikomatsakis we need to form a WG to implement a nicer thing and OSS

davidtwco (Jul 05 2018 at 21:31, on Zulip):

Also, @nikomatsakis, found this today when looking for shilling-related resources: https://zulipchat.com/help/add-a-custom-linkification-filter - seems like a really easy way to get the GitHub links we wanted before.

Santiago Pastorino (Jul 05 2018 at 21:31, on Zulip):

:stuck_out_tongue_winking_eye:

nikomatsakis (Jul 05 2018 at 21:37, on Zulip):

testing #50405

nikomatsakis (Jul 05 2018 at 21:37, on Zulip):

@David Wood hey it works :)

davidtwco (Jul 05 2018 at 21:38, on Zulip):

Nice!

davidtwco (Jul 05 2018 at 21:38, on Zulip):

Given it's just a regex it's probably possible to do some fancier ones for things like rust-lang-nursery/polonius#293 for example.

davidtwco (Jul 05 2018 at 21:38, on Zulip):

They also had an example for commit hashes.

nikomatsakis (Jul 05 2018 at 21:40, on Zulip):

I just tried adding:

nikomatsakis (Jul 05 2018 at 21:40, on Zulip):

but it failed with some obscure error

davidtwco (Jul 05 2018 at 21:40, on Zulip):

What was the error?

nikomatsakis (Jul 05 2018 at 21:40, on Zulip):

Failed: URL format string must be in the following format: https://example.com/%(\w+)s

nikomatsakis (Jul 05 2018 at 21:40, on Zulip):

this was my string: https://github.com/%(org)s/%(repo)s/%(id)s

nikomatsakis (Jul 05 2018 at 21:41, on Zulip):

see any obvious problems?

nikomatsakis (Jul 05 2018 at 21:41, on Zulip):

I guess I could hardcode the things we care about

nikomatsakis (Jul 05 2018 at 21:41, on Zulip):

e.g., polonius#123

davidtwco (Jul 05 2018 at 21:41, on Zulip):

Nah, I can't spot the issue.

nikomatsakis (Jul 05 2018 at 21:41, on Zulip):

polonius#1

nikomatsakis (Jul 05 2018 at 21:42, on Zulip):

good enough I guess

nikomatsakis (Jul 05 2018 at 21:42, on Zulip):

we should file a bug though

nikomatsakis (Jul 05 2018 at 21:42, on Zulip):

oh well

nikomatsakis (Jul 05 2018 at 21:42, on Zulip):

I guess you only get one variable

nikomatsakis (Jul 05 2018 at 21:42, on Zulip):

I misinterpreted that error at first

nikomatsakis (Jul 05 2018 at 21:43, on Zulip):

I thought it was saying I should type something like that

nikomatsakis (Jul 05 2018 at 21:43, on Zulip):

but rather, that is a regex applied to what I type :)

nikomatsakis (Jul 05 2018 at 21:43, on Zulip):

or...sort of

davidtwco (Jul 05 2018 at 21:43, on Zulip):

Yeah, I see what you mean.

davidtwco (Jul 05 2018 at 21:43, on Zulip):

It expects a %( then something matching \w+ and then a )s.

Santiago Pastorino (Jul 05 2018 at 22:01, on Zulip):

@nikomatsakis replied to the thread

Santiago Pastorino (Jul 05 2018 at 22:03, on Zulip):

I think at some point you / the core team would need to say ... well the options are this, this and this

Santiago Pastorino (Jul 05 2018 at 22:03, on Zulip):

otherwise people will write desires more than actionable things

Santiago Pastorino (Jul 05 2018 at 22:03, on Zulip):

like me proposing to form a WG :P

Santiago Pastorino (Jul 05 2018 at 22:04, on Zulip):

at least I wrote something actionable in short term which is use Zulip ;)

nikomatsakis (Jul 05 2018 at 22:08, on Zulip):

I think at some point you / the core team would need to say ... well the options are this, this and this

roughly the plan is not to impose a "top down" mandate but to let each time decide on its own

nikomatsakis (Jul 05 2018 at 22:08, on Zulip):

so that is the purpose of this thread

nikomatsakis (Jul 05 2018 at 22:08, on Zulip):

:)

Santiago Pastorino (Jul 05 2018 at 22:09, on Zulip):

time -> team ?

davidtwco (Jul 05 2018 at 22:09, on Zulip):

Only downside of that plan is that if it is too fragmented then that could be a pain. Particularly if not everyone has accounts on all the platforms, if there's a NLL issue we're discussing here and want to @ someone whose team doesn't use Zulip, for example.

davidtwco (Jul 05 2018 at 22:09, on Zulip):

But otherwise it's a good plan.

Santiago Pastorino (Jul 05 2018 at 22:10, on Zulip):

I thought you wanted to move all the compiler team, and WGs to the same space

Santiago Pastorino (Jul 05 2018 at 22:11, on Zulip):

remember that my english is bad

Santiago Pastorino (Jul 05 2018 at 22:11, on Zulip):

I may have understood incorrectly

Santiago Pastorino (Jul 05 2018 at 22:11, on Zulip):

I am starting this thread for us to discuss what chat medium should be the home of the main compiler team (and its working groups, probably) going forward

Santiago Pastorino (Jul 05 2018 at 22:11, on Zulip):

that to me means that you want to move all to the same space

davidtwco (Jul 05 2018 at 22:11, on Zulip):

I think that's a fair interpretation.

Santiago Pastorino (Jul 05 2018 at 22:12, on Zulip):

which to be honest I think would be better over personal preferences

simulacrum (Jul 05 2018 at 22:13, on Zulip):

@Santiago Pastorino Compiler team yes but not all Rust teams

Santiago Pastorino (Jul 05 2018 at 22:13, on Zulip):

@simulacrum yes, I'm talking about compiler team + compiler team WGs

Santiago Pastorino (Jul 05 2018 at 22:13, on Zulip):

like nll, traits, etc

Santiago Pastorino (Jul 05 2018 at 22:13, on Zulip):

that was my interpretation

simulacrum (Jul 05 2018 at 22:14, on Zulip):

yeah, I think Niko is proposing that all of those would be in one place

Santiago Pastorino (Jul 05 2018 at 22:14, on Zulip):

right now, only nll uses Zulip, traits uses Discord and compiler I guess IRC ?

Santiago Pastorino (Jul 05 2018 at 22:14, on Zulip):

yeah, I think Niko is proposing that all of those would be in one place

exactly :)

Santiago Pastorino (Jul 05 2018 at 22:15, on Zulip):

that's what I think, but what @nikomatsakis said sounded like he was letting groups decide on what to use

davidtwco (Jul 05 2018 at 22:15, on Zulip):

It might be worth making streams with nice descriptions and setting up the default streams that users are added to for various working groups in Zulip. That's something that got handled quite quickly with Discord, there was a channel for everything almost straight away.

Santiago Pastorino (Jul 05 2018 at 22:15, on Zulip):

unsure, I'm confused :P

nikomatsakis (Jul 05 2018 at 22:18, on Zulip):

I think it's probably best if the compiler team and associated working groups end up in one place

nikomatsakis (Jul 05 2018 at 22:18, on Zulip):

but that doesn't have to be the same as e.g. the community team or infrastructure team

nikomatsakis (Jul 05 2018 at 22:18, on Zulip):

we have different needs

nikomatsakis (Jul 05 2018 at 22:18, on Zulip):

but yes it would be nice to have more compiler folk here

nikomatsakis (Jul 05 2018 at 22:19, on Zulip):

and hopefully enough people cross-fertilized across IRC, Discord, or whatever

nikomatsakis (Jul 05 2018 at 22:19, on Zulip):

I assume I'll still be on all 3...

nikomatsakis (Jul 05 2018 at 22:21, on Zulip):

https://internals.rust-lang.org/t/where-should-the-compiler-team-and-perhaps-working-groups-chat/7894/11?u=nikomatsakis maybe that helps @Santiago Pastorino

Santiago Pastorino (Jul 05 2018 at 23:31, on Zulip):

:+1:

Santiago Pastorino (Jul 05 2018 at 23:32, on Zulip):

from my point of view the most important thing is to be able to hang out all together and that would never be accomplished if people push on personal preferences over collectively thinking about this

Santiago Pastorino (Jul 05 2018 at 23:33, on Zulip):

and once a chat system is chosen, I think we should move all there

Santiago Pastorino (Jul 05 2018 at 23:34, on Zulip):

if you hang on the 3 places that would never happen also :)

Santiago Pastorino (Jul 05 2018 at 23:34, on Zulip):

the second more important thing is to have threads :)

davidtwco (Jul 27 2018 at 10:21, on Zulip):

@nikomatsakis did anything ever come of this internals thread?

DPC (Jul 27 2018 at 10:25, on Zulip):

don't think so

pnkfelix (Jul 27 2018 at 11:22, on Zulip):

well there is a T-compiler stream on Zulip now ...

davidtwco (Jul 27 2018 at 11:31, on Zulip):

Niko only made that for me to discuss RFC 2008 work with him, it's not used otherwise.

nikomatsakis (Jul 28 2018 at 04:17, on Zulip):

we should bring it up in the new compiler team mtg

Last update: Nov 22 2019 at 00:20UTC