Stream: t-compiler/wg-polonius

Topic: Still (reasonably) live


Albin Stjerna (Dec 02 2020 at 13:54, on Zulip):

Hi!

I'd just like to say that I haven't given up on Polonius yet, and plan on making some arrangements to make sure I have a minimum of time to work on at least keeping up to date and doing some forward progress after some things currently in flight land, which will probably happen around February. I've been completely floored by various other stuff, including distance teaching and haven't had time or energy to work on much of anything beyond that.

Domenic Quirl (Dec 02 2020 at 14:55, on Zulip):

Hello! This might be a good opportunity to introduce myself. I just joined this stream a few days ago after reading up more on Polonius following some StackOverflow post where it appeared. Since most of the activity around it seemed some time ago with little that was recent (also no current meeting in the calendar), I was somewhat unsure about the status of the project (which this post clears up a lot), but I've been looking for a fitting way to contribute to Rust for a little while, and I'd be very interested to have this way be through Polonius.

Would You say that with your current situation as You describe you could see this a way to move forward, or is it more like there are certain things _You_ need to get done and getting me up to speed would need additional time which you don't have at the moment? I have some experience with logic-based programming, though more academical than practical, but do have practical experience with Rust outside of rustc.

nikomatsakis (Dec 02 2020 at 14:57, on Zulip):

Hey all

nikomatsakis (Dec 02 2020 at 14:57, on Zulip):

It's worth saying that I too have plans to get back involved but not until the new year for sure

nikomatsakis (Dec 02 2020 at 14:58, on Zulip):

I'd be pretty excited for polonius to get to more of a "rhythm" then, it's going to require I think some adjustment of my responsibilities to make time for that, but I wnat to do that

Jake Goulding (Dec 02 2020 at 15:35, on Zulip):

I will continue to cheerlead from the sidelines.

lqd (Dec 02 2020 at 19:15, on Zulip):

I myself haven't had much time outside of work for a while, even though I'd also be excited to get back to it. (I've managed to do a couple things to try and have something for Niko and Albin to look at when they're back -- looked at cfallin's work on deferred borrows; still tried to look for more ways to make progress on the "precision, scalability, speed: pick 1" front; still nothing much that's newsworthy unfortunately)

lqd (Dec 02 2020 at 19:19, on Zulip):

needless to mention, it's still important to me :)

Last update: Jun 20 2021 at 00:00UTC