ralfj.de on Hacker News

How to use storytelling to fit inline assembly into Rust(ralfj.de)

12 points by vinhnx 7 months ago | 0 comments

There is no memory safety without thread safety(ralfj.de)

432 points by tavianator 1 year ago | 421 comments

Blog post by Ralf Jung arguing that memory safety cannot be separated from thread safety, using a Go data race example, and that the real goal is absence of undefined behavior.

Pointers Are Complicated II, or: We need better language specs (2020)(ralfj.de)

153 points by ksec 1 year ago | 93 comments

From Stacks to Trees: A new aliasing model for Rust(ralfj.de)

182 points by obl 3 years ago | 39 comments