| | Pointers Are Complicated II, or: We need better language specs (ralfj.de) |
| 3 points by signa11 4 months ago | past | 1 comment |
|
| | Pointers Are Complicated II, or: We need better language specs (2020) (ralfj.de) |
| 169 points by ksec 4 months ago | past | 120 comments |
|
| | Rustlantis: Randomized Differential Testing of the Rust Compiler (ralfj.de) |
| 2 points by todsacerdoti 7 months ago | past |
|
| | Place expressions and value expressions in Rust (ralfj.de) |
| 1 point by jmillikin 9 months ago | past |
|
| | Pointers Are Complicated III: pointer-integer casts exposed. (strict provenance (ralfj.de) |
| 2 points by fanf2 9 months ago | past |
|
| | What is a place expression? (ralfj.de) |
| 1 point by matt_d 9 months ago | past |
|
| | Sandboxing all the things with Flatpak and BubbleBox (ralfj.de) |
| 166 points by fanf2 on April 14, 2024 | 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 |
|
|
| More |
