Woooo--the Unsafe Code Guidelines working group is officially rebooted! See the zulip log for all of the gory details.
The meetings are intended to be mostly administrative and not focus on technical details, but rather evaluate the WG progress and see where we should focus our efforts.
- We'll be moving meetings to (roughly) every 2 weeks on Thursdays at 1515 UTC (ping @nikomatsakis if you want an official calendar invite)
- Our very first active discussion will be...Data structure representation layout!
- The "validity invariant" discussion will be left as future work
- Let's make a glossary to get everyone on the same terminology page
Go discuss!
- Define "invalid ranges" for values we require currently and those we want to guarantee
- Which Rust types have defined binary representations
- If/when can you reinterpret a type?
Active topics are divided into issues. Keeping the discussions centralized in these issues should help us keep the discussion open and asynchronous. We're happy to reevaluate this approach--reach out to @avadacatavra or @nikomatsakis in Zulip if you have comments/concerns.
- Reach a consensus on some representations and work towards a writeup on them (hopefully)
- Identify any areas where there's a less obvious answer and what the options are
See you in the GH discussion!