corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087cf-634c-715e-bd9f-e16289921e98

There is no memory safety without thread safety

Ralf's Ramblings · published 23 July 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at ralfj.de Wayback capture
3blogs citing
First cited
28 Jul 2025
Most recent
20 Jun 2026
Rank this month
not ranked
Links from this post
13
Words captured
2,321

Cited by

Blog
In the post
Date
shnatsel.github.io
The unreasonable effectiveness of LLMs for auditing Rust code Read at the source ↗
20 Jun 2026
qouteall.fun
How to Avoid Fighting Rust Borrow Checker Read at the source ↗
30 Aug 2025
doublefree.dev
Go's race detector has a mutex blind spot Read at the source ↗
28 Jul 2025

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Go_(programming_language
en.wikipedia.org
https://go.dev/play/p/SC-o_Q8e-aK
go.dev
https://en.wikipedia.org/wiki/Java_memory_model
en.wikipedia.org
https://developer.apple.com/documentation/swift/adoptingswift6
developer.apple.com
https://arxiv.org/pdf/2204.00764
arxiv.org
https://old.reddit.com/r/rust/comments/wbejky/a_succinct_comparison_of_memory_safety_in_rust_c/iid990t/?context=2
old.reddit.com
https://research.swtch.com/gorace
research.swtch.com
https://www.memorysafety.org/docs/memory-safety/
memorysafety.org
https://go.dev/ref/mem
go.dev
What science can tell us about C and C++'s security Read at the source ↗
alexgaynor.net
https://research.ralfj.de/thesis.html
research.ralfj.de
https://www.youtube.com/watch?v=rKnDgT73v8s&t=463s
youtube.com
https://go.dev/talks/2012/splash.slide
go.dev