Research for Practice: Covergence
In distributed systems, there are two approaches to data consistency: consensus or convergence. Here we look at four variations on the theme of convergence, drawn from four areas of computer science.
https://t.co/7xvOOIxQFV
@martinkl
I am delighted to announce the new, updated, https://t.co/S37OG6Epdn! This new TLA+ guide took six months of work and is almost 40,000 words long, and I already have a million ideas on what to add next. Suitable for both beginning learners and advanced users alike!
And it's live! https://t.co/3PH6lEPAWC
Please enjoy the async @rustlang goodness. Starts off fairly entry level and builds up gradually. Hope you enjoy
I'll be back in Italy next week and I seized the opportunity to be at @fpinbo on May 23rd!
Join us if you want to hear about error handling in @rustlang (or just catch up!) 😄
We are honored and excited to announce our next speaker 🚀🚀🚀
@algo_luca with "Error handling in Rust - from first principles"
🙏 Luca for joining us in Bologna
Reserve for free: https://t.co/wjKEKpv9AB
Yesterday was amazing! 💯
Thanks @GSantomaggio for your time and your interesting presentation.
Here's the link of the talk (in italian language)
https://t.co/ZsVNIrNvlX
Udite udite: Martedì 10/05 riprenderemo con i nostri meetup IN PRESENZA!
@GPad619 ci parlerà di #microservices , di tutti i suoi "cosa", "quando", "perché-si" e "perché-no".
Posti limitati, se volete esserci vi consigliamo di riservare un posto subito :-)
https://t.co/S3DaToxSXJ
After a long break, we're thrilled to announce that we're finally back with a great line-up already set for the coming months.
We'll start with @GSantomaggio, which will show us all the exciting news about RabbitMQ.
Don't miss it, see you there! https://t.co/rfQLdwcsa6