https://hackerpaper.kaipfister.de/p/2310.12337/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=38152753urn:hackerpapers:mention:2310.12337:38152753Sun, 05 Nov 2023 16:43:17 GMT<p>I&#x27;m not sure how I feel about this. Are there nontrivial programs that depend on the (1, 1) outcome of the LB litmus test being forbidden? (See section 2.3 of the Lahav paper[1] for definitions and context) If so, then these programs are at significant risk of miscompilation on compilers today. Strengthening the standard would mean that this risk continues until compilers are updated. If not, then the proposal is asking for an (admittedly modest) performance regression to address what might not be a real problem. Rust doesn&#x27;t have a formal memory model yet, but the loom tool reports the (1…</p><p><a href="https://hackerpaper.kaipfister.de/p/2310.12337/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=38059191urn:hackerpapers:submission:2310.12337:38059191Sun, 29 Oct 2023 14:57:40 GMT<p>Compiler Testing with Relaxed Memory Models</p><p></p><p>3 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2310.12337/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL