Alejandro Serrano Mena
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
In the latest days I’ve done a big update to the “Poké-Fun with Kotlin and Arrow” guide serranofp.com/poke-fun/ - Much more about optics - New section about using (local) LLMs with Koog - Over-arching tasks such as comparing different domain representations
Welcome
serranofp.com
My "Context parameters and API design" talk at @kotlinconf.com is now available www.youtube.com/watch?v=O1nT...
Context Parameters and API Design | Alejandro Serrano Mena
YouTube video by Kotlin by JetBrains
youtube.com
Let me share the '.kar' (Kotlin Archive) file format 🙇♂️! A single binary you can publish, which shall carry everything necessary to build your project! While this is a prototype, I really would like to share some of our early measurements! 🥳
Who here is using agents extensively with #Kotlin/Java and #Gradle? Have you ever seen agents `unzip jar`, or parse `build/reports/test`? Or any other silly things? I've been trying to streamline these scenarios to make working with agents more efficient. Check it out. github.com/nomisRev/age...
GitHub - nomisRev/agent-tools-for-kotlin: Agent Tools for Kotlin to make coding agents more efficient with Kotlin & Gradle
Agent Tools for Kotlin to make coding agents more efficient with Kotlin & Gradle - nomisRev/agent-tools-for-kotlin
github.com
Haskell Wizard by Alejandro Serrano Mena is the featured bundle of ebooks 📚 on Leanpub! Become a real Haskell wizard with these two books! On the one hand, get your hands dirty with every major library in the ecosystem. On the other hand, climb the ivory … leanpub.com/b/haskell-wi...
⏰ Just two weeks left! Apply by July 14 for a 2026 Kotlin Foundation Grant for Library Authors. Building an open-source Kotlin library, tool, or framework? Your project could receive funding – especially if it advances Multiplatform, AI, or LLM development. Apply now 👇 https://kotl.in/muii75
We've been looking forward to this one! Kotlin 2.4 introduces collection literals. Create lists as easy as `val x = [1, 2, 3]`. They can even be combined with name-based destructuring for a neat effect. Today's 6-minute video is all about 'em: www.youtube.com/watch?v=cXg4... #Kotlin #AndroidDev
We've Been Looking Forward to This One...
YouTube video by Dave Leeds
youtube.com
🎉 Kotlin turns 15 this year! 🎉 As part of the celebration, we've brought the Kotlin Effect into real life – making everyday situations more concise, efficient, and fun. Explore the Kotlin Effect further: kotl.in/6xzc69
Kotlin 2.4.0 ships with a HUGE power-assert update I've been slowly working on for *years*. It's the culmination of efforts I started before joining JetBrains. It's subtle from the user's perspective, but it helped fixed a bunch of problems and unblocks tons of future improvements! 🚀
Power-assert compiler plugin | Kotlin
kotlinlang.org
Kotlin by JetBrains@kotlinlang.org · 2mo ago📢 Kotlin 2.4.0 is out! Learn more: ➡️ kotl.in/2-4-0
Today I’m speaking at J-Spring about Kotlin! @nljug.bsky.social
Ever upgraded Kotlin? We’d love your feedback! Tell us about your experience with Kotlin releases, including EAPs, stable versions, and patches! ⏱️ It takes just 12 minutes. Share your thoughts with us here: https://surveys.jetbrains.com/s3/Kotlin-release-1
Kotlin Release Survey
surveys.jetbrains.com
Kotlin is moving toward name-based destructuring – new syntax that will make reordering and moving properties a breeze. No worries: There will be a long migration period with compiler and IDE support. Learn what’s changing and how the migration will work 👇 https://kotl.in/8nny1l
The Road to Name-Based Destructuring | The Kotlin Blog
Kotlin is introducing new destructuring syntax. See what changes, why it matters, and how migration will work.
kotl.in
If you somehow missed the KotlinConf keynote last week, here are the top 10 KMP announcements with links to learn more about each 🧵👇
If you’re at @kotlinconf.com the next couple of days, come and say hi to the Language Evolution team! We have a booth dedicated to new and upcoming language features, and would love to know what you miss in @kotlinlang.org.
The next video on the Kotlin YouTube channel is scheduled for tomorrow, with some exciting KMP news! And that reminds me: we need just ~1000 more people to get to 100k subscribers. Can get that by KotlinConf next week?
Kotlin by JetBrains - YouTube
Concise. Multiplatform. Fun.Kotlin is a concise, cross-platform programming language developed by JetBrains.Expand your Kotlin skills with the official YouTu...
youtube.com
Happy to share that we have folks from the language design team blogging about new features! Check out this post by @serranofp.com about how Kotlin is moving to a safer, Name-Based Destructuring syntax: blog.jetbrains.com/kotlin/2026/...
The Road to Name-Based Destructuring | The Kotlin Blog
Kotlin is introducing new destructuring syntax. See what changes, why it matters, and how migration will work.
blog.jetbrains.com
⚙️ Want more robust async patterns in your backend? Simon Vergauwen dives into structured concurrency in Ktor for real-world services. Watch the talk and see how it applies in practice 👇 https://www.youtube.com/watch?v=JxTIZAEos8Y
Coroutines and Structured Concurrency in Ktor | Simon Vergauwen
YouTube video by Kotlin by JetBrains
youtube.com
Error handling is NOT about nesting flatMaps… and other Arrow misconceptions ivan.canet.dev/blog/2026/05...
Arrow: Error handling without flatMap - Ivan “CLOVIS” Canet
Software engineering, open source and computer security
ivan.canet.dev
Tried the experimental Collection Literals feature in Kotlin 2.4.0-Beta2 over the weekend. Feels nicer than I expected!
Enable experimental collection literals by zsmb13 · Pull Request #701 · JetBrains/kotlinconf-app
The official KotlinConf application. Contribute to JetBrains/kotlinconf-app development by creating an account on GitHub.
github.com
This is your chance to learn coroutines from one of the best educators in the community 👨🏫, and one of the best engineers in the team 👩🔧 (and me 😬)
KotlinConf@kotlinconf.com · 3mo agoUsing coroutines but not 100% confident you’re doing it right? Join the Coroutines workshop and learn how to build reliable, high-performance concurrent systems. 🗓️ May 20 · 📍 Munich ⚠️ Spots are filling up fast – save yours now 👇 https://kotl.in/coroutines-workshop
Using coroutines but not 100% confident you’re doing it right? Join the Coroutines workshop and learn how to build reliable, high-performance concurrent systems. 🗓️ May 20 · 📍 Munich ⚠️ Spots are filling up fast – save yours now 👇 https://kotl.in/coroutines-workshop
🎟️ Early bird tickets for KTConf 2026 are live! Belgium's Kotlin conference returns Fri Sept 18 at Museum M in Leuven. Talks, reception, dinner — €250. Grab yours before early bird runs out: ktconf.be/tickets/ #Kotlin #KotlinLang #KTConf
Tickets
Get your tickets for KTConf 2026
ktconf.be
In Lean you can use a `Prop` inside an `if` when it has a `Decidable` instance. Such an elegant design! lean-lang.org/functional_p...
Standard Classes
lean-lang.org
This is a great intro to the new @kotlinlang.org feature, including all the migration facilities
Dave Leeds@typealias.com · 4mo agoHave you tried name-based destructuring in Kotlin 2.3.20? In this clip from the recent TypeAlias Show, you can learn all about the three modes of this new experimental feature, and see how you can start using it (or migrating toward it!) in your own projects. www.youtube.com/watch?v=tvpB...
Have you tried name-based destructuring in Kotlin 2.3.20? In this clip from the recent TypeAlias Show, you can learn all about the three modes of this new experimental feature, and see how you can start using it (or migrating toward it!) in your own projects. www.youtube.com/watch?v=tvpB...
The New Name-Based Destructuring in Kotlin 2.3.20
YouTube video by Dave Leeds
youtube.com
I've decided it's time to seriously learn Lean 4. I had forgotten how nice is to work with interactive programming language environments!
