"Some of the challenge is as programmers who are trained up here in these United States and go into our work, math is part of it," he says. "We don't have a lot of math ... I've been a working developer for 20 plus years and I don't have that much math." He does what he can to educate but isn't good at being a teacher.
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!