Alessandro Zanin

987 posts

Alessandro Zanin banner
Alessandro Zanin

Alessandro Zanin

@a_zanin

find me at https://t.co/Nj398lt7Tz

Bologna Katılım Nisan 2010
800 Takip Edilen290 Takipçiler
Alessandro Zanin retweetledi
ACM Queue
ACM Queue@ACMQueue·
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
1
27
88
0
Alessandro Zanin retweetledi
Inactive; Bluesky is @hillelwayne(dot)com
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
9
103
401
0
Luca Palmieri
Luca Palmieri@algo_luca·
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
16
3
43
0
Alessandro Zanin retweetledi
Luca Palmieri
Luca Palmieri@algo_luca·
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
1
5
15
0
Luca Palmieri
Luca Palmieri@algo_luca·
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
5
1
19
0
Luca Palmieri
Luca Palmieri@algo_luca·
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
4
4
25
0
Luca Palmieri
Luca Palmieri@algo_luca·
@a_zanin @toniogela Yeah, you can build a compile-time `IsTrue` trait bound in Rust. The resulting compiler errors are cursed though...
English
1
0
1
0
Luca Palmieri
Luca Palmieri@algo_luca·
@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
1
0
0
0