Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Albert Cardona (albertcardona@mathstodon.xyz)'s status on Monday, 08-Jan-2024 04:45:51 JST Albert Cardona

   Leslie Lamport, of LaTeX fame, is a very accomplished mathematician and computer scientist with a Turing award for his work on “fundamental contributions to the theory and
   practice of distributed and concurrent systems”. He just published a draft of his new book:

   "A science of concurrent programs"

   https://lamport.azurewebsites.net/tla/science.pdf

   True to his pedagogic approach to everything he does, "The book assumes only that you know the math one learns before entering a university." Even the appendices are fantastic. Can only wish I'll remain this lucid at his 82 years old.

   #multithreading #maths #LesleyLamport