It's still the majority tool that is used in those communities for specifications and writing, or is there something that's usurped it since? No, I think it's still math and physics. They used it still, the standard. And to me, what speaks to me about it is the separation of what you're saying versus the how it looks. That was why tech needed something on top of it. You know, Knuth intended for things to be built ontop of it, but I'm not sure he expected so much of the underlying tech to be hidden from the user.
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!