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