Stream: t-compiler/wg-meta

Topic: meeting 2019.11.14


Santiago Pastorino (Nov 14 2019 at 19:01, on Zulip):

@T-compiler/WG-meta :wave:

Santiago Pastorino (Nov 14 2019 at 19:01, on Zulip):

@nikomatsakis is there something to discuss this week?

nikomatsakis (Nov 14 2019 at 19:02, on Zulip):

Good question. I think the answer is probably no, but I would like to maybe make some progress on the other ICE-breaker group ideas

nikomatsakis (Nov 14 2019 at 19:02, on Zulip):

I've not really checked in on how effective the LLVM one is, btw, I did see @pnkfelix tagging a few issues with it

nikomatsakis (Nov 14 2019 at 19:02, on Zulip):

But I think a "bisection and minimization" group would be amazing

nikomatsakis (Nov 14 2019 at 19:02, on Zulip):

Which reminds me, @Santiago Pastorino, what is the state of cargo bisect-rustc?

Santiago Pastorino (Nov 14 2019 at 19:03, on Zulip):

so about LLVM, I saw 2 issues tagged by pnkfelix

Santiago Pastorino (Nov 14 2019 at 19:03, on Zulip):

we could take a look to those to see if people got involved and how

Santiago Pastorino (Nov 14 2019 at 19:03, on Zulip):

about cargo bisect-rustc I'd say the tool is ready

Santiago Pastorino (Nov 14 2019 at 19:03, on Zulip):

there's 2 minor things on my todo list

Santiago Pastorino (Nov 14 2019 at 19:04, on Zulip):

one if fixing a bit the README, which I literally just have to push because it's already committed

Santiago Pastorino (Nov 14 2019 at 19:04, on Zulip):

the major pending thing to do is to fix the report message

Santiago Pastorino (Nov 14 2019 at 19:04, on Zulip):

remember that you layed out a format you wanted the tool to have?

nikomatsakis (Nov 14 2019 at 19:04, on Zulip):

what do you think about writing an Inside Rust blog post about it?

Santiago Pastorino (Nov 14 2019 at 19:04, on Zulip):

well need to impl that :)

nikomatsakis (Nov 14 2019 at 19:04, on Zulip):

maybe not worth it

Santiago Pastorino (Nov 14 2019 at 19:04, on Zulip):

what do you think about writing an Inside Rust blog post about it?

definitely!

nikomatsakis (Nov 14 2019 at 19:05, on Zulip):

cool :)

Santiago Pastorino (Nov 14 2019 at 19:05, on Zulip):

well maybe could be part of something bigger :)

nikomatsakis (Nov 14 2019 at 19:05, on Zulip):

actually I think it's good as is

nikomatsakis (Nov 14 2019 at 19:05, on Zulip):

that is, I think it would make a nice blog post

Santiago Pastorino (Nov 14 2019 at 19:05, on Zulip):

well maybe could be part of something bigger :)

like a bisection and minimization

nikomatsakis (Nov 14 2019 at 19:05, on Zulip):

then we could write a follow-up in a bit announcing the bisection+reduction ICE-breakers (need a better name)

nikomatsakis (Nov 14 2019 at 19:05, on Zulip):

and reference it

Santiago Pastorino (Nov 14 2019 at 19:05, on Zulip):

yeah that works

Santiago Pastorino (Nov 14 2019 at 19:06, on Zulip):

cool adding this to my todo list

Santiago Pastorino (Nov 14 2019 at 19:06, on Zulip):

maybe the best thing is ... fix the report message, push the tutorial, release a new version and write the blog post

nikomatsakis (Nov 14 2019 at 19:07, on Zulip):

yep

nikomatsakis (Nov 14 2019 at 19:07, on Zulip):

that would be great

nikomatsakis (Nov 14 2019 at 19:07, on Zulip):

I think the "report message" doesn't have to be anything too fancy

centril (Nov 14 2019 at 22:00, on Zulip):

@nikomatsakis "ICE-shrinkers"

Pietro Albini (Nov 14 2019 at 22:34, on Zulip):

"global-warming"

Last update: Dec 12 2019 at 01:05UTC