Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io)14 points by simplegeek 8 months ago | 2 comments
How concurrecy works: A visual guide(wyounas.github.io)143 points by simplegeek 1 year ago | 45 comments
The Biggest Identity Sandpiles and How to Compute Them(eavan.blog)16 points by eavan0 7 months ago | 6 comments
Using the most unhinged AVX-512 instruction to make fastest phrase search algo(gab-menezes.github.io)207 points by cmcollier 1 year ago | 54 comments