Welcome to #t-compiler/wg-polonius.
Description: Experimenting with Polonius, an alternative borrow checker formulation.
Hmm I thought that I subscribed all of #t-compiler/wg-nll to this stream, but I might have made a mistake...
hi! I recently stumbled over @nikomatsakis blog post (http://smallcultfollowing.com/babysteps/blog/2019/04/15/more-than-coders/) 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
looking forward to hear back from anyone!
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
: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.
Great, I'll be there.
@lokalmatador oh btw, niko had a couple blogposts which were the catalysts for the polonius effort, they also have some interesting context
I don't know if you've seen them already ?
yup, they actually led me here :grinning_face_with_smiling_eyes:
hehe ok :)
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
I see. Let me have a look tonite!