Skip to content

Commit 8a885e8

Browse files
authored
Merge pull request #18 from avadacatavra/meeting0
added meeting notes
2 parents 64f7fd8 + 804e4a1 commit 8a885e8

File tree

2 files changed

+43
-0
lines changed

2 files changed

+43
-0
lines changed

meeting-notes/20180308.md

+32
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
# Meeting 0: 30 Aug 2018
2+
3+
Woooo--the Unsafe Code Guidelines working group is *officially* rebooted! See the [zulip log](https://rust-lang.zulipchat.com/#narrow/stream/136281-wg-unsafe-code-guidelines/topic/meeting.202018-08-30) for all of the gory details.
4+
5+
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.
6+
7+
## Takeaways
8+
* We'll be moving meetings to (roughly) every 2 weeks on Thursdays at 1515 UTC (ping @nikomatsakis if you want an official calendar invite)
9+
* Our very first **active discussion** will be...Data structure representation layout!
10+
* The "validity invariant" discussion will be left as future work
11+
* Let's make a [glossary] [glossary] to get everyone on the same terminology page
12+
13+
[glossary]: https://github.com/rust-rfcs/unsafe-code-guidelines/blob/master/reference/src/introduction.md
14+
15+
## What's next
16+
17+
Go discuss!
18+
* Define "invalid ranges" for values we require currently and those we want to guarantee
19+
* Which Rust types have defined binary representations
20+
* If/when can you reinterpret a type?
21+
22+
Active topics are divided into [issues][active]. 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][zulip] if you have comments/concerns.
23+
24+
## Goals
25+
26+
* Reach a consensus on some representations and work towards a writeup on them (hopefully)
27+
* Identify any areas where there's a less obvious answer and what the options are
28+
29+
[active]: https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aopen+is%3Aissue+label%3A%22active+discussion+topic%22
30+
[zulip]: https://rust-lang.zulipchat.com/#narrow/stream/136281-wg-unsafe-code-guidelines
31+
32+
See you in the GH discussion!

reference/src/introduction.md

+11
Original file line numberDiff line numberDiff line change
@@ -1 +1,12 @@
11
# Introduction
2+
3+
4+
## Terms
5+
6+
(TODO: definitions)
7+
8+
* *niche*
9+
* *layout*
10+
* *tag*
11+
12+
## Unsafe abstraction

0 commit comments

Comments
 (0)