The provenance memory model for C
Link: gustedt.wordpress.com/2025/06/…
Discussion: news.ycombinator.com/item?id=4…
The provenance memory model for C
A years-long effort led by Kayvan Memarian and Peter Sewell from Cambridge University, UK, Martin Uecker from Graz University of Technology, Austria, and myself (from ICube/Inria, France) has guide…Jens Gustedt's Blog
anomnom
in reply to Davriellelouna • • •Rhynoplaz
in reply to anomnom • • •TheRealKuni
in reply to Rhynoplaz • • •Man, say what you will about truck culture, and I’ll probably agree, but I fuckin’ love truck nuts. I don’t know why, I don’t think it’s just immaturity because bodily humor isn’t usually my thing. But something about truck nuts makes me laugh.
I especially love that they trigger people enough that some places ban them.
toomanypancakes
in reply to TheRealKuni • • •