Stream: t-compiler/wg-polonius

Topic: Wantz to get involved

Moritz Vetter (Jan 23 2020 at 14:16, on Zulip):

Hey Polonius-WG!

I saw Niko's talk at the Rust Belt Conference when it was released in Youtube and followed his invitation to get involved... so here I am!
I am a Mathematician so I was attracted by the algebraic nature of how Polonius works. I am quite new (< 3 Months) to Rust though but eager to learn and to get my hands rusty. So I'll work myself into the topic some more and would love to attend the next group meeting :)

Jake Goulding (Jan 23 2020 at 20:23, on Zulip):

Yay, my work on the videos was worth it!

Moritz Vetter (Jan 24 2020 at 15:44, on Zulip):

Totally :D

lqd (Jan 27 2020 at 17:20, on Zulip):

(the next meeting might be in 8 days rather than tomorrow, Niko being unavailable due to Mozilla All Hands)

Moritz Vetter (Jan 27 2020 at 19:13, on Zulip):

I see. BTW, the link to the event calendar on https://rust-lang.github.io/compiler-team/working-groups/polonius/ is dead. I was able to find the calendar on a different page. I would update myself if possible, but cannot find a repo towards where I would suggest a PR

Moritz Vetter (Jan 27 2020 at 19:23, on Zulip):

More time for me to get more familiar with the basics :grinning_face_with_smiling_eyes:

lqd (Jan 27 2020 at 20:03, on Zulip):

ah yes the calendar link should probably point to somewhere around https://rust-lang.github.io/compiler-team/#meeting-calendar and that specific file is https://github.com/rust-lang/compiler-team/blob/master/content/working-groups/polonius/_index.md :)

Last update: Jan 22 2021 at 13:30UTC