<div dir="ltr"><div>Hi</div><div><br></div><div>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.<br></div><div><br></div><div>To read the rest of this article: <a href="https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/">https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/</a></div><div><br></div><div>-- </div><div>Jonathan</div></div>