Stream: t-compiler/meetings

Topic: [weekly meeting] 2020-05-14 #54818


Santiago Pastorino (May 13 2020 at 18:59, on Zulip):

Hi @T-compiler/meeting; the triage meeting will be starting in ~ 19 hours

Santiago Pastorino (May 13 2020 at 19:00, on Zulip):

The @WG-prioritization will be doing pre-triage in #t-compiler/wg-prioritization > pre-meeting triage 2020-05-14 #54818

Santiago Pastorino (May 13 2020 at 19:01, on Zulip):

During pre-triage we will be preparing the meeting agenda

Santiago Pastorino (May 13 2020 at 19:01, on Zulip):

We will have checkin just from @WG-traits

Santiago Pastorino (May 13 2020 at 19:02, on Zulip):

@nikomatsakis and/or @Jack Huey do you have something you want to share about @WG-traits?

nikomatsakis (May 13 2020 at 19:02, on Zulip):

yeah

nikomatsakis (May 13 2020 at 19:03, on Zulip):

we're just wrapping a sprint and have a lot to report, actually

Santiago Pastorino (May 13 2020 at 19:05, on Zulip):

:+1:

Santiago Pastorino (May 13 2020 at 19:05, on Zulip):

@pnkfelix should we move this starting now to #t-compiler/meetings or should it still live here?

pnkfelix (May 13 2020 at 19:36, on Zulip):

oh. It should probably move to #t-compiler/meetings if possible

pnkfelix (May 13 2020 at 19:36, on Zulip):

if you've already posted links to this topic though, then don't bother.

Notification Bot (May 13 2020 at 20:00, on Zulip):

This topic was moved here from #t-compiler > weekly meeting 2020-05-14 #54818 by Santiago Pastorino

Santiago Pastorino (May 13 2020 at 20:00, on Zulip):

pnkfelix said:

oh. It should probably move to #t-compiler/meetings if possible

done

simulacrum (May 13 2020 at 20:01, on Zulip):

wait you can move topics between streams...

simulacrum (May 13 2020 at 20:01, on Zulip):

oh I've wanted this forever now

simulacrum (May 13 2020 at 20:01, on Zulip):

:tada: super happy

Santiago Pastorino (May 14 2020 at 13:05, on Zulip):

Hi @T-compiler/meeting, triage meeting will be starting 55 minutes and in this stream

Santiago Pastorino (May 14 2020 at 13:06, on Zulip):

Check out the meeting agenda

pnkfelix (May 14 2020 at 14:04, on Zulip):

Hi @T-compiler/meeting! Add a :wave: emoji to show you're here :)

LeSeulArtichaut (May 14 2020 at 14:05, on Zulip):

I think Zulip is having issues right now :confused:

pnkfelix (May 14 2020 at 14:06, on Zulip):

there may be some zulip connectivity issues right now, and that may disrupt the flow of the meeting. At least, I am having regular "failure to connect" notices from the app

simulacrum (May 14 2020 at 14:07, on Zulip):

hm seems to be working fine for me?

pnkfelix (May 14 2020 at 14:07, on Zulip):

I will attempt to press on, but if the connectivity issues persist then maybe we will cancel. :sad:

simulacrum (May 14 2020 at 14:07, on Zulip):

We should ping in the main stream though

pnkfelix (May 14 2020 at 14:08, on Zulip):

where is the main stream? You mean #zulip or #zulip-admin ?

simulacrum (May 14 2020 at 14:09, on Zulip):

oh google cloud was down earlier I think, probably the reason https://status.cloud.google.com/

pnkfelix (May 14 2020 at 14:09, on Zulip):

The session I am connected via my web browser directly is at least getting the messages from @simulacrum in here. My standalone app hasn't seen those yet

nikomatsakis (May 14 2020 at 14:09, on Zulip):

I think @simulacrum probably meant the zulip zulip :)

simulacrum (May 14 2020 at 14:10, on Zulip):

I meant #t-compiler

pnkfelix (May 14 2020 at 14:11, on Zulip):

So is this just me then, or are other people seeing problems with Zulip?

pnkfelix (May 14 2020 at 14:11, on Zulip):

(right now I mean, not just in the recent past)

simulacrum (May 14 2020 at 14:11, on Zulip):

no, it's stalling out now I think as well

simulacrum (May 14 2020 at 14:11, on Zulip):

at least I keep seeing messages appear above mine and such

pnkfelix (May 14 2020 at 14:12, on Zulip):

