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](https://mathstodon.xyz/tags/multithreading) [#maths](https://mathstodon.xyz/tags/maths) [#LesleyLamport](https://mathstodon.xyz/tags/LesleyLamport)

I still don't have Covid, but my Apple fanboi test came back positive. [@sixcolors](https://zeppelin.flights/@sixcolors)

The FLIRC Skip 1S remote looks nice.

<https:flirc.tv/products/skip1s-remote-universal-remote-control?variant=43489094729960>