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

Topic: meeting 2018-11-08


RalfJ (Nov 08 2018 at 15:19, on Zulip):

So we have a meeting tonight, right? Did we change the time? IIRC there was a proposal to move it 15min earlier.

nikomatsakis (Nov 08 2018 at 15:48, on Zulip):

Good question, I was just talking to @avadacatavra about that

nikomatsakis (Nov 08 2018 at 15:48, on Zulip):

I am at SPLASH and it's hard for me to attend

nikomatsakis (Nov 08 2018 at 15:49, on Zulip):

I think @avadacatavra is also unavailable :)

nikomatsakis (Nov 08 2018 at 15:49, on Zulip):

does someone else want to run? we could perhaps defer to next week

avadacatavra (Nov 08 2018 at 15:49, on Zulip):

No meeting today because niko and I have failed at our calendars

avadacatavra (Nov 08 2018 at 15:49, on Zulip):

Unless someone else wants to :wink:

RalfJ (Nov 08 2018 at 15:51, on Zulip):

well, without the two of you...

RalfJ (Nov 08 2018 at 15:52, on Zulip):

we could shift by 1 week, yeah

avadacatavra (Nov 08 2018 at 16:06, on Zulip):

I’ll work on being more proactive with meetings. How do we want to communicate when meeting plans are changing?

RalfJ (Nov 08 2018 at 16:08, on Zulip):

put it into a topic here on Zulip?

RalfJ (Nov 08 2018 at 16:11, on Zulip):

I think it sends emails when you ping people that are offline

RalfJ (Nov 08 2018 at 16:11, on Zulip):

it does for me, anyway

Alan Jeffrey (Nov 08 2018 at 16:17, on Zulip):

Ah, no meeting today.

nikomatsakis (Nov 08 2018 at 16:18, on Zulip):

we should probably make a "zulip" group so we can readily ping everyone

nikomatsakis (Nov 08 2018 at 16:18, on Zulip):

I'd love some sort of way for people to add themselves

nikomatsakis (Nov 08 2018 at 16:18, on Zulip):

I forget if I made one .. seems like no

RalfJ (Nov 08 2018 at 16:33, on Zulip):

there are Zulip groups?

RalfJ (Nov 08 2018 at 16:33, on Zulip):

yes that sounds like a great idea :D didn't know that's a thing

DPC (Nov 08 2018 at 18:09, on Zulip):

can't you use something ike @channel or @here if they have it here to ping everyone?

Gankro (Nov 08 2018 at 18:11, on Zulip):

<hacker voice> im in

Nicole Mazzuca (Nov 08 2018 at 18:11, on Zulip):

hi @Alexis Beingessner

RalfJ (Nov 08 2018 at 18:18, on Zulip):

can't you use something ike @channel or @here if they have it here to ping everyone?

probably can, but I assume there are plenty people subscribed here that do not necessarily want to get pinged for meeting stuff

DPC (Nov 08 2018 at 18:31, on Zulip):

ah you wanted a meeting-only group. Makes sense :)

Last update: Nov 20 2019 at 13:45UTC