Stream: t-compiler/wg-rls-2.0

Topic: schedulig first design meeting


matklad (Feb 12 2019 at 15:49, on Zulip):

How do people feel about arranging a kick off synchronous design meeting? :-)

I think we have at least three somewhat intersecting topics to discuss:

matklad (Feb 12 2019 at 15:58, on Zulip):

Another interesting topic, "what are the inputs", I feel we've covered at all hands.

Florian Diebold (Feb 12 2019 at 22:16, on Zulip):

:+1: , also I think how to handle / represent diagnostics will be interesting?

nikomatsakis (Feb 13 2019 at 10:30, on Zulip):

I'm very into this idea

nikomatsakis (Feb 13 2019 at 10:30, on Zulip):

I've been thinking about doing similar things for trait wg

nikomatsakis (Feb 13 2019 at 10:30, on Zulip):

Do you plan to do it in Zulip, @matklad ?

nikomatsakis (Feb 13 2019 at 10:30, on Zulip):

(If not, we could use Zoom and record it)

nikomatsakis (Feb 13 2019 at 10:31, on Zulip):

My hope is that we can create some setup which permits people to kind of follow along with high-level design by attending (or following) a high-level meeting

matklad (Feb 13 2019 at 10:34, on Zulip):

I don't know. Zoom is higher bandwidth, Zulip is more async friendly. I think I'd personally try zullip

mw (Feb 13 2019 at 12:03, on Zulip):

it might be a good idea to restrict each meeting to one specific topic. I think all of the suggested topics are interesting and they are complicated enough to warrant a full meeting.

matklad (Feb 13 2019 at 12:08, on Zulip):

Good call. So let's stick to one!

@WG-rls2.0 how about "how to represent syntax trees?" meeting on Zulip next week (time to be determined via doodle)?

nikomatsakis (Feb 13 2019 at 21:50, on Zulip):

it might be a good idea to restrict each meeting to one specific topic. I think all of the suggested topics are interesting and they are complicated enough to warrant a full meeting.

yes, this is exactly what I wanted to suggest

nikomatsakis (Feb 13 2019 at 21:50, on Zulip):

I would suggest making up a list of design topics, and thinking a bit carefully about the order

nikomatsakis (Feb 13 2019 at 21:50, on Zulip):

and then each week picking up the next thing in the list, adjusting as you go

nikomatsakis (Feb 13 2019 at 21:50, on Zulip):

at least, that is what I had planned to do

nikomatsakis (Feb 13 2019 at 21:50, on Zulip):

@matklad where is the doodle poll? (or does it not exist yet)

matklad (Feb 13 2019 at 21:54, on Zulip):

does not exist yet, I am trying to figure it out ;)

matklad (Feb 13 2019 at 22:02, on Zulip):

@WG-rls2.0 poll to figure out the meeting time: https://doodle.com/poll/53ea9c2666bsdh93#table

matklad (Feb 13 2019 at 22:06, on Zulip):

creating a paper with a list of topics: https://paper.dropbox.com/doc/Topics-to-cover-in-sync-design-meetings--AXjibR1OZQ1qMzXGCX3x7ApcAQ-fpcfA5CM2kYb7L39YkbdC

matklad (Feb 18 2019 at 09:57, on Zulip):

Looks like Wednesday, 14:00 -- 15:00 UTC works for everyone!

@nikomatsakis there's a compiler teem calendar. How can I add this event to it?

pnkfelix (Feb 18 2019 at 10:39, on Zulip):

BTW is the meeting going to be a text-based chat in a Zulip topic (similar to how the rustc T-compiler team meetings go?)

matklad (Feb 18 2019 at 10:40, on Zulip):

This is the plan, yeah

matklad (Feb 19 2019 at 11:34, on Zulip):

@WG-rls2.0 there's now an event for the meeting in compiler team calendar: https://calendar.google.com/calendar/embed?src=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com

matklad (Feb 19 2019 at 11:39, on Zulip):

I guess we can have some kind of email alias for working group to automatically send invitation to events, but I don't know everyone's email.

nikomatsakis (Feb 19 2019 at 11:45, on Zulip):

we could also create a zulip user group alias

nikomatsakis (Feb 19 2019 at 11:45, on Zulip):

I wish there was a way for those to be something that people can subscribe themselves to

nikomatsakis (Feb 19 2019 at 11:45, on Zulip):

I guess we could open an issue on the zulip repo

matklad (Feb 19 2019 at 11:47, on Zulip):

There's already WG-rls2.0 zulip alias. But I can't add people to calendar event using this alias? Or is there an email-address associated with zulip group?

nikomatsakis (Feb 19 2019 at 11:49, on Zulip):

@matklad oh, no, sorry. I just meant that you can ping people on Zulip

nikomatsakis (Feb 19 2019 at 11:50, on Zulip):

but they can subscribe themselves to the calendar and get notifications etc

nikomatsakis (Feb 19 2019 at 11:50, on Zulip):

(though I wonder if we want >1 calendar)

nikomatsakis (Feb 19 2019 at 11:50, on Zulip):

there may be a better tool for managing this, it feels a bit absurd

matklad (Feb 19 2019 at 11:51, on Zulip):

Yeah, I guess it's better to stick to the model where "source of truth" is Zulip, and you are supposed to listen to WG pings. Hopefullly this will be enough for folks not to forget about the meetings

Last update: Nov 19 2019 at 17:35UTC