Stream: t-compiler/wg-incr-comp

Topic: schedule a kickoff meeting?


view this post on Zulip pnkfelix (Jul 28 2020 at 16:02):

About a month ago I was talking about scheduling a kickoff meeting

view this post on Zulip pnkfelix (Jul 28 2020 at 16:02):

I think we've had enough time brainstorming. There have been some private discussions amongst the wg leads about how to schedule a meeting

view this post on Zulip pnkfelix (Jul 28 2020 at 16:03):

but I think we should push to do the rest of the scheduling in the open

view this post on Zulip pnkfelix (Jul 28 2020 at 16:05):

@njn @Wesley Wiser I think you two were saying 8pm EDT (= 10am AEST) would work for both of you?

view this post on Zulip pnkfelix (Jul 28 2020 at 16:06):

@Santiago Pastorino do you have thoughts on the above? Or anyone else in ... hmm, is there a way I can mention everyone subscribed to this stream ...?

view this post on Zulip Wesley Wiser (Jul 28 2020 at 16:07):

I think you want @all

view this post on Zulip pnkfelix (Jul 28 2020 at 16:07):

that sounds scary

view this post on Zulip pnkfelix (Jul 28 2020 at 16:07):

is that stream-sensitive?

view this post on Zulip Wesley Wiser (Jul 28 2020 at 16:07):

That's what the autocomplete claims lol

view this post on Zulip Wesley Wiser (Jul 28 2020 at 16:08):

But yes, 8pm EDT would work great for me

view this post on Zulip pnkfelix (Jul 28 2020 at 16:08):

ah I think @stream is an alias for @all, according to zulip#8930

view this post on Zulip pnkfelix (Jul 28 2020 at 16:09):

pnkfelix said:

njn Wesley Wiser I think you two were saying 8pm EDT (= 10am AEST) would work for both of you?

this question is really directed at everyone in @stream

view this post on Zulip pnkfelix (Jul 28 2020 at 16:09):

note that I haven't specified a day of the week here.

view this post on Zulip pnkfelix (Jul 28 2020 at 16:09):

this is everyone's chance to say "that time would work, except for this day of the week"

view this post on Zulip pnkfelix (Jul 28 2020 at 16:10):

