Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators | Not Hacker News!