add update from the polonius wg

[lqd]

This post is an Inside Rust update from the polonius working group describing our roadmap and milestones, and recent progress. This was co-written with @nikomatsakis.

Feedback is very much appreciated.

[jackh726]

Probably better to capitalize Polonius consistently, but not a huge deal I guess if its consistent.

[lqd]

We can consistently capitalize it here if we want, sure. I've pushed a commit to address this. (We often don't in practice, e.g. see Niko's last post).

[jackh726]

@lqd did you want to wait until the 29th to land this? Given this is just inside rust, I'm happy to land whenever.

[lqd]

@jackh726 Not particularly, I only picked "a week later" to allow time for review. Happy to change it to whichever date is preferred.

[jackh726]

Let's aim for tomorrow, Monday!

[lqd]

Sounds good. I pushed a commit to update the publication date to the 25th.

[lqd]

Now that lcnr's comment is resolved, I updated the publication date to today and squashed everything.