Potential groups for recruitment and / or cross-pollination

[felix91gr]

To start the list (and perhaps the list may end up with just this one item, that's fine, but for now it's just one item):

• The people who write the Unsafe Code Guidelines might be interested in helping us. I had forgotten about this, but the authors are exactly the Operational Semantics group.

The repo and other documents mentioned in their README are archives of the consensus they've reached, which might also be a useful resource.

[PLeVasseur]

Adding t-spec as another possibility of folks that have thought deeply about Rust and written about it.