Thinking outside the box of code (Changelog Interviews #552)
Changelog Master Feed
00:00
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+.
Transcript
Play full episode
