/* ---- Google Analytics Code Below */

Saturday, May 28, 2022

On Coding and Software in Quanta Mag

On a  Coding Guru of note, I used his LaTex system.

How to Write Software With Mathematical Perfection   by Sheon Han

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.

Leslie Lamport may not be a household name, but he’s behind a few of them for computer scientists: the typesetting program LaTeX and the work that made cloud infrastructure at Google and Amazon possible. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. This is no accident. The 81-year-old computer scientist is unusually thoughtful about how people use and think about software.

In 2013, he won the A.M. Turing Award, considered the Nobel Prize of computing, for his work on distributed systems, where multiple components on different networks coordinate to achieve a common objective. Internet searches, cloud computing and artificial intelligence all involve orchestrating legions of powerful computing machines to work together. Of course, this kind of coordination opens you up to more problems.

“A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable,” Lamport once said.   .... ' 

No comments: