#Kyo 0.15.0 is out and it's yet another packed release! ✨ 🔄 new Monix integration 🚀 multithreaded Scala Native 🔒 STM effect w/ fine-grained locking + TMap ⚡️ Async.gather for parallel execution w/ results collection 🛠️ stream improvements, simplified Batch, and more

Scala doesn't need tooling. This got solved few times over. Scala doesn't need stability. This got solved with Scala 3. It's not perfect but we have a decent balance between stability and innovation. What scala needs is good press. When was the last time Scala was advertised

I wanted to avoid drama but I think I want to share my perspective on this one. I've been using Scala 3 for a few years now, and the experience has been quite surprising. Everything just works across language versions and major improvements are rarely intrusive. And that's with a

Still experimental, but while this might seem as a very small #Scala feature, it's going to make pattern matching so much easier and useful - and hence more widespread. Pattern matching + immutable data is one of *the* most useful traits of FP!

Fun fact: Kyo uses intersection and higher-kinded types with variance to track effects and it's something most languages can't even express! 😱 Haskell can't directly encode the unordered pending effect set, TypeScript/Kotlin/Rust lack proper HKT, and only PureScript comes close

Sat evening - playing around with Kyo - the Scala 3 library for algebraic effects. Must say the Pending type `<` is simply a work of art. One monad rules it all - literally opens up the possibility of having unbounded algebraic effects that can be safely composed within the

I will be speaking at Lambda Days this year! :) I will show how functional Scala with Cyfra can be used to develop GPU programs such as ray tracers and ray marchers - we will develop one live. Ambitious plan now is to clean up, expand and release Cyfra. lambdadays.org/lambdadays2025…

If you want to play with some cool tech and help Kyo become a viable alternative to build high-performance backend systems in Scala Native, we have a new bounty to integrate with #Aeron in #Scala Native! 👇🏽

Here Eric Torreborre makes a compelling case for ditching brittle infra-as-code tools in favor of real programming languages. Bonus: he highlights how Unison | @unison-lang.org on bsky's content-addressed, purely functional design could revolutionize the space. 🚀 Check it out: etorreborre.blog/we-can-do-much…

On the way to make #scala a realtime procedural graphics editor :) 3D and animations are coming! #gpu #generativeart

Jon Pretty Book Principled Metaprogramming in Scala 3: eventbrite.com/e/workshop-pri…

It's ideal to write functions to only accept the narrowest type required for their function, preventing implicit scope creep and complexity in testing. In many scenarios, this becomes quite daunting, requiring many parameters or a new data type to store the only fields necessary.

If you are in Warsaw on April 24, join the meetup: meetup.com/aws-user-group…. I will explain how the Serverless Framework can help you to build and deploy your application using AWS Lambda, DynamoDB, and S3. #AWS #meetup Special invite for my dear friends: Igal Tabachnik Jon Pretty 🧸

LAST CHANCE! Early Bird Tickets for our Paid Workshops end this week 👀 Principled Metaprogramming in Scala 3 with Jon Pretty Get tickets here: eventbrite.com/e/workshop-pri… Complete APL: Real-world Apps, Real Small Code with Aaron W. Hsu Get tickets here: eventbrite.com/e/workshop-com…

This unicorn won't be sharing his notes, so you better book your seat if you haven't already 👀 APL workshop: buff.ly/tovxi32 Scala 3 workshop: buff.ly/0yXbIvE Instructors: Aaron W. Hsu Jon Pretty

Just blogged, 'Waving a Fond Farewell to LambdaConf'. After 10 years, the 2025 edition of LambdaConf will be the iconic brand's last public event. 😢 There's still time to grab a ticket and join me in this celebration of programming at the frontier! 👇 ziverge.com/post/waving-a-…

perfIO 0.2 is finally out! The work on the main new feature, output filters, took me far too long, and required several redesigns. Filters exchange blocks with the underlying BufferedOutput (instead of copying) and support sync, async and parallel implementations.

Eric Torreborre introduces Jon Pretty for his talk: Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back 🔥 buff.ly/2pBc6Ci

Jakub Zalas [2/2] Switched to Chiaroscuro from Jon Pretty's Soundness platform. github.com/propensive/sou… The results speak for themselves - clean, readable output that scales beautifully even with massive data structures. (PS: Initially explored Difflicious, and this macro story from this

As a pet project I’m working on mobile app for freelancers where you can track your contacts/customers, schedule follow up remainders, take notes, use checklists for specific customer etc. Do you think anyone would need it? What would you add there if so?