Hacker News
- The Tower of Weakenings: Memory Models for Everyone https://gankra.github.io/blah/tower-of-weakenings/ 32 comments
Lobsters
- The Tower of Weakenings: Memory Models For Everyone https://gankra.github.io/blah/tower-of-weakenings/ 2 comments compilers , plt , rant , rust
- The Tower of Weakenings: Memory Models For Everyone https://gankra.github.io/blah/tower-of-weakenings/ 33 comments cpp
- The Tower of Weakenings: Memory Models For Everyone https://gankra.github.io/blah/tower-of-weakenings/ 2 comments programming
- The Tower of Weakenings: Memory Models For Everyone https://gankra.github.io/blah/tower-of-weakenings/ 51 comments rust
Linking pages
- Pointers Are Complicated III, or: Pointer-integer casts exposed https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html 228 comments
- Defaults Affect Inference in Rust: Expressions Instead Of Types - Faultlore https://gankra.github.io/blah/defaults-affect-inference/ 52 comments
- The last two years in Miri https://www.ralfj.de/blog/2022/07/02/miri.html 36 comments
- Keywords I: Unsafe Syntax https://blog.yoshuawuyts.com/unsafe-syntax/ 16 comments
- This Week in Rust 437 · This Week in Rust https://this-week-in-rust.org/blog/2022/04/06/this-week-in-rust-437/ 6 comments
- RiB Newsletter #35 - Rust in Blockchain ❤ rib.rs https://rustinblockchain.org/newsletters/rib-newsletter-35/ 0 comments
Linked pages
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 380 comments
- Introduction - Learning Rust With Entirely Too Many Linked Lists https://rust-unofficial.github.io/too-many-lists/index.html 304 comments
- Rust's Unsafe Pointer Types Need An Overhaul - Faultlore https://gankra.github.io/blah/fix-rust-pointers/ 273 comments
- https://rust-lang.zulipchat.com/#narrow/stream/335408-foundation/topic/Scaling.20Up.20the.20Services/near/325541112 135 comments
- Notes on Type Layouts and ABIs in Rust - Faultlore https://gankra.github.io/blah/rust-layouts-and-abis/ 68 comments
- http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf 41 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- Department of Computer Science and Technology: Capability Hardware Enhanced RISC Instructions (CHERI) https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ 27 comments
- Stacked Borrows: An Aliasing Model for Rust (POPL 2020) https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 26 comments
- Tracking Issue for strict_provenance · Issue #95228 · rust-lang/rust · GitHub https://github.com/rust-lang/rust/issues/95228 24 comments
- std::collections - Rust https://doc.rust-lang.org/std/collections/#when-should-you-use-which-collection? 23 comments
- pointer - Rust https://doc.rust-lang.org/std/primitive.pointer.html#method.add-1 21 comments
- Introduction - The Rustonomicon https://doc.rust-lang.org/nightly/nomicon/ 19 comments
- Exotically Sized Types - The Rustonomicon https://doc.rust-lang.org/nomicon/exotic-sizes.html 6 comments
- std::ptr - Rust https://doc.rust-lang.org/nightly/std/ptr/index.html#strict-provenance 4 comments
- trofi's blog: GHC on m68k https://trofi.github.io/posts/191-ghc-on-m68k.html 2 comments
- AddressSanitizer · google/sanitizers Wiki · GitHub https://github.com/google/sanitizers/wiki/AddressSanitizer 0 comments
- The Pain Of Linear Types In Rust - Faultlore https://gankra.github.io/blah/linear-rust/ 0 comments
- [2201.10280] The Trusted Computing Base of the CompCert Verified Compiler https://arxiv.org/abs/2201.10280 0 comments
- Pre-Pooping Your Pants With Rust - Faultlore https://gankra.github.io/blah/everyone-poops/ 0 comments
Related searches:
Search whole site: site:gankra.github.io
Search title: The Tower of Weakenings: Memory Models For Everyone - Faultlore
See how to search.