Stream: t-compiler/wg-polonius

Topic: meeting 2019.10.29


lqd (Oct 29 2019 at 19:00, on Zulip):

ah right, @Albin Stjerna with our DST I'm not sure either when is the meeting, now or in an hour @nikomatsakis ? in any case I myself don't have a lot to say this time, maybe that can allow for Niko to catch up on the previous weeks questions/PRs ?

nikomatsakis (Oct 29 2019 at 19:00, on Zulip):

:wave: that sounds reasonable

nikomatsakis (Oct 29 2019 at 19:00, on Zulip):

I've been swamped ;)

lqd (Oct 29 2019 at 19:01, on Zulip):

you don't say :)

lqd (Oct 29 2019 at 19:01, on Zulip):

is it supposed to be now ?

lqd (Oct 29 2019 at 19:02, on Zulip):

(likely, as it used to at 9PM and it's now 8PM with the 1hour switch)

nikomatsakis (Oct 29 2019 at 19:02, on Zulip):

I believe so

nikomatsakis (Oct 29 2019 at 19:02, on Zulip):

fwiw next week I think we're aligned again

nikomatsakis (Oct 29 2019 at 19:02, on Zulip):

I've been thinking about that idea of a polonius week :)

lqd (Oct 29 2019 at 19:03, on Zulip):

(just in case you haven't seen it I've mentioned in the other topic I'll be away at rustfest next week, and might miss the next couple meetings because of that)

nikomatsakis (Oct 29 2019 at 19:04, on Zulip):

ok, Id idn't see that yet, but I will go catch up on topics

nikomatsakis (Oct 29 2019 at 19:04, on Zulip):

I'm thinking about trying to pick a date for a polonius focus week -- probably early dec -- and then coming up with some list of tasks that, if I can get them done, justify such a luxurious thing

lqd (Oct 29 2019 at 19:05, on Zulip):

some of list of tasks to achieve during the polonius week ?

lqd (Oct 29 2019 at 19:05, on Zulip):

which would be worthwhile enough to justify said week heh :)

nikomatsakis (Oct 29 2019 at 19:07, on Zulip):

let me ask this question -- if I were going to try and focus largly on polonius, would Nov 18-22 or Dec 2-6 be better... the week of Nov 25-29 I'll be Iceland :frosty: :snowflake:

lqd (Oct 29 2019 at 19:09, on Zulip):

I myself could make either work, what about @Albin Stjerna ? @Matthew Jasper I'd assume it would be hard for you ?

lqd (Oct 29 2019 at 19:11, on Zulip):

(they might reply asynchronously :)

nikomatsakis (Oct 29 2019 at 19:11, on Zulip):

yep

nikomatsakis (Oct 29 2019 at 19:11, on Zulip):

I'll try to catch up a bit

Albin Stjerna (Oct 29 2019 at 19:18, on Zulip):

[checking my calendar...]

nikomatsakis (Oct 29 2019 at 19:23, on Zulip):

so the downside of Dec would be that I am just getting back from vacation. Maybe Nov is wiser.

nikomatsakis (Oct 29 2019 at 19:23, on Zulip):

Getting back from vacation usually means a lot of accumulated things to catch up on :)

lqd (Oct 29 2019 at 19:26, on Zulip):

let's pencil in november then, at least until we know more about whether Albin and Matthew can/want to participate

Albin Stjerna (Oct 29 2019 at 19:27, on Zulip):

Sounds good!

Albin Stjerna (Oct 29 2019 at 19:28, on Zulip):

I probably can't spend 8 hours a day, but I'll see how much I can sneak from my PhD studies :)

Albin Stjerna (Oct 29 2019 at 19:28, on Zulip):

I'll make sure to be able to do SOMETHING every day at least

nikomatsakis (Oct 29 2019 at 19:30, on Zulip):

I probably can't spend 8 hours a day, but I'll see how much I can sneak from my PhD studies :)

heh probably I can't either but I"m going to think hard about what I can do

