Thinking outside the box of code (Changelog Interviews #552)
Changelog Master Feed
00:00
How to Write a TLA Plus Specification
If you want to understand something, you've got to write it. Well, it has to be usable without the code. So how you can do that informally? Well, by writing it down in mathematics or in language like TLA plus. And when you write it, you should be able to see whether what you're doing is making sense.
Transcript
Play full episode
