Stream: project-ffi-unwind

Topic: Next steps


BatmanAoD (Kyle Strand) (Mar 04 2020 at 20:42, on Zulip):

@nikomatsakis Sorry about the confusion regarding the meeting on Monday. How do you suggest we take our next steps? Should we attempt to schedule another meeting with the lang team?

nikomatsakis (Mar 05 2020 at 15:02, on Zulip):

@BatmanAoD (Kyle Strand) my bad, too

nikomatsakis (Mar 05 2020 at 15:02, on Zulip):

yeah, we ought to reschedule

nikomatsakis (Mar 05 2020 at 15:02, on Zulip):

I am behind on scheduling meetings this month, it's been "a week"

nikomatsakis (Mar 05 2020 at 15:02, on Zulip):

What were the weeks that worked well for unwind folks?

Amanieu (Mar 05 2020 at 16:17, on Zulip):

I'm away next week

Amanieu (Mar 05 2020 at 16:18, on Zulip):

@nikomatsakis We do have some notes from the meeting though: https://hackmd.io/rG_5ksyCTuKsjks5cHONZQ?view

Amanieu (Mar 05 2020 at 16:19, on Zulip):

Basically we decided that proposal 2 was strictly superior to proposal 1 (1&2 are very similar).

Amanieu (Mar 05 2020 at 16:19, on Zulip):

So there's only 2 & 3 left now.

BatmanAoD (Kyle Strand) (Mar 05 2020 at 16:20, on Zulip):

@nikomatsakis Thanks. I think we can just look back at the Doodle poll again: https://doodle.com/poll/d9xevh43spf6rx8n

Both the 16th and the 23rd would appear to work. @centril @acfoltzer has your availability changed since you filled in the poll?

acfoltzer (Mar 05 2020 at 16:21, on Zulip):

Still good for me!

BatmanAoD (Kyle Strand) (Mar 05 2020 at 17:52, on Zulip):

@nikomatsakis The lang team already has that time reserved, correct? If so I think we can assume that Centril can make it on the 16th and just go ahead and schedule that as the new time.

BatmanAoD (Kyle Strand) (Mar 05 2020 at 17:52, on Zulip):

Also, should we publish another blog post, providing the new date and removing the proposal-1 entries from the table?

Amanieu (Mar 05 2020 at 17:54, on Zulip):

I think we'll probably have a more productive meeting if we keep it small.

nikomatsakis (Mar 05 2020 at 18:38, on Zulip):

the 16th is good I think

nikomatsakis (Mar 05 2020 at 18:38, on Zulip):

let's do it

nikomatsakis (Mar 05 2020 at 18:38, on Zulip):

I'll review the notes, @Amanieu

nikomatsakis (Mar 05 2020 at 18:38, on Zulip):

I don't remember what is 1, 2, and 3

nikomatsakis (Mar 05 2020 at 18:38, on Zulip):

We won't have @Josh Triplett I think

nikomatsakis (Mar 05 2020 at 18:38, on Zulip):

but that's inevitable

BatmanAoD (Kyle Strand) (Mar 05 2020 at 18:38, on Zulip):

On the 16th?

nikomatsakis (Mar 05 2020 at 18:39, on Zulip):

since they're away for 4 weeks or something on vacation

BatmanAoD (Kyle Strand) (Mar 05 2020 at 18:39, on Zulip):

Ah

BatmanAoD (Kyle Strand) (Mar 05 2020 at 18:39, on Zulip):

Okay, I was slightly worried when you said "inevitable"!

BatmanAoD (Kyle Strand) (Mar 05 2020 at 18:40, on Zulip):

Niko, since you created the Zulip poll, can you "finalize" it?

nikomatsakis (Mar 05 2020 at 18:43, on Zulip):

Yes

BatmanAoD (Kyle Strand) (Mar 05 2020 at 18:55, on Zulip):

Thanks.

nikomatsakis (Mar 05 2020 at 18:57, on Zulip):

I'll post an announcement too

nikomatsakis (Mar 05 2020 at 18:57, on Zulip):

I'm just trying to decide if we should have any other lang-team meetings

nikomatsakis (Mar 05 2020 at 18:57, on Zulip):

full disclosure, I'm feeling a bit tired this month and lacking in enthusiasm :)

BatmanAoD (Kyle Strand) (Mar 05 2020 at 19:03, on Zulip):

Sorry to hear it; hope the rest of the month goes better for you! Or at least that April goes better...

BatmanAoD (Kyle Strand) (Mar 05 2020 at 19:06, on Zulip):

nikomatsakis said:

I'll post an announcement too

In #t-lang?

Last update: Jun 05 2020 at 23:20UTC