Why non-blocking algorithms are hard | Dark Hacker News