A data race that doesn't compile
By stmw · 2026-06-26 · 14 points · 4 comments
https://corentin-core.github.io/posts/ruxe-type-level-disjointness/
By stmw · 14 points · 4 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews