[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Choose and TLC

> 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.)