Hey all, I saw some pings from last meeting regarding the idea of a blog post. Quick update: I floated the idea of making a "team blog" on discord and people seemed into it. I am going to see what I can do to make it happen. I think this would be the ideal venue for such a post.
@nikomatsakis Is there anything the WG can do to help with that?