I haven't blogged in a while, but this needed to be written: kubuszok.com/2025/sanely-aut…

🎥The Lambda World ’25 recap is live! 💥 Cádiz gathered the functional faithful for monadic potions, hot topics like Correctness, Formal Verification & Refinement Types, and classics: Effect Systems, DSLs, and new FP languages. ⚡️We may be few, but the future is functional. λ

Yeah, I had a great time too! cc @jxm_math

New episode just dropped! With Mike Sperber — Scheme hacker, R6RS editor, and organizer of @BOBKonf & FunArch. We talk about the death of OOP, the beauty of Scheme, macros, FP in industry and more! piped.video/TCXm4hUsFqA

Still the best atmosphere conference by far! I meet so many lovely people, discover so many unknown unknown things and most importantly we all should be able have fun at work.

I just published an article on encoding effects as capabilities, because it's both surprisingly simple and fun: nrinaudo.github.io/articles/…

Pick our #LambdaWorld25 merch! 5 designs → 1.- T-Shirt & 2.- Tote Bag. Vote now: tally.so/r/woqQK5, before September 12th! #FunctionalProgramming #PunkDevelopment #HardcoreMonads #ScreamingforFunctors #Mytypes #LambdaCalling #LambdaFlag

Damn. Just found out via LinkedIn post (by @vpatryshev) that @oleg_pyzhcov had passed away in 2022. Oleg was responsible for many amazing Scala contributions, most notably - better-monadic-for (bm4) RIP, Oleg. linkedin.com/posts/vpatryshe…

Just blogged "Understanding Match Types in #Scala 3" - with interactive demonstrations (and links to real code to try yourself) bishabosha.github.io/article…

To Effect or Not to Effect - a Scala Perspective by @danielciocirlan Func Prog Conf the 15th of October Get you ticket at: funcprogconf.com/

Scaladays 2025 was a blast, had so many great conversations with so many people. Hope to see all of you soon. Also checkout my slides and code examples for my talk here: github.com/lenguyenthanh/tal…

Posting is there jobs.lever.co/swissborg/eece…

Big news! We are launching a new sponsorship program for orgs passionate about Programming Languages & Type Theory. Reach a highly engaged, technical audience! Email contact@typetheoryforall.com for details. Please RT to help us reach big companies and deepen our content focus!

🚀 Kyo 1.0-RC1 - A New Era of Simplicity and Stability! ✨ Forget nested monads, forget tagless final, forget mtl, forget uber monads. It's time for a new dawn! After 3 years of rapid iteration, Kyo is finally committing to API stability, making it production-ready 🎯 The library represents a significant evolution step in Scala, providing an unprecedented level of composability with a major focus on usability and performance. This isn't "just" another effect system, it is a new paradigm altogether! 🔥 Kyo is the most complete algebraic effect implementation in any language and fills common gaps that similar solutions miss like fully type-safe effect tracking and parallelism support with effects. The RC cycle might be quick or it might take a long time. Want to know what could help shorten it? Your feedback! 📝 Reporting issues, filing feature requests, or just providing general feedback can greatly reduce the RC cycle so we can get to the 1.0 🙏 Kyo 1.0 here we goooo 🚀🚀🚀🚀🚀

Can’t wait for @LambdaDays next week! If you spot me, come say hi—let’s geek out about Scala, functional programming, lichess-org, or literally anything that pops into your head. Let’s make it fun! 🎉

I had fun contributing the new SimpleTable class to the com-lihaoyi/scalasql query library. It lets you drop the `T[_]` from table definitions, and it's based on named tuples and structural types in Scala 3.7. Have a read. bishabosha.github.io/article…

btw, I just created a bluesky account: bsky.app/profile/lenguyentha…

Super excited, I'll talk about a novel way for error handling in Scala. Please check it out and see you there: scaladays.org/editions/2025/…

Last Thursday we started our summer term with a great session at SiriusXM. Next session is online on the 8th of May: meetup.com/scalabridge-londo… We have a few new groups running this term (music, Cats, another web project) as well as the usual foundations / Cats Effect / etc.