Recapping this week's Mozilla all-hands

[RalfJung]

@aturon

We walked through the current unsafe guidelines approach, which many saw here for the first time -- and which engendered an enthusiastic response. Thanks, @ralfjung, for the fantastic presentation!

You can now find more on this at https://internals.rust-lang.org/t/types-as-contracts/5562.