AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Importance of Concurrency
The way physics, science describes cars or the universe is in terms of its state. And that's the same way I describe a distributed system in Terms of Its State. So if you take a movie and you're not you add, you repeat frames since they don't represent any particular time scale. But when I write the specification, it satisfies it because my specification of the hour and minute clock allows frames where the same minute keeps repeating. The only formalism that I know of that people use that has that property is TLA+.