Pietro Tollot (@ptollot) 's Twitter Profile
Pietro Tollot

@ptollot

ID: 2801918344

calendar_today03-10-2014 13:12:37

50 Tweet

27 Followers

417 Following

Mario Fusco (@mariofusco) 's Twitter Profile Photo

If the main problem you have with the programming language you're using is verbosity, it means that your main bottleneck while coding is your typing speed and sorry but, unless you're doing a very trivial and repetitive work, I have really hard time believing this.

If the main problem you have with the programming language you're using is verbosity, it means that your main bottleneck while coding is your typing speed and sorry but, unless you're doing a very trivial and repetitive work, I have really hard time believing this.
Dominik Tornow (@dominiktornow) 's Twitter Profile Photo

I am writing a book on Thinking in Distributed Systems 12 chapters, one chapter per month, full of diagrams, illustrations, and examples. #ThinkingInDistributedSystems #Goals2023 book.dtornow.com

M49 (@m49liberorso) 's Twitter Profile Photo

Basta criticare #Meloni per il mancato taglio delle accise, siete pesanti, vedrete che quando tornerà all’opposizione chiederà di eliminarle

Mario Fusco (@mariofusco) 's Twitter Profile Photo

Eight Graphs That Explain Software Engineering Salaries in 2023  Tech professionals’ pay by programming skills, job functions, regions, and more spectrum.ieee.org/software-salar…

The Linux Foundation (@linuxfoundation) 's Twitter Profile Photo

We are excited to announce the launch of the TLA+ Foundation, under the umbrella of the Linux Foundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners. Learn more: hubs.la/Q01MjLDM0

We are excited to announce the launch of the TLA+ Foundation, under the umbrella of the Linux Foundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners.

Learn more: hubs.la/Q01MjLDM0
Dominik Tornow (@dominiktornow) 's Twitter Profile Photo

Sometimes I am disheartened by the claim that exactly once is possible 💔 Exactly once is not possible, exactly once *semantics* are possible However, every involved upstream subsystem must play ball (deduplicate) Exactly once = At least once & idempotence ❤️‍🩹

Dominik Tornow (@dominiktornow) 's Twitter Profile Photo

My mental model of a retry An *invocation* can be retried if multiple invocations and one successful invocation is equivalent to one successful invocation (i*) i ≈ i (For an application specific definition of equivalence) x.com/DominikTornow/…

Dominik Tornow (@dominiktornow) 's Twitter Profile Photo

Check out Martin Kleppmann's blog post "Verifying distributed systems with Isabelle/HOL" martin.kleppmann.com/2022/10/12/ver…

Pietro Tollot (@ptollot) 's Twitter Profile Photo

lamport.azurewebsites.net/tla/science.pdf new draft book from Leslie #lamport #software #distributedsystems #concurrentsystems