albertcardona,
@albertcardona@mathstodon.xyz avatar

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.

webframp,
@webframp@hachyderm.io avatar

@albertcardona @adrianco hah. “Of LaTeX fame” made me laugh, because I first think “lamport clocks”. Too long in distributed systems, not enough academia.

adrianco,
@adrianco@mastodon.social avatar

@webframp @albertcardona Paul Borrill and I did a Papers we Love talk in SF once where Paul got Leslie to sit in the audience unannounced while he talked about clocks and time. After the talk he pointed out Leslie “and there was much fanboying…” he signed a bunch of stuff that night.

webframp,
@webframp@hachyderm.io avatar

@adrianco I would totally fanboy for clocks. Better yet would love to chill at some place over whiskies and absorb ideas

adrianco,
@adrianco@mastodon.social avatar

@webframp The video is here. Leslie is introduced in the last few seconds. https://youtu.be/CWF3QnfihL4

albertcardona,
@albertcardona@mathstodon.xyz avatar

@webframp @adrianco

Most of us apply concurrency ideas without a second thought: they are part of standard libraries or of what everyone knows. Like a senior neuroscientist once told me, success is when you are no longer cited but everyone builds upon your work.

howardgreen,

@albertcardona nearly the most underrated computer scientist of the century. The Byzantine Generals work, and special relativity based time in programs, are like things dropped from the future.

albertcardona,
@albertcardona@mathstodon.xyz avatar

@howardgreen

Now you got me wondering if the 1:3 ratio threshold between traitors and loyals applies to the fediverse servers...

tehstu,
@tehstu@hachyderm.io avatar

@albertcardona Oh, I love the last two sentences of section 1.2.

albertcardona,
@albertcardona@mathstodon.xyz avatar
  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • ngwrru68w68
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • megavids
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • provamag3
  • JUstTest
  • All magazines