Alessandro Zanin
987 posts
Alessandro Zanin
@a_zanin
find me at https://t.co/Nj398lt7Tz
Bologna Katılım Nisan 2010
800 Takip Edilen290 Takipçiler
Immenso Sinner: l'Australia si arrende. Trionfo Italia in Davis dopo 47 anni! gazzetta.it/Tennis/Coppa-D…
Italiano
@toniogela @typelevel Time to move to rust :)
Bologna, Emilia Romagna 🇮🇹 English
Alessandro Zanin retweetledi
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.
queue.acm.org/detail.cfm?id=…
@martinkl
English
Alessandro Zanin retweetledi
I am delighted to announce the new, updated, learntla.com! 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!
English
@algo_luca The Model Thinker by Scott E. Page.
I think you could enjoy it
English
Looking forward to a long train journey tomorrow, London to Milan (~12h).
I have a few novels lined up, but 12h is a lot and I want some variety.
What technical books would you recommend as *must read*?
No particular topic restriction, happy to go outside of my comfort zone.
English
Alessandro Zanin retweetledi
And it's live! conradludgate.com/posts/async
Please enjoy the async @rustlang goodness. Starts off fairly entry level and builds up gradually. Hope you enjoy
English
Alessandro Zanin retweetledi
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!) 😄
Functional Programming in Bologna@fpinbo
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: eventbrite.it/e/fpinbo-error…
English
This is amazing 🤯
Can't wait for @algo_luca speaking about Rust error handling.
Thanks for joining us 🙏
Functional Programming in Bologna@fpinbo
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: eventbrite.it/e/fpinbo-error…
English
Alessandro Zanin retweetledi
Yesterday was amazing! 💯
Thanks @GSantomaggio for your time and your interesting presentation.
Here's the link of the talk (in italian language)
youtu.be/ztUuiYcpizA
YouTube
English
Italian cuisine is a combination of:
- prime ingredients;
- simple recipes;
- a fuckton of waiting.
My "coda alla vaccinara" is halfway done. 3 more hours to go.
English
Da non perdere 👇
XPug Bologna@xpugbologna
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 :-) xpugbo0522.eventbrite.it/?aff=twitter
Italiano
Architecting Is a skill; Architect is not a role.
infoq.com/articles/what-…
English
Finally back :)
Thanks, @GSantomaggio to be the first one after this long period.
Functional Programming in Bologna@fpinbo
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! eventbrite.it/e/biglietti-ra…
English
@algo_luca @toniogela Cool thanks. HList is another great example
English
@a_zanin @toniogela You can also do other cursed things. The `frunk` crate is a great source of inspiration for type-level crimes.
docs.rs/frunk/latest/f…
English
How much is too much when it comes to allowing compile-time verification outside of the type system in @rustlang?
Could const functions be used as `where` bounds in function signatures, for example?
English
@a_zanin @toniogela Yeah, you can build a compile-time `IsTrue` trait bound in Rust. The resulting compiler errors are cursed though...
English
YouTube
English
@evntdrvn @toniogela I have been meaning to go deeper into idris for a long time, I just need to set the time aside. It looks so interesting!
English