Show HN: Vyukov MPSC queue in C++20 with a six-claim formal memory-model proof

Vyukov MPSC queue in C++20 with a six‑claim formal memory‑model proof offers a high‑performance multi‑producer/multi‑consumer buffer, ideal for prototypes and i