Leslie Lamport: How to Write Software With Mathematical Perfection

Jonathan Fine jfine2358 at gmail.com
Tue May 17 17:23:39 CEST 2022


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.

To read the rest of this article:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texhax/attachments/20220517/3743dd96/attachment.html>

More information about the texhax mailing list.