Submissions from ralfj.de

		How to use storytelling to fit inline assembly into Rust (ralfj.de)
		2 points by PaulHoule 7 hours ago \| past \| 1 comment
		How to use storytelling to fit inline assembly into Rust (ralfj.de)
		20 points by vinhnx 17 days ago \| past
		How to use storytelling to fit inline assembly into Rust (ralfj.de)
		1 point by birdculture 25 days ago \| past
		How to use storytelling to fit inline assembly into Rust (ralfj.de)
		3 points by vinhnx 26 days ago \| past
		How to use storytelling to fit inline assembly into Rust (ralfj.de)
		11 points by ingve 27 days ago \| past \| 1 comment
		Miri: Practical Undefined Behavior Detection for Rust [pdf] (ralfj.de)
		77 points by ingve 3 months ago \| past \| 10 comments
		What's "new" in Miri (and also, there's a Miri paper) (ralfj.de)
		3 points by birdculture 3 months ago \| past
		What's New in Miri (ralfj.de)
		3 points by edmccard 3 months ago \| past
		Pointers Are Complicated, Or: What's in a Byte? (ralfj.de)
		3 points by thunderbong 8 months ago \| past
		There is no memory safety without thread safety (ralfj.de)
		456 points by tavianator 8 months ago \| past \| 503 comments
		The Tree Borrows paper is finally published (ralfj.de)
		2 points by todsacerdoti 9 months ago \| past
		Pointers Are Complicated II, or: We need better language specs (ralfj.de)
		3 points by signa11 on Jan 31, 2025 \| past \| 1 comment
		Pointers Are Complicated II, or: We need better language specs (2020) (ralfj.de)
		169 points by ksec on Jan 30, 2025 \| past \| 120 comments
		Rustlantis: Randomized Differential Testing of the Rust Compiler (ralfj.de)
		2 points by todsacerdoti on Nov 25, 2024 \| past
		Place expressions and value expressions in Rust (ralfj.de)
		1 point by jmillikin on Sept 2, 2024 \| past
		Pointers Are Complicated III: pointer-integer casts exposed. (strict provenance (ralfj.de)
		2 points by fanf2 on Sept 1, 2024 \| past
		What is a place expression? (ralfj.de)
		1 point by matt_d on Aug 29, 2024 \| 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
		More

HN For You