nikomatsakis (Oct 29 2019 at 19:39, on Zulip):

Here's what I think we should do:

nikomatsakis (Oct 29 2019 at 19:40, on Zulip):

I think we should try to schedule a 1hr meeting (but when!) to "pre-plan" goals for work week -- maybe we can extend this meeting next wek?

nikomatsakis (Oct 29 2019 at 19:40, on Zulip):

one thing I think would be helpful would be just kind of enumerating "all the in-flight things"

nikomatsakis (Oct 29 2019 at 19:40, on Zulip):

I sort of feel like we did this last time though

nikomatsakis (Oct 29 2019 at 19:40, on Zulip):

so feel free to point me to a list

Albin Stjerna (Oct 29 2019 at 19:41, on Zulip):

Agreed!

lqd (Oct 29 2019 at 19:44, on Zulip):

ok I'll try to make myself available next week, and we have the beginnings of such list of in-flight things, let me get you the link

lqd (Oct 29 2019 at 19:46, on Zulip):

it's https://hackmd.io/wGwGGRCKStiWBq9voP4e2A and I'll update it by next week so that it contains all we've done in the last 2 months

Albin Stjerna (Oct 29 2019 at 19:48, on Zulip):

Does this mean the meeting is over now?

lqd (Oct 29 2019 at 19:48, on Zulip):

niko has likely flown away to greener pastures :)

lqd (Oct 29 2019 at 19:49, on Zulip):

so let's say that it is

lqd (Oct 29 2019 at 19:50, on Zulip):

:wave:

lqd (Oct 29 2019 at 19:54, on Zulip):

(I didn't have a lot of time for polonius this week as I investigated niko's universes PR, and did a couple of rustc bisections, and will not have a lot this week either, but will get the list updated for sure)

nikomatsakis (Oct 29 2019 at 19:54, on Zulip):

heh sorry got distracted :)

nikomatsakis (Oct 29 2019 at 19:55, on Zulip):

one thing I did also want to mention

nikomatsakis (Oct 29 2019 at 19:55, on Zulip):

I have some pretty concrete ideas about how traits + region checking + polonius should interact

nikomatsakis (Oct 29 2019 at 19:55, on Zulip):

that I have had no time to explore

nikomatsakis (Oct 29 2019 at 19:55, on Zulip):

we may or may not talk about them in next week's traits design meeting

nikomatsakis (Oct 29 2019 at 19:55, on Zulip):

but if not we should consider scheduling a one-off discussion on the topic, and/or I can work on blog posts, etc

lqd (Oct 29 2019 at 19:57, on Zulip):

I was going to mention this earlier actually, since it links both wg-traits and wg-polonius in a sense, esp if that implies polonius requiring chalk in rustc

lqd (Oct 29 2019 at 19:58, on Zulip):

and this work is arguably worthwhile for a focus week :p

nikomatsakis (Oct 29 2019 at 19:59, on Zulip):

yes!

nikomatsakis (Oct 29 2019 at 19:59, on Zulip):

interesting

lqd (Oct 29 2019 at 20:00, on Zulip):

(I also can't help but think about XSB, the datalog engine using a SLG solver :p)

nikomatsakis (Oct 29 2019 at 20:01, on Zulip):

Is XSB a datalog engine?

nikomatsakis (Oct 29 2019 at 20:01, on Zulip):

I just thought it was a general logic engine

nikomatsakis (Oct 29 2019 at 20:01, on Zulip):

Maybe I never looked that closely :)

lqd (Oct 29 2019 at 20:01, on Zulip):

yeah maybe general

nikomatsakis (Oct 29 2019 at 20:01, on Zulip):

I tried e-mailing the author a time or two but we never arranged a time to really talk

lqd (Oct 29 2019 at 20:02, on Zulip):

I have read a couple of "totally unbiased I promise" papers of theirs where they boast better perf than logicblox with leapfrog triejoin and Demand Transformation (Frank has forever messed with my recollection of the join's name...)

Last update: Nov 15 2019 at 20:00UTC