's Avatar

@rcardin.bsky.social

130 Followers  |  112 Following  |  40 Posts  |  Joined: 20.11.2024  |  1.6453

Latest posts by rcardin.bsky.social on Bluesky

Post image

I'm reading @sam-cooper.bsky.social's "Kotlin Coroutine Confidence". It's a masterpiece๐Ÿ’ซ, even if you already know #Kotlin coroutine machinery:

It's worth your money ๐Ÿ’ฐ: pragprog.com/titles/sckot...

08.08.2025 09:26 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

#DropsOf #Kafka: It's possible to force an order on messages read by consumers from a topic by using the same key for all messages to be read in order.

Naive, but effective in most cases ๐Ÿ˜œ

22.07.2025 19:50 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#DropsOf #Kotlin: Kotlin was the first language on the JVM implementing continuation passing style (CSP) directly in the compiler ๐Ÿš„. It rewrites every suspending function using CSP, adding a `Continuation` object to the parameters and rewriting the body accordingly ๐Ÿช„

20.07.2025 13:53 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#DropsOf #Java: Checked exceptions were a good idea โœจ. They are some form of an effect system. You know precisely what kind of effects a function performs. To eliminate the effect, you need to handle it, and the compiler forces this behavior. However, they don't compose with lambdas ๐Ÿคทโ€โ™‚๏ธ

19.07.2025 11:58 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#DropsOf #kotlin: Do you know you can implement the race primitive ๐Ÿš— for coroutines in just one line of code?

The `channelFlow` has its coroutineScope, and when the `first` function cancels the Flow execution, it cancels all the running coroutines that did not win the race. ๐Ÿ˜

18.07.2025 09:10 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#Scala lovers, version 0.4.0 of the #YAES effect system is out!๐Ÿš€ What a journey.๐Ÿคช The new `Resource` effect is here, and now you can even zip two different `Flow`. Wow, concurrent programming on flows! ๐ŸŽ‰

Here are the release notes: github.com/rcardin/yaes...

09.06.2025 15:21 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Hey, #Scala lovers! I'll give a talk at the next @scaladays.org 2025 ๐ŸŽ‰. I still can't believe it ๐Ÿคช.

Let's meet in Losanna to share our experiences on direct-style and monadic effect systems! I'll bring my (on-going) knowledge about the former, with my library #YAES โญ๏ธ

See you there ๐Ÿ‘‹

30.05.2025 07:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Do You Even Handle Effects?
YouTube video by Ticino Software Craft Do You Even Handle Effects?

Today, I talked at Ticino Software Craft ๐Ÿง‘โ€๐Ÿ”ฌ. We discussed #Scala Effect Systems, both monadic and direct-style (in detail, the #YAES effect system).

It was a pleasure to join the Ticino software community.
Thanks, guys, for the opportunity ๐Ÿ™

www.youtube.com/watch?v=PEiM...

28.05.2025 19:40 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Do you even handle effects? | LinkedIn Scalaโ€™s effect systems have come a long way from Monix and Scalaz, to Cats Effect, ZIO, and now Ox and Kyo. The debate between monadic and direct styles is at its peak or maybe, it doesnโ€™t have to be ...

Save the date ๐Ÿ“…! I will discuss #Scala and Direct-Style Effect Systems this Wednesday at the Ticino Software Craft meetup ๐Ÿš€.

See ya online ๐Ÿ‘‹
www.linkedin.com/events/doyou...

26.05.2025 19:41 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Do you even handle effects? | LinkedIn Scalaโ€™s effect systems have come a long way from Monix and Scalaz, to Cats Effect, ZIO, and now Ox and Kyo. The debate between monadic and direct styles is at its peak or maybe, it doesnโ€™t have to be ...

On Wednesday, May 28th, I will join the team from Ticino Software Craft to share some knowledge and ideas about Effect Systems in #Scala โญ.

Everybody's welcome ๐Ÿ‘‹.

You can't miss it ๐Ÿ’ฏ

www.linkedin.com/events/doyou...

20.05.2025 19:33 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Scala.IO Scala.IO is a conference for people having interest in the Scala ecosystem or simply being curious about the language, usages