(and if I'm given the opportunity, I'll try to nudge it away from Fridays. I don't like giving up my Friday evenings.)

view this post on Zulip Félix Fischer (Jul 28 2020 at 16:13):

Okay I think this works for me. EDT is UTC-4, right? Then I think it'll be 8pm for me as well, and that works rather well for me :)

view this post on Zulip Félix Fischer (Jul 28 2020 at 16:14):

Any day except Fridays if possible

view this post on Zulip Santiago Pastorino (Jul 28 2020 at 16:14):

that's 9pm my time if EDT is UTC-4, :+1: from me except fridays too

view this post on Zulip Santiago Pastorino (Jul 28 2020 at 16:15):

in general it would be very complicated for me to attend to meetings at this time, but I can make it to the kickoff I think

view this post on Zulip pnkfelix (Jul 28 2020 at 16:17):

Félix Fischer said:

Okay I think this works for me. EDT is UTC-4, right? Then I think it'll be 8pm for me as well, and that works rather well for me :)

I think you can use this service to get an authorative answer to your Q: https://www.timeanddate.com/worldclock/converter.html?iso=20200806T000000&p1=263&p2=22

view this post on Zulip pnkfelix (Jul 28 2020 at 16:18):

One of the topics at the kickoff should definitely be how we can avoid having the meetings always be in the evenings for those in EDT

view this post on Zulip pnkfelix (Jul 28 2020 at 16:19):

(options for this include 1. alternating the meeting time each week, or 2. having more than one meeting per week, and expecting much <100% attendance at any given meeting.)

view this post on Zulip Santiago Pastorino (Jul 28 2020 at 16:20):

I think we should also record meetings

view this post on Zulip davidtwco (Jul 28 2020 at 17:47):

(FYI, there’s a <time command in Zulip for sending times that convert to the local time zone)

view this post on Zulip davidtwco (Jul 28 2020 at 17:50):

8pm EDT is 1am here (if my conversion is right), so I won’t be able to make that time. Any day of the week works otherwise.

view this post on Zulip Santiago Pastorino (Jul 28 2020 at 18:25):

testing <time command, if the meeting was tomorrow it will be at:

view this post on Zulip Félix Fischer (Jul 28 2020 at 21:06):

Oh, interesting. That's 9pm for me

view this post on Zulip Félix Fischer (Jul 28 2020 at 21:06):

Well, according to mobile Zulip

view this post on Zulip njn (Jul 28 2020 at 22:19):

That works, as long as it's a weekday in Melbourne (i.e. not Friday in the US)

view this post on Zulip Félix Fischer (Jul 29 2020 at 04:00):

I said:

Oh, interesting. That's 9pm for me

But the command actually displayed Santiago's time :laughing:
So I think I just got confused. The proposed time is 8pm my time

view this post on Zulip Wesley Wiser (Jul 29 2020 at 11:01):

The Zulip mobile client tends to lag a bit behind the site in terms of features.

view this post on Zulip pnkfelix (Jul 29 2020 at 14:26):

Félix Fischer said:

I said:

Oh, interesting. That's 9pm for me

But the command actually displayed Santiago's time :laughing:
So I think I just got confused. The proposed time is 8pm my time

/me is now confused. Is it that <time uses the time zone of the sender ?

view this post on Zulip Wesley Wiser (Jul 29 2020 at 14:29):

When you write <time you get a datetime picker and you pick the time in your timezone. What's supposed to happen is that when others see your message, the <time is rendered in their local timezone. But that doesn't seem to happen on the mobile client.

view this post on Zulip pnkfelix (Jul 29 2020 at 14:31):

oh now I see

view this post on Zulip pnkfelix (Jul 29 2020 at 14:54):

Okay well I'm officially proposing 8pm EDT on Tuesday of next week, aka

view this post on Zulip pnkfelix (Jul 29 2020 at 14:54):

let me see if I can create an event on the compiler team calendar for it

view this post on Zulip davidtwco (Jul 29 2020 at 16:25):

I’ll do my best to try attend or catch up the following morning.

view this post on Zulip pnkfelix (Jul 29 2020 at 17:06):

@davidtwco don't worry.I'll make sure one of the agenda items is to ensure we do something to have some kind of (hopefully synchronous) meeting that is more accommodating for people in ~EU time zones

view this post on Zulip Santiago Pastorino (Jul 29 2020 at 21:08):

@pnkfelix are we doing zoom? do you have the ability to record the meeting so others can watch it?

view this post on Zulip pnkfelix (Jul 30 2020 at 15:14):

oh that's an excellent point

view this post on Zulip pnkfelix (Jul 30 2020 at 15:15):

I believe I can host a zoom meeting.

view this post on Zulip pnkfelix (Jul 30 2020 at 15:23):

oKay it should be set up. Meeting ID: 952 6075 4354 aka https://mozilla.zoom.us/j/95260754354 . There is a password; it is 382382 (I added this in after sending, so it won't be in the zulip archive)

view this post on Zulip pnkfelix (Jul 30 2020 at 15:24):

and I likewise put a link into the event on the compiler team calendar, in the "location" field.

view this post on Zulip Félix Fischer (Jul 31 2020 at 05:26):

Just to confirm: next Tuesday, at 8pm EDT, right?

view this post on Zulip pnkfelix (Aug 03 2020 at 13:33):

@Félix Fischer kickoff is tomorrow (Tuesday) at 8pm EDT

view this post on Zulip Félix Fischer (Aug 03 2020 at 16:50):

:ok:🏻

view this post on Zulip pnkfelix (Aug 04 2020 at 17:03):

by the way, the meeting is still planned to run as scheduled. However, there is a Tornado Watch in effect for my area at the same time as the meeting

view this post on Zulip pnkfelix (Aug 04 2020 at 17:04):

so if I'm not there,, either start without me or reschedule (i'll leave it up to the other leads to make a decision there at the start of the meeting; hopefully deciding this won't be necessary)

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:25):

pnkfelix said:

by the way, the meeting is still planned to run as scheduled. However, there is a Tornado Watch in effect for my area at the same time as the meeting

in this case, what I think I'd prefer to do is to re-schedule right now

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:26):

in my case is worse to arrive to the meeting time, set some things aside and be ready and then cancel it

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:26):

I think most of the people were fine with the meeting being any day but on friday

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:28):

cc @Wesley Wiser @njn @Félix Fischer @davidtwco opinions?

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:28):

btw, it seems like we need @WG-incr-comp or something :)

view this post on Zulip Félix Fischer (Aug 04 2020 at 18:28):

Yas to that last bit, why not?

