Redux on Corentin Corgiéhttps://corentin-core.github.io/tags/redux/Recent content in Redux on Corentin CorgiéHugo -- 0.146.0enTue, 23 Jun 2026 00:00:00 +0000A data race that doesn't compilehttps://corentin-core.github.io/posts/ruxe-type-level-disjointness/Tue, 23 Jun 2026 00:00:00 +0000https://corentin-core.github.io/posts/ruxe-type-level-disjointness/How I taught Rust’s type system to refuse my own parallel-Redux data races, with one false start and one mind-shift.