The Changelog: Software Development, Open Source

By Changelog Media

Thinking outside the box of code (Interview)

Published August 09, 2023 4:45pm

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:

Tailscale – Simple, secure networks for teams of any scale. Built on WireGuard.Sentry – Watch Lazar Nikolov’s livestream series on YouTube at...