The programmers think in terms of algorithms. How would one begin to change this predilection? What I do to over engineers is I force them to think mathematically. A TLA plus spec is a formula, a real mathematical formula. The language TLA plus is really simple in the sense that it is math. You have to think outside the box.
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!