Hello folks ๐Ÿ‘‹

ScalaIO is back for another edition in 2025 ๐Ÿฅณ

๐ŸŒ It will be held at La Grande Crypte, Paris ๐Ÿ‡ซ๐Ÿ‡ท on the 17/10/2025
๐ŸŽŸ๏ธ Early birds tickets are already open to sales(f: Person => `scala.io`)
๐Ÿค CFP & sponsorships will open very shortly

See you soon ๐Ÿ˜Š

12.05.2025 07:10 โ€” ๐Ÿ‘ 6    ๐Ÿ” 5    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Version 0.3.0 of the #YAES library just landed ๐Ÿš€. No new effects this time, but the porting of the first bunch of methods of the #Kotlin `Flow` type! #Scala has flows now, and they compose well with YAES effects ๐Ÿ™Œ

Here are the release notes: github.com/rcardin/yaes...

09.05.2025 14:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Yesterday I played with the #YAES library to understand what is missing to gain RT. Guess what ๐Ÿค”? Maybe I managed to introduce some form of RT in a #Scala direct-style approach. I need you ๐Ÿซต to join the discussion:

github.com/rcardin/yaes...

cc @scalatimes.com

30.04.2025 06:31 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Hey, #Scala devs! To celebrate the Liberation Day in Italy ๐Ÿ‡ฎ๐Ÿ‡น(April 25th), here is a new version of the #YAES library! We added the `Log` effect that does what its name promises ๐Ÿ˜…

Keep on coding! ๐Ÿ™Œ

github.com/rcardin/yaes...

@scalatimes.com

24.04.2025 13:05 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
From the scala community on Reddit: YAES: Thoughts on context-based capability passing style for state threading and integration into tagless-final application Explore this post and more from the scala community

Someone tried to understand if #YAES can be successfully integrated into a Tagless-Final #Scala application ๐Ÿ˜, and the pros and cons. I never thought someone would be interested in my library. I'm so excited ๐ŸŽ‰

22.04.2025 14:53 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Iโ€™ve been #coding for almost 20 years in the โ€œtraditionalโ€ way. ๐Ÿ’ป Now, it's time to give AI a chance. I use it in its basic form, such as Copilot. Can someone point me to some resources to implement a more complex and effective workflow? ๐Ÿ™

19.04.2025 07:25 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Yo Dawg, Heard You Want To FlatMap Your Direct-Style by Riccardo Cardin | Scalar Conference 2025
YouTube video by SoftwareMill Yo Dawg, Heard You Want To FlatMap Your Direct-Style by Riccardo Cardin | Scalar Conference 2025

Yo Dawg, Heard You Want To FlatMap Your Direct-Style by @rcardin.bsky.social

Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.

18.04.2025 08:58 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#Scala Effect Systems' lovers ๐Ÿ’•, version 0.1.0 of the #YAES library is out! ๐ŸŽ‰ We added the `Clock` and the `System` effect. I know, not too much, but it's still honest work ๐Ÿ˜œ

Check it out: github.com/rcardin/yaes...

cc @scalatimes.com

16.04.2025 12:11 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Yo Dawg, Heard You Want To FlatMap Your Direct-Style by Riccardo Cardin | Scalar Conference 2025
YouTube video by SoftwareMill Yo Dawg, Heard You Want To FlatMap Your Direct-Style by Riccardo Cardin | Scalar Conference 2025

The video of my talk at @scalar-conf.com is finally out! ๐ŸŽ‰ In the talk, I live-coded a mini effect system using nothing but #Scala 3 context functions, building it up step by step.

youtube.com/watch?v=TXUx...

Thanks, @softwaremill.com, for this marvelous opportunity! ๐Ÿ™

15.04.2025 09:44 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Find a different effect definition, something like `Yaes[Random & Raise[E]] ?=> A` ยท Issue #19 ยท rcardin/yaes Find a different effect definition, something like Yaes[Random & Raise[E]] ?=> A.

I'm trying to use phantom types ๐Ÿ‘ป to create an alternative definition of the Effect in #YAES. As you know, YAES is a #Scala Effect System trying to use something similar to direct-style (Capability Passing Style).

