My job is safe. For now.

Knowing that I'm not alone thinking this is a relief

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.

Wow, good for them. Legends 🏆

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

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

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…

È con un filo di emossione che vi comunico questo. #Iliade

#tlaplus at ABZ in Nancy, France, May 30 - June 2, 2023: easychair.org/smart-program/…

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

The YouTube 1-year giveaway is closing in 36 hours. This is your final chance to enter.

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 ❤️‍🩹

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/…

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

:-)

#Djokovic 🇷🇸 - #Alcaraz 🇪🇸 #Sinner 🇮🇹 - #Medvedev 🇷🇺 Che sabato… #ATPFinals2023

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

New blog post: communicating over TCP with syscalls in Go carpino.github.io #networking #golang #distributedsystems

New blog post: communicating over UDP with syscalls in Go carpino.github.io #go #golang #networking #DistributedSystems