Hacker News
- MiniRust https://www.ralfj.de/blog/2022/08/08/minirust.html 147 comments
- Pointers Are Complicated III, or: Pointer-integer casts exposed https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html 103 comments
- Stacked Borrows: an aliasing model for Rust https://www.ralfj.de/blog/2018/08/07/stacked-borrows.html 19 comments
- Pointers Are Complicated, or What’s in a Byte? https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html 61 comments
Lobsters
- Do we really need Undefined Behavior? https://www.ralfj.de/blog/2021/11/24/ub-necessary.html 10 comments c , plt
- Stacked Borrows Implemented https://www.ralfj.de/blog/2018/11/16/stacked-borrows-implementation.html 7 comments formalmethods , rust
- cargo careful: run your Rust code with extra careful debug checking https://www.ralfj.de/blog/2022/09/26/cargo-careful.html 33 comments rust
- Announcing: MiniRust https://www.ralfj.de/blog/2022/08/08/minirust.html 2 comments programming
- The last two years in Miri https://www.ralfj.de/blog/2022/07/02/miri.html 36 comments rust
- Do we really need Undefined Behavior? https://www.ralfj.de/blog/2021/11/24/ub-necessary.html 40 comments cpp
- 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
- My Rusty PhD thesis is finally done :) https://www.ralfj.de/blog/2020/09/03/phd.html 84 comments rust
- Why even unused data needs to be valid in Rust https://www.ralfj.de/blog/2020/07/15/unused-data.html 14 comments programming
- How to Panic in Rust https://www.ralfj.de/blog/2019/11/25/how-to-panic-in-rust.html 20 comments rust
- "What The Hardware Does" is not What Your Program Does: Uninitialized Memory https://www.ralfj.de/blog/2019/07/14/uninit.html 38 comments programming
- "What The Hardware Does" is not What Your Program Does: Uninitialized Memory https://www.ralfj.de/blog/2019/07/14/uninit.html 83 comments rust
- Stacked Borrows 2 https://www.ralfj.de/blog/2019/04/30/stacked-borrows-2.html 7 comments rust
- Miri available as rustup component https://www.ralfj.de/blog/2019/03/26/miri-as-rustup-component.html 27 comments rust
- UCG+Miri All-Hands 2019 Recap https://www.ralfj.de/blog/2019/02/12/all-hands-recap.html 34 comments rust
- Rust 2019: Solid Foundations for Unsafe Code https://www.ralfj.de/blog/2019/01/12/rust-2019.html 18 comments rust
- Barriers and Two-phase Borrows in Stacked Borrows https://www.ralfj.de/blog/2018/12/26/stacked-borrows-barriers.html 4 comments rust
- Stacked Borrows Implemented: An Aliasing Model for Rust https://www.ralfj.de/blog/2018/11/16/stacked-borrows-implementation.html 20 comments rust
- Two Kinds of Invariants https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html 24 comments rust
- Stacked Borrows: An Aliasing Model For Rust https://www.ralfj.de/blog/2018/08/07/stacked-borrows.html 24 comments rust
- Pointers Are Complicated, or: What's in a Byte? https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html 41 comments rust
- Thoughts on Compile-Time Function Evaluation and Type Systems https://www.ralfj.de/blog/2018/07/19/const.html 63 comments rust
- The Tale of a Bug in Arc: Synchronization and Data Races https://www.ralfj.de/blog/2018/07/13/arc-synchronization.html 37 comments rust
- Safe Intrusive Collections with Pinning https://www.ralfj.de/blog/2018/04/10/safe-intrusive-collections-with-pinning.html 18 comments rust
- A Formal Look at Pinning https://www.ralfj.de/blog/2018/04/05/a-formal-look-at-pinning.html 6 comments rust
- Types as Contracts: Implementation and Evaluation https://www.ralfj.de/blog/2017/08/11/types-as-contracts-evaluation.html 9 comments rust
- Types as Contracts https://www.ralfj.de/blog/2017/07/17/types-as-contracts.html 23 comments rust
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 3 comments programming
- How MutexGuard was Sync When It Should Not Have Been https://www.ralfj.de/blog/2017/06/09/mutexguard-sync.html 37 comments rust
- Elementary lifetime question https://www.ralfj.de/projects/rust-101 5 comments rust
- The Scope of Unsafe https://www.ralfj.de/blog/2016/01/09/the-scope-of-unsafe.html 54 comments rust
- Formalizing Rust https://www.ralfj.de/blog/2015/10/12/formalizing-rust.html 29 comments programming
- Formalizing Rust https://www.ralfj.de/blog/2015/10/12/formalizing-rust.html 33 comments rust