In Search of a Compositional Theory of Self-Stabilization | Hacker News Reader