Show threadKakuradyNov 20, 2022
Exhibit A: your machine doesn't care where pointers come from, but C and C++ do https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html #clanguage #cpplang #pointerProvenance #AbstractMachine #programming
Pointers Are Complicated, or: What's in a Byte?

This summer, I am again working on Rust full-time, and again I will work (amongst other things) on a “memory model” for Rust/MIR. However, before I can talk about the ideas I have for this ...