lots of fascinating ideas in the turon weak atomic model paper https://circumstances.run/@hipsterelectron/116558390591100961 particularly enjoyed the "circular buffer" example because i felt i was quite clever to identify that exactly 1 reader / 1 writer was acceptable and enabled non-atomic modifications from both sides. he used the confusing math symbols and proved the same thing so we both win yay math
ok this paper by aaron turon et al is cool as shit though https://plv.mpi-sws.org/gps/paper.pdf oh i'm so glad he's for real so refreshing