Hacker News
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 133 comments
Lobsters
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 3 comments compsci
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 14 comments compilers
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 93 comments cpp
- an interesting article. https://www.ralfj.de/blog/2020/12/14/provenance.html 2 comments zig
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 71 comments programming
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 63 comments rust
Linking pages
- The Tower of Weakenings: Memory Models For Everyone - Faultlore https://gankra.github.io/blah/tower-of-weakenings/ 120 comments
- https://jacko.io/safety_and_soundness.html 95 comments
- Read the Code: Using Drop for Safety in Rust — Sympolymathesy, by Chris Krycho https://v5.chriskrycho.com/journal/read-the-code/using-drop-for-safety-in-rust/ 29 comments
- FFI-Safe Polymorphism: Thin Trait Objects · Michael-F-Bryan https://adventures.michaelfbryan.com/posts/ffi-safe-polymorphism-in-rust/?amp%3Butm_campaign=thin-trait-objects&%3Butm_medium=social 23 comments
- This Week in Rust 369 · This Week in Rust https://this-week-in-rust.org/blog/2020/12/16/this-week-in-rust-369/ 5 comments
- FFI-Safe Polymorphism: Thin Trait Objects · Michael-F-Bryan https://adventures.michaelfbryan.com/posts/ffi-safe-polymorphism-in-rust/ 0 comments
Linked pages
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- Creative Commons — Attribution-ShareAlike 4.0 International — CC BY-SA 4.0 https://creativecommons.org/licenses/by-sa/4.0/ 8 comments
- https://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf 0 comments
- Alive2 Part 1: Introduction – Embedded in Academia https://blog.regehr.org/archives/1722 0 comments
Related searches:
Search whole site: site:ralfj.de
Search title: Pointers Are Complicated II, or: We need better language specs
See how to search.