Show HN: Vyukov MPSC queue in C++20 with a six-claim formal memory-model proof (github.com) 1 points by nisgem 2mo ago ↗ HN
1 comment
[ 3.0 ms ] story [ 11.8 ms ] thread