> Every programmer in industry who is building the kind of large distributed system that
> requires TLA+ specifications should have access to a server farm with dozens or even hundreds
> of machines--e.g., by buying time on Azure or Amazon's cloud.
Sometimes I realize I'm far behind the reality already underway in the Silicon Valley :-)
(OK Amazon is in Seattle. And Seattle is not in the Silicon Valley but it is the idea.)
--
FL