Stream: t-lang/wg-meta

Topic: initial meeting agenda


nikomatsakis (May 02 2019 at 14:04, on Zulip):

So @boats and I were talking this morning and we sketched an initial agenda for the 1st meta working meeting in this paper document.

nikomatsakis (May 02 2019 at 14:04, on Zulip):

(It doesn't start for some time)

nikomatsakis (May 02 2019 at 16:55, on Zulip):

Initial meeting starting in 5 minutes... zoom link

nikomatsakis (May 02 2019 at 16:58, on Zulip):

BTW I created a @T-lang/WG-meta user group that people can add themselves to

nikomatsakis (May 02 2019 at 16:59, on Zulip):

(To do so, you go to Manage Organization with the gear in the upper corner, I think)

nikomatsakis (May 03 2019 at 09:42, on Zulip):

Hey @T-lang/WG-meta : Posted notes from our initial meeting here. Let me know if you see anything missing or which you think I inaccurately summarized, etc.

nikomatsakis (May 03 2019 at 09:44, on Zulip):

Also I added folks who were at the meeting to @T-lang/WG-meta just now, so if you didn't get the ping about the meeting notes (see :point_up:), you should now. =)

(General reminder that people can add themselves easily.)

Elahn Ientile (May 04 2019 at 00:35, on Zulip):

Regarding, "we need to be able to communicate when we have eliminated options from discussion – and not relitigate those questions." The reasons for elimination need to be clear in order to avoid relitigation, otherwise "aggressive moderation" will feel like ignoring valid feedback.

Providing references for those reasons would also be helpful, along with a statement for newcomers like: "if you think these reasons are invalid, please read the referenced discussion and see if your objections have been addressed previously. If not, we'd love to know why these reasons are invalid, so we can reopen the discussion." And we could link to a guide with some good examples of how to do this with more than subjective feelings.

This "gets people on the same page" and allows them to dig into why options were dismissed, without needing to read the entire original design discussion(s).

Also I added folks who were at the meeting to @T-lang/WG-meta just now, so if you didn't get the ping about the meeting notes (see :point_up:), you should now. =)

(General reminder that people can add themselves easily.)

I can't add myself. ( screenshot )

nikomatsakis (May 06 2019 at 15:43, on Zulip):

Huh, I thought it was user addable. OK.

Last update: Nov 15 2019 at 10:40UTC