view this post on Zulip davidtwco (Aug 04 2020 at 18:29):

I don’t have a strong preference as to whether the meeting takes place, but I would prefer to know in case I end up inclined to stay up later to attend.

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:30):

davidtwco said:

I don’t have a strong preference as to whether the meeting takes place, but I would prefer to know in case I end up inclined to stay up later to attend.

right, kind of the same happens to me :), if I'm around that late I'd prefer to be sure we have the meeting

view this post on Zulip Félix Fischer (Aug 04 2020 at 18:30):

And to postponing: I mean, I was getting hyped up and all that, but I'm in a position (waiting for thesis application to be accepted) where my time is quite flexible, so I can reschedule no prob.
Also, the weather is out of our control. I hope you guys are safe out there <3

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 18:47):

another thing is that if @pnkfelix is not around, the meeting won't be recorded for the rest that are unable to attend

view this post on Zulip Wesley Wiser (Aug 04 2020 at 19:01):

I would also prefer to reschedule if pnkfelix can't make it.

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 19:07):

ok, it seems we are more or less all in the same situation, so I'd propose to re-schedule the meeting for tomorrow same time react with :+1: if agree and with :-1: if you disagree

view this post on Zulip pnkfelix (Aug 04 2020 at 19:13):

hmm okay let me at least check that that time works for me

view this post on Zulip pnkfelix (Aug 04 2020 at 19:13):

(because, you know, if the goal is to ensure I'm there...)

view this post on Zulip pnkfelix (Aug 04 2020 at 19:13):

the other problem is that @njn is probably asleep right now

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 19:14):

yep I was going to mention that, I guess they'll be around in some hours

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 19:14):

maybe let's cancel today and try to re-schedule it for as soon as we can?

view this post on Zulip pnkfelix (Aug 04 2020 at 19:14):

but I guess that the meeting time is 10am at @njn's local time

view this post on Zulip pnkfelix (Aug 04 2020 at 19:15):

so at least they won't be waking up early (hopefully) only to discover that the meeting is rescheduled

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 19:15):

yep or 9am

view this post on Zulip Santiago Pastorino (Aug 04 2020 at 19:16):

I think it's 10am @njn's time yeah

view this post on Zulip pnkfelix (Aug 04 2020 at 19:45):

Okay i can do same time tomorrow

view this post on Zulip pnkfelix (Aug 04 2020 at 19:45):

I’ll change compiler team calendar event

view this post on Zulip njn (Aug 04 2020 at 22:16):

Same time tomorrow is fine. (And yes, the meeting is at 10am my time.)

view this post on Zulip njn (Aug 04 2020 at 22:17):

@pnkfelix good luck avoiding tornadoes

view this post on Zulip davidtwco (Aug 05 2020 at 09:59):

(FYI, I've made a @*wg-incr-comp* now)

view this post on Zulip pnkfelix (Aug 05 2020 at 13:33):

@*wg-incr-comp* is probably a good idea. I think I had been making do in the meantime with @*stream* in this stream; but a more specific name that is not context-sensitive is probably much better.

view this post on Zulip Santiago Pastorino (Aug 05 2020 at 21:24):

pnkfelix said:

@*wg-incr-comp* is probably a good idea. I think I had been making do in the meantime with @*stream* in this stream; but a more specific name that is not context-sensitive is probably much better.

yesterday I was going to use @*stream* and was afraid of notifying 55 members of the stream, so I ended pinging you one by one :)

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:02):

The meeting is right now right?

view this post on Zulip Santiago Pastorino (Aug 06 2020 at 00:02):

Félix Fischer said:

The meeting is right now right?

right now, we are just starting

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:03):

Are we doing zoom in the end? I thought there was a link, but a quick search didn't find it

view this post on Zulip njn (Aug 06 2020 at 00:05):

Zoom ID: 952 6075 4354

view this post on Zulip njn (Aug 06 2020 at 00:05):

password is 382382

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:06):

awesome

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:06):

omw

view this post on Zulip njn (Aug 06 2020 at 00:44):

An old blog post: https://blog.rust-lang.org/2016/09/08/incremental.html

view this post on Zulip njn (Aug 06 2020 at 01:01):

@pnkfelix thank you for chairing and minuting!

view this post on Zulip Félix Fischer (Aug 06 2020 at 01:07):

Yeah that minuting looked pretty great :D


Last updated: Oct 21 2021 at 20:33 UTC