This post is about uninitialized memory, but also about the semantics of highly optimized “low-level” languages in general. I will try to convince you that reasoning by “what the hardware d...| www.ralfj.de
exposing raw pointers make the optimizer’s job horribly hard. high level languages can constrain your program, making more optimizations sound.| jyn.dev
It's pretty well-known at this point that the solution for complex webs of ownership in Rust is just to use newtyped indices. Graphs are the prototypical exa...| eikopf
Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye. One key point I was trying to make is that just because two pointers point to the same address...| www.ralfj.de
Ralf's Ramblings: Programming| www.ralfj.de
Glossary| rust-lang.github.io
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 ...| www.ralfj.de
(This is part of a series on the design of zest. See the list of posts here.)| www.scattered-thoughts.net