Skip to content

Files

Latest commit

034c55a · Aug 31, 2018

History

History
32 lines (21 loc) · 1.82 KB

20180308.md

File metadata and controls

32 lines (21 loc) · 1.82 KB

Meeting 0: 30 Aug 2018

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.

Takeaways

  • 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

What's next

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.

Goals

  • 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!