Tag
rust
- Jan 19, 2026 What Makes a Safe Wrapper Around Unsafe Code Sound A safe function that can cause undefined behaviour from any call site destroys the guarantee for the entire crate graph, and the obligations that prevent it are structural rather than local. systems programming
- Sep 14, 2024 Aliasing Rules for References and the Role of UnsafeCell A shared reference is a promise of immutability that the optimiser acts on, and UnsafeCell is the single opt-out that makes interior mutability representable without lying to the compiler. systems programming
- Apr 17, 2024 What the Unsafe Keyword Actually Disables The unsafe marker gates a short, enumerable list of operations rather than switching off the type system, and the obligations it transfers reach past the block that names it. systems programming