Leslie Lamport: How to Write Software With Mathematical Perfection

peter wilson herries.press at earthlink.net
Tue May 17 19:34:06 CEST 2022


Jonathon,

Fascinating. Thank you.

Peter W.

As an aside I had always wondered what Leslie looked like.


On 17/05/2022 16:23, Jonathan Fine wrote:
> Hi
>
> 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: 
> https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/
>
> -- 
> Jonathan


More information about the texhax mailing list.