Hacker News
new
top
best
ask
show
job
Reconstructing Concurrency Invariants Through Medieval East Asian Logic
(
oborona.zip
)
1 point
by
gg582
5 hours ago
3 comments
gg582
4 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
gg582
5 hours ago
[flagged]
5 hours ago
undefined