Stream: t-lang/wg-unsafe-code-guidelines

Topic: first sync meeting with the lang team


nikomatsakis (Mar 08 2019 at 21:10, on Zulip):

Hello @WG-unsafe-code-guidelines -- so it's confirmed that this coming Thursday, March 14, we'll be the first "test case" for the new lang team / working-group sync meetings. I've got a draft announcement here, which currently reads:

# Unsafe code guidelines working group sync

The first lang-team working group sync will be taking place this coming Thursday, March 14. The meeting concerns the Unsafe Code Guidelines working group. We will be presenting this write-up of the current status and plans. The goal of the meeting is both to inform the lang-team and broader community about what we've been up to, and to gather feedback on the overall direction -- not so much to debate technical minutia, though that too could happen. =)

This is an open meeting. It will be held over Zoom and will be recorded and posted to YouTube after the fact.

I hope that you all can make it!

nikomatsakis (Mar 08 2019 at 21:10, on Zulip):

Also, please feel free to open PRs against my write-up if you see any problems with it (among other things, it's kind of incomplete, so I'd love help in updating the current status).

avadacatavra (Mar 08 2019 at 21:11, on Zulip):

i'll tweet it out once it's announced!

nikomatsakis (Mar 08 2019 at 21:12, on Zulip):

cool, I was going to put this into internals and do the same, I guess?

nikomatsakis (Mar 08 2019 at 21:26, on Zulip):

@avadacatavra posted here

nikomatsakis (Mar 08 2019 at 21:30, on Zulip):

I'm excited about this =)

nikomatsakis (Mar 08 2019 at 21:31, on Zulip):

i'll tweet it out once it's announced!

you tweet too! :)

avadacatavra (Mar 08 2019 at 21:31, on Zulip):

TOO MANY TWITTER TABS

nikomatsakis (Mar 08 2019 at 22:10, on Zulip):

i.e., N > 0?

RalfJ (Mar 09 2019 at 12:09, on Zulip):

@nikomatsakis is there a web view for the calendar?

RalfJ (Mar 09 2019 at 12:09, on Zulip):

I am trying to figure out the time for the meeting ;)

nikomatsakis (Mar 09 2019 at 12:57, on Zulip):

@RalfJ yes, try this

nikomatsakis (Mar 09 2019 at 12:58, on Zulip):

someone mentioned to me that I put the wrong link in the web page

nikomatsakis (Mar 09 2019 at 12:58, on Zulip):

I will fix it now

RalfJ (Mar 09 2019 at 13:15, on Zulip):

great, thanks!

RalfJ (Mar 09 2019 at 13:15, on Zulip):

so it says "3pm" but doesn't tell me which timezone...?

RalfJ (Mar 09 2019 at 13:16, on Zulip):

ah, 3pm eastern but it only says that when you click on "more information". and of course it doesn't tell you the UTC offset of eastern. sigh

lqd (Mar 09 2019 at 13:17, on Zulip):

yeah, bottom left of the calendar but no offset "Events shown in time zone: Eastern Time - New York"

RalfJ (Mar 09 2019 at 13:17, on Zulip):

is it UTC-4 or UTC-5? not sure when DST is starting over there

Tom Phinney (Mar 09 2019 at 17:21, on Zulip):

US DST starts tomorrow, 10 Mar

RalfJ (Mar 09 2019 at 20:27, on Zulip):

ah so it's again those two weeks where the offset to European timezones is different

Matthew Jasper (Mar 09 2019 at 20:31, on Zulip):

It's three weeks :(

gnzlbg (Mar 14 2019 at 15:43, on Zulip):

what time is this in UTC ?

gnzlbg (Mar 14 2019 at 15:43, on Zulip):

20:00 ?

gnzlbg (Mar 14 2019 at 15:43, on Zulip):

we need a time-zones bot

RalfJ (Mar 14 2019 at 15:43, on Zulip):

it's 20:00 German time (UTC+1)

RalfJ (Mar 14 2019 at 15:43, on Zulip):

I think^^

RalfJ (Mar 14 2019 at 15:44, on Zulip):

so 19:00 UTC. would have been helpful to put that somewhere in the announcements, in particular considering that it happens during the time when the US is shifted by 1 compared to Europe

gnzlbg (Mar 14 2019 at 15:44, on Zulip):

I won't make it because of captain marvel

avadacatavra (Mar 14 2019 at 15:45, on Zulip):

this is a very good reason

gnzlbg (Mar 14 2019 at 15:46, on Zulip):

I'll try to get the book rendering before the meeting online, so that people can easily take a look at it

nikomatsakis (Mar 14 2019 at 15:50, on Zulip):

so 19:00 UTC. would have been helpful to put that somewhere in the announcements, in particular considering that it happens during the time when the US is shifted by 1 compared to Europe

Good point, I will edit the announcement.

Last update: Nov 19 2019 at 18:20UTC