hmmm

nikomatsakis (May 14 2020 at 14:12, on Zulip):

( It does seem to be working for me though )

pnkfelix (May 14 2020 at 14:12, on Zulip):

manual reloads (in web browser and in app) seem to bring conversation up to date (including the past messages)

pnkfelix (May 14 2020 at 14:12, on Zulip):

@Santiago Pastorino if you are not having these problems, maybe you can drive

Santiago Pastorino (May 14 2020 at 14:13, on Zulip):

sure

Santiago Pastorino (May 14 2020 at 14:13, on Zulip):

having some kind of issues but let me try

pnkfelix (May 14 2020 at 14:13, on Zulip):

well no the idea was that someone with no issues should drive

simulacrum (May 14 2020 at 14:13, on Zulip):

yes manual reloading does seem to help

Wesley Wiser (May 14 2020 at 14:13, on Zulip):

I was also having issues but it seems ok now.

pnkfelix (May 14 2020 at 14:14, on Zulip):

if everyone's having issues then I would propose we cancel

Santiago Pastorino (May 14 2020 at 14:14, on Zulip):

let's start off with 5 minutes for ...

Santiago Pastorino (May 14 2020 at 14:14, on Zulip):

Announcements

Santiago Pastorino (May 14 2020 at 14:14, on Zulip):
simulacrum (May 14 2020 at 14:15, on Zulip):

I think I'm still having issues, I need to refresh to see new messages..

simulacrum (May 14 2020 at 14:15, on Zulip):

(or maybe no one is saying anything, not sure. hard to tell)

pnkfelix (May 14 2020 at 14:15, on Zulip):

I am probably going to second the Decentrailze queries MCP #277

pnkfelix (May 14 2020 at 14:15, on Zulip):

I just want to review the linked conversation more carefully

Santiago Pastorino (May 14 2020 at 14:16, on Zulip):

it took me literally 2 minutes to see the chunk I've pasted

nikomatsakis (May 14 2020 at 14:17, on Zulip):

ok woah

nikomatsakis (May 14 2020 at 14:17, on Zulip):

I thought I was having no issues but a bunch of messges just appeared :)

pnkfelix (May 14 2020 at 14:17, on Zulip):

okay given that a large portion of participants may be having zulip issues, I propose that we either cancel the meeting or at least attempt to refocus it on the highest priority most-pressing items

Santiago Pastorino (May 14 2020 at 14:18, on Zulip):

yeah, the same is happening to me

pnkfelix (May 14 2020 at 14:18, on Zulip):

@Santiago Pastorino ^

nikomatsakis (May 14 2020 at 14:18, on Zulip):

cancel seems ok

Pietro Albini (May 14 2020 at 14:18, on Zulip):

by the way

Santiago Pastorino (May 14 2020 at 14:18, on Zulip):

yeah, I'm fine with whatever you prefer to do

Pietro Albini (May 14 2020 at 14:19, on Zulip):

a student in my class at university is working on a thesis to improve the categorization of regressions in crater reports

Pietro Albini (May 14 2020 at 14:19, on Zulip):

for example, by grouping regressions by error message or the root cause automatically

Pietro Albini (May 14 2020 at 14:20, on Zulip):

he'd like to ask y'all what do you need from the crater report, to better focus his improvements

Pietro Albini (May 14 2020 at 14:20, on Zulip):

maybe we can schedule a brief call with interested parties to share your "wishlist" with him?

simulacrum (May 14 2020 at 14:21, on Zulip):

I'd suggest we cancel

simulacrum (May 14 2020 at 14:21, on Zulip):

I don't think there's anything hugely critical

pnkfelix (May 14 2020 at 14:22, on Zulip):

@T-compiler/meeting okay we are canceling today's meeting due to zulip issues

Santiago Pastorino (May 14 2020 at 14:22, on Zulip):

yeah, I'd say let's cancel, it's almost impossible and we're already 22 minutes in

nikomatsakis (May 14 2020 at 14:38, on Zulip):

Pietro Albini said:

maybe we can schedule a brief call with interested parties to share your "wishlist" with him?

I'd be interested in this for sure!

nikomatsakis (May 14 2020 at 14:38, on Zulip):

either a call or a chat on Zulip

nikomatsakis (May 14 2020 at 14:38, on Zulip):

The latter might be easier

Pietro Albini (May 14 2020 at 14:45, on Zulip):

ok I'll let him know!

Last update: Nov 25 2020 at 02:15UTC