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 :)
Yay, my work on the videos was worth it!
Totally :D
(the next meeting might be in 8 days rather than tomorrow, Niko being unavailable due to Mozilla All Hands)
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
More time for me to get more familiar with the basics :grinning_face_with_smiling_eyes:
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 :)