| | Rustlantis: Randomized Differential Testing of the Rust Compiler (ralfj.de) |
|
2 points by todsacerdoti 2 days ago | past | discuss
|
|
| | Place expressions and value expressions in Rust (ralfj.de) |
|
1 point by jmillikin 86 days ago | past
|
|
| | Pointers Are Complicated III: pointer-integer casts exposed. (strict provenance (ralfj.de) |
|
2 points by fanf2 86 days ago | past
|
|
| | What is a place expression? (ralfj.de) |
|
1 point by matt_d 3 months ago | past
|
|
| | Sandboxing all the things with Flatpak and BubbleBox (ralfj.de) |
|
166 points by fanf2 7 months ago | past | 109 comments
|
|
| | From Stacks to Trees: A new aliasing model for Rust (ralfj.de) |
|
191 points by obl on June 10, 2023 | past | 42 comments
|
|
| | From Stacks to Trees: A new aliasing model for Rust (ralfj.de) |
|
2 points by matt_d on June 9, 2023 | past
|
|
| | From Stacks to Trees: A new aliasing model for Rust (ralfj.de) |
|
2 points by lukastyrychtr on June 8, 2023 | past | 1 comment
|
|
| | From Stacks to Trees: A new aliasing model for Rust (ralfj.de) |
|
2 points by mpweiher on June 4, 2023 | past
|
|
| | From Stacks to Trees: A new aliasing model for Rust (ralfj.de) |
|
6 points by RGBCube on June 2, 2023 | past
|
|
| | Thoughts on compile-time function evaluation and type systems (2018) (ralfj.de) |
|
41 points by lkurusa on Nov 25, 2022 | past | 1 comment
|
|
| | Cargo careful: run your Rust code with extra careful debug checking (ralfj.de) |
|
4 points by cube00 on Sept 26, 2022 | past
|
|
| | MiniRust (ralfj.de) |
|
284 points by dthul on Aug 8, 2022 | past | 147 comments
|
|
| | The last two years in Miri (ralfj.de) |
|
1 point by lukastyrychtr on July 9, 2022 | past
|
|
| | The last two years in Miri (ralfj.de) |
|
2 points by adwn on July 3, 2022 | past
|
|
| | Pointers Are Complicated III, or: Pointer-integer casts exposed (ralfj.de) |
|
129 points by lukastyrychtr on April 15, 2022 | past | 103 comments
|
|
| | Pointers Are Complicated part III, or: Pointer-integer casts in Rust exposed (ralfj.de) |
|
5 points by kibwen on April 12, 2022 | past | 1 comment
|
|
| | Pointers Are Complicated III (ralfj.de) |
|
6 points by 0xedb on April 12, 2022 | past
|
|
| | Pointers Are Complicated III, or: Pointer-integer casts exposed (ralfj.de) |
|
11 points by ibraheemdev on April 11, 2022 | past | 1 comment
|
|
| | “What the Hardware Does” Is Not What Your Program Does: Uninitialized Memory (ralfj.de) |
|
1 point by speckz on Dec 22, 2021 | past
|
|
| | Do we need Undefined Behavior? (ralfj.de) |
|
3 points by lukastyrychtr on Dec 4, 2021 | past
|
|
| | Do we really need undefined behavior? (ralfj.de) |
|
54 points by ibraheemdev on Dec 3, 2021 | past | 39 comments
|
|
| | Do we need Undefined Behavior? (ralfj.de) |
|
3 points by matt_d on Nov 26, 2021 | past | 1 comment
|
|
| | Pointers Are Complicated II, or: We need better language specs (ralfj.de) |
|
262 points by ChrisSD on Dec 14, 2020 | past | 133 comments
|
|
| | Thoughts on Compile-Time Function Evaluation and Type Systems (ralfj.de) |
|
13 points by goranmoomin on Dec 12, 2020 | past
|
|
| | What (not so) recently happened in Miri (ralfj.de) |
|
2 points by lukastyrychtr on Oct 2, 2020 | past
|
|
| | What (not so) recently happened in Miri (ralfj.de) |
|
1 point by Shoop on Sept 29, 2020 | past
|
|
| | Thoughts on Compile-Time Function Evaluation and Type Systems (ralfj.de) |
|
4 points by goranmoomin on Sept 16, 2020 | past
|
|
| | Pointers Are Complicated, Or: What's in a Byte? (2018) (ralfj.de) |
|
85 points by goranmoomin on Sept 4, 2020 | past | 50 comments
|
|
| | Why even unused data needs to be valid (ralfj.de) |
|
1 point by lukastyrychtr on July 23, 2020 | past
|
|
|
|
More |
