Stream: t-compiler/wg-polonius

Topic: hello

Welcome Bot (Feb 15 2019 at 14:22, on Zulip):

Welcome to #t-compiler/wg-polonius.

Description: Experimenting with Polonius, an alternative borrow checker formulation.

nikomatsakis (Feb 15 2019 at 14:23, on Zulip):

Hmm I thought that I subscribed all of #t-compiler/wg-nll to this stream, but I might have made a mistake...

Keith Yeung (Feb 15 2019 at 21:56, on Zulip):

compulsory :frog:

lokalmatador (Apr 21 2019 at 17:37, on Zulip):

hi! I recently stumbled over @nikomatsakis blog post ( and as of looking for a new challenge after leaving academia after more than 10 years (Comp Sci) I decided that joining the Rust compiler team could be it. I had a look at the different WGs available (thanks to the hints t-compiler/learning-wg) and finally ended up here as of considering the idea of Polonius quite interesting but also as of a personal interest in type systems and programming languages as well as LP (Prolog and ASP so far).

In terms of actual contributions, I think on the code side I could start out with having a look (and hopefully fixing) issues from github - this probably also helps me better learning the existing code base. however, if necessary I'd be happy to also help out on the organisational side - I think this should also allow me to grasp a better overall picture of the WG and its workings/duties

lokalmatador (Apr 21 2019 at 17:38, on Zulip):

looking forward to hear back from anyone!

lokalmatador (Apr 21 2019 at 17:38, on Zulip):

oh yeah, and I'm from Austria and could invest at least one full day per week and if necessary up to 2 and a half

nikomatsakis (Apr 22 2019 at 15:42, on Zulip):

:wave: Hi @lokalmatador =) I'm kind of busy with a few other things today but I would say great to have you. We have a sync meeting tomorrow (as you can see on the compiler calendar) so we can chat a bit more then, if not before then.

lokalmatador (Apr 22 2019 at 16:29, on Zulip):

Great, I'll be there.

lqd (Apr 23 2019 at 19:55, on Zulip):

@lokalmatador oh btw, niko had a couple blogposts which were the catalysts for the polonius effort, they also have some interesting context

lqd (Apr 23 2019 at 19:55, on Zulip):

I don't know if you've seen them already ?

lokalmatador (Apr 23 2019 at 19:57, on Zulip):

yup, they actually led me here :grinning_face_with_smiling_eyes:

lqd (Apr 23 2019 at 19:57, on Zulip):

1) the original 2) more region errors 3) higher ranked issues probably something more to be done in chalk I guess

lqd (Apr 23 2019 at 19:58, on Zulip):

hehe ok :)

lqd (Apr 24 2019 at 11:02, on Zulip):

I also meant to mention that with an interest/background in logic programming, chalk and wg-traits would likely also be up your alley @lokalmatador cc @nikomatsakis

lokalmatador (Apr 24 2019 at 11:37, on Zulip):

I see. Let me have a look tonite!

Last update: Jun 20 2021 at 00:45UTC