Stream: t-lang/wg-unsafe-code-guidelines

Topic: meeting-2019-04-18


RalfJ (Apr 18 2019 at 15:16, on Zulip):

Hi all!

nikomatsakis (Apr 18 2019 at 15:18, on Zulip):

cc @WG-unsafe-code-guidelines

nikomatsakis (Apr 18 2019 at 15:19, on Zulip):

I just realized I never put the "resolve github token stuff" on my to do list

nikomatsakis (Apr 18 2019 at 15:19, on Zulip):

dang it

RalfJ (Apr 18 2019 at 15:20, on Zulip):

I was about to ask ;)

RalfJ (Apr 18 2019 at 15:20, on Zulip):

also I have to admit I didnt yet have the time to read all that BEAM stuff

RalfJ (Apr 18 2019 at 15:20, on Zulip):

I was busy with the Stacked Borrows rewrite^^

RalfJ (Apr 18 2019 at 15:23, on Zulip):

In terms of PRs... https://github.com/rust-lang/unsafe-code-guidelines/pull/118 looks good to merge for me

RalfJ (Apr 18 2019 at 15:24, on Zulip):

(will be right back)

nikomatsakis (Apr 18 2019 at 15:27, on Zulip):

In terms of PRs... https://github.com/rust-lang/unsafe-code-guidelines/pull/118 looks good to merge for me

I agree

nikomatsakis (Apr 18 2019 at 15:28, on Zulip):

Seems like there aren't a lot of folks around today

nikomatsakis (Apr 18 2019 at 15:28, on Zulip):

I will try to resolve these tokens :)

RalfJ (Apr 18 2019 at 15:30, on Zulip):

:+1:

nikomatsakis (Apr 18 2019 at 15:37, on Zulip):

Woah, I just saw the slew of BEAM PRs

nikomatsakis (Apr 18 2019 at 15:38, on Zulip):

I was like "why are we talking about the Erlang VM"

RalfJ (Apr 18 2019 at 15:39, on Zulip):

is that what the erlang thing is called? I had no idea^^

nikomatsakis (Apr 18 2019 at 15:41, on Zulip):

The Erlang VM is called BEAM

nikomatsakis (Apr 18 2019 at 15:41, on Zulip):

https://en.wikipedia.org/wiki/BEAM_(Erlang_virtual_machine)

gnzlbg (Apr 18 2019 at 15:54, on Zulip):

sorry, I couldn't make it before, my mom is visiting munich this week, and we did a road trip

gnzlbg (Apr 18 2019 at 15:54, on Zulip):

i also thought about erlang when I read the PR subjects

gnzlbg (Apr 18 2019 at 15:55, on Zulip):

what's the general feeling about those discussion topics?

gnzlbg (Apr 18 2019 at 15:55, on Zulip):

i think some of them could be just opened as issues / examples of things we might want to consider when we get there

gnzlbg (Apr 18 2019 at 15:58, on Zulip):

but for the inline assembly stuff maybe it makes more sense to try to understand exactly which effects are needed, or which optimizations need to be disabled for the examples to work correctly, and maybe try to come up with intrinsics that synthethize those, instead of trying to model inline assembly

Last update: Nov 19 2019 at 18:10UTC