gg582
7 hours ago
tried a silly crossover mapping memory reclamation invariants (visibility, UAF, CAS) to old trigram structures in c11. surprisingly mapped 1:1 pretty well. put the puzzle and code snippets here
Reconstructing Concurrency Invariants Through Medieval East Asian Logic
1 pointsposted 8 hours ago
by gg582