A Science of Concurrent Programs (final draft) | Hacker News Reader