News for hackers. Stuff that matters.
[dead]
Re:Reconstructing Concurrency Invariants Through Medieval Ea... by contingencies on Saturday September 12, 2026 @03:55PM (#49676559)
On a less medieval and more ancient basis, from the original 白馬非馬 ("A white horse is not a horse.") we can derive the following suitably high-gravitas philosophical truth-revelatory statements:

競態非態 ("A race race condition is not a condition.")

釋後非釋 ("Use-after-free is not free.")

隱後非隱 ("Things hidden are not.")

單向交接非交接 ("A one-way handoff is not a handoff.")

Re:Reconstructing Concurrency Invariants Through Medieval Ea... by gg582 on Sunday September 13, 2026 @12:12PM (#49685592)
That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'