Does anybody want to join the discussion? ๐Ÿ‘‹

github.com/rcardin/yaes...

09.04.2025 15:32 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
GitHub - funfix/tasks: Task datatype, meant for cross-language interop (Java, Kotlin, Scala) Task datatype, meant for cross-language interop (Java, Kotlin, Scala) - funfix/tasks

I'd like to build some libraries that are usable across #Java, #Scala & #Kotlin, but I also want to be free to pick my implementation language & libraries (Project Loom, Cats-Effect, Kotlin coroutines). This helps me expose nice APIs to all devs.

Work in progress: github.com/funfix/tasks

28.03.2025 05:58 โ€” ๐Ÿ‘ 15    ๐Ÿ” 6    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

On my way to Italy ๐Ÿ‡ฎ๐Ÿ‡น. Again, thanks to @scalar-conf.com and @softwaremill.com for such a fantastic organization ๐Ÿ‘. The talks had an extremely high quality ๐Ÿ“ˆ

See ya!

Don't forget to leave a star โญ to my project, github.com/rcardin/yaes ๐Ÿ™

29.03.2025 04:38 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

The last day of the @scalar-conf.com is over. Oh boy, what an adventure. ๐ŸŽ‰ Many thanks to all the people who work to make it happen ๐Ÿ™

Thanks to @rockthejvm.com for being such a great mentor and friend. Thanks to Martin for all the rest ๐Ÿ˜œ

28.03.2025 18:40 โ€” ๐Ÿ‘ 9    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
GitHub - rcardin/scalar-2025: Slides' Deck for the Scalar 2025 Conference Slides' Deck for the Scalar 2025 Conference. Contribute to rcardin/scalar-2025 development by creating an account on GitHub.

Yesterday was such a roller coaster! ๐ŸŽข I did my first talk ever to @scalar-conf.com, which was terrific. ๐ŸŽ‰ Here is the deck: github.com/rcardin/scal...

If you are there, letโ€™s meet ๐Ÿคฉ

28.03.2025 07:14 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Will there be any Italian ๐Ÿ‡ฎ๐Ÿ‡น ๐ŸคŒ ๐Ÿengineers at @scalar-conf.com? Letโ€™s meet in Warsaw in about 1 week ๐ŸŽ‰

20.03.2025 07:27 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

In #YAES, the Async effect lifts a #Scala program to the structured concurrency world. ๐Ÿš€ We have Fibers to have complete control over the concurrency, but we also provided the standard primitives ๐Ÿงฑ like `race`, `pair` and `racePair`.

github.com/rcardin/yaes...

13.03.2025 16:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Welcome @warski.org as a next #Scalarconf speaker!

Production-ready direct-style Scala

Grab your ticket
๐Ÿ›’ sml.io/tickets

#scalar #scala #itconference #functionalprogramming

11.03.2025 09:03 โ€” ๐Ÿ‘ 4    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

๐Ÿ“ฃHey, #Scala devs. It's a pleasure my last fatigue: #YAES, a shiny new Effect System library implementing Algebraic Effects. What's different with YAES? Well, you can use a for-comprehension or a capability passing style! ๐Ÿ˜ฑ

github.com/rcardin/yaes/

See you at the @scalar-conf.com ๐Ÿ‘‹

11.03.2025 16:16 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
DDD & LLMs - Eric Evans - DDD Europe Domain-Driven Design Europe 2024 - Organised by Aardling (https://aardling.eu/)https://dddeurope.comhttps://newsletter.dddeurope.com/ https://twitter.com/ddd...

Here is AI technology that addresses the heart of complex domains, which is where DDD sits. And we don't need to speculate much. Even the LLM technology we have today creates exciting possibilities. Watch this talk: buff.ly/3ZxFOL2 and join us for more at DDD Europe 2025!

06.03.2025 15:00 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

๐Ÿ”๏ธ @scaladays.org Call for Proposal is now open!

Deadline to submit your ideas โณ

6th of April 2025, 11:30 PM GMT

scala-lang.org/blog/2025/03...

06.03.2025 15:55 โ€” ๐Ÿ‘ 4    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@rcardin is following 20 prominent accounts