It depends what you mean by distributed system. A rich SPA type web app connecting to a server is in a limited sense a distributed system. Pretty much any commo

It depends what you mean by distributed system. A rich SPA type web app connecting to a server is in a limited sense a distributed system. Pretty much any common AWS setup involves distribution. These are things that a wide variety of programmers touch every day, not just people who are experts at formally verifying their CRDTs or whatever.