Albert Cardona on Nostr: Leslie Lamport, of LaTeX fame, is a very accomplished mathematician and computer ...
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
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