Why non-blocking algorithms are hard
cc.bearblog.dev