rgoussu.dev
rgoussu@goussu: ~/library/rust/ownership-and-concurrency/books
❯ ~/library/rust/ownership-and-concurrency/books cat the-rustonomicon.md

The Rustonomicon

# The official book of unsafe Rust — where the ownership guarantees actually come from, layout and variance in detail, and the rules unsafe code must uphold.

Booksaved 2026-08-09source #rust#book#unsafe#internals

Why kept

The Book's dark-arts sequel: the group's notes state the guarantees, the Rustonomicon explains their foundations — and what code inside unsafe blocks must uphold to keep them.

Notes

  • Reads as the theory companion to this group: data layout (behind memory without GC), subtyping & variance (behind lifetimes), aliasing (behind ownership & borrowing), atomics (behind fearless concurrency).
  • Required reading before writing unsafe in anger — pair with miri, which mechanically checks much of what this book asks you to uphold by hand.
  • Where the Rustonomicon is still deciding (exact aliasing models), the live work is the Unsafe Code Guidelines and miri's Tree Borrows — noted in the spec situation.