Aria Desires

Ok so basically all the machinery for doing arbitrary atomics with pointers (cross platform?) is already in LLVM, and rustc/std just needs to wire it up and expose it? (I...

Just filed a bunch of issues for stuff off the top of my head under https://github.com/rust-lang/rust/labels/A-strict-provenance

Today I learned that the m68k has the dubious honor of having an *actual* ABI where "pointer-sized-integer" and "pointer" *actually* [have different ABIs](https://trofi.github.io/posts/191-ghc-on-m68k.html) just to keep you on your toes,...

Please see "Isn't This Model WAY Too Strict?" [in the FAQ](https://github.com/rust-lang/rust/issues/95228#issuecomment-1075881238)

Patrick, as someone who actually teaches the language to people I know for a fact that *MANY* "normal" programmers are constantly frustrated with unsafe Rust code because it is *literally...

I have updated the initial comment to clarify that this is a set of library APIs and that there cannot be any implications for lang/compiler semantics because those teams are...

Also I will no longer be helping with this experiment. I wrote the APIs. I wrote the docs. I made a stable polyfill so everyone can experiment with them right...

Sorry which link do you want where?

Done.

(sorry doing this via github UI, feel free to squash it all)