Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler https://lobste.rs/s/xkziyp #testing #kotlin
31.10.2025 14:52 β π 1 π 1 π¬ 0 π 0@vergauwensimon.bsky.social
Developer Advocate @ JetBrains #Kotlin since 2015 @arrow_kt maintainer
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler https://lobste.rs/s/xkziyp #testing #kotlin
31.10.2025 14:52 β π 1 π 1 π¬ 0 π 0Good luck! Looks like a great view, and weather π Love following your remote work, Iβm just sitting here in my βremoteβ village π
Will the content available, and/or a recording?
an orange kodee sitting down with a pumpkin on its head. fun fact: I was gonna put a duke on the pumpkin but it kept looking like among us so i didnt)
happy halloween and wait why is kodee orange
31.10.2025 04:59 β π 23 π 5 π¬ 1 π 2There's a GitHub repo up on github.com/mreichelt/ko..., with some handy scripts to try these features out yourself!
29.10.2025 04:44 β π 1 π 1 π¬ 0 π 0Warming up for @droidcon.bsky.social London?
Why not also warm up your JVMs to get faster startup times, with CRaC, Ahead-of-Time Class Loading & Linking (JEP 483) and AoT Method Profiling (JEP 515)?
My Droidcon Berlin talk is now up - enjoy!
www.youtube.com/watch?v=paoA...
if you see this post, your actions are:
- if you have a spare buck, give it to Wikipedia, then repost this
- if you don't have a spare buck, just repost
your action is mandatory for the world's best source of information to survive
You can find the workshop about Pure Functions, Powerful Effects, you can find it here: jb.gg/8obvnt
27.10.2025 08:46 β π 2 π 1 π¬ 0 π 0Had an amazing time at #LambdaWorld 25!
Gave 2 workshops with @serranofp.com about @kotlinlang.org. Had great chats about Kotlin not the server, for FP, Kotlin Notebooks, @jetbrains.com and @intellijidea.com π
You can find the workshops here: jb.gg/tj9qf6
Hope to see you all next year!
Software calling me out on trauma dumping? π
23.10.2025 14:30 β π 2 π 0 π¬ 0 π 0π’
Iβm sharing this with the team, but not sure thereβll be any solution.
I guess I was partly responsible for the stock outage π
23.10.2025 10:21 β π 1 π 0 π¬ 1 π 0Itβs Lamda World today and tomorrow and I brought Kodee!!
Come to @serranofp.com and my workshop today, or swing by the @kotlinlang.org @jetbrains.com booth tomorrow and come say hi!
Hope to see you there!
JetBrains Plugin Developer Conf returns this November!
Join JetBrains experts and plugin developers for a full day of inspiring talks, live Q&A sessions, and deep dives into the latest in plugin development.
ποΈ November 5 | 10:00 am CET
π» Online
πΈ Free
Register π jb.gg/PluginDevelo...
A conversation around Kotlin coroutines π
@sebi.io, @zsmb.co, and @marcinmoskala.bsky.social spent two glorious hours exploring coroutines in depth.
ποΈ If you love Kotlin, you won't want to miss this episode: www.youtube.com/watch?v=1zY4...
π Dokka 2.1.0 is out!
This version focuses on stabilizing experimental features, supporting new Kotlin language updates, and improving the user experience.
π Check out the details: https://github.com/Kotlin/dokka/releases/tag/v2.1.0
We'd really appreciate your feedback!
π Koog 0.5.0 is here! In addition to full A2A support, this release introduces:
π‘ New non-graph API for strategies
π οΈ Tool API upgrades
π Stronger agent persistence
β¨ And more!
Dive into whatβs new: https://jb.gg/m5t46p
Junie is perfect for something like this (in a #KMP project).....it added Android, iOS and JVM implementations (using expect/actual) and also updated the tests.
15.10.2025 08:24 β π 3 π 2 π¬ 0 π 0I've written a small blog post about how context parameters change API design in Kotlin serranofp.com/blog/context...
Feedback and discussion is more than welcome!
Because obviously what the world was missing was yet another manifesto, I proudly present:
The Agents Manifesto β a survival guide for working with AI without losing your sanity.
Coming soon to a stone tablet near you.
antonarhipov.github.io/agents-manif...
For your weekend #Devoxx playlist:
Be more productive with @intellijidea.com, by yours truly
www.youtube.com/watch?v=ZWec...
This yearβs Kotlin Multiplatform Contest for students and recent graduates is open. Build a project using KMP, and it could take you to KotlinConf 2026 in Munich, Germany!
π https://kotlinconf.com/contest/
π JUnit 6.0 is here, and it brings even deeper Kotlin support! Now, you get:
β¨ Suspend and cancellation support
β¨ Kotlin 2.2 baseline
β¨ Improved nullability annotations
β¨ Convenient UX with contracts
Check out the full release notes π kotl.in/b8wncm?utm_c...
Build a Kotlin Multiplatform Project and Win a Trip to KotlinConf 2026
blog.jetbrains.com/kotlin/2025/...
For students and recent graduates.
Vadim Briliantov talking about Koog on the Devoxx stage.
Building a #SpringFramework application with #Koog agents by @vadim-briliantov.bsky.social #Devoxx
08.10.2025 12:12 β π 6 π 2 π¬ 0 π 0I was thinking exactly the same!
09.10.2025 17:02 β π 2 π 0 π¬ 0 π 0ποΈ Spoke at #Devoxx about making #AI agents truly fault-tolerant and recoverable with #Koog β #JetBrainsβ open-source framework for resilient #JVM + #Kotlin AI systems.
Also showed how to integrate Koog agents into #Spring/#SpringBoot apps.
π₯ Full talk: youtu.be/2l1GBp80CbY
Hi @devoxx.com!
Iβm at the @jetbrains.com booth this week.
Be sure to come say hi if you want to hear about Kotlin! π¬
β‘ Want to increase the speed of your iOS builds? Try incremental compilation for Kotlin/Native, by adding this to your Gradle properties:
kotlin.incremental.native=true
This is an experimental feature, and we'd love to hear your feedback.
Learn more π https://kotl.in/t37r88
Published a KEEP on suspend lambdas and anonymous functions: github.com/Kotlin/KEEP/...
06.10.2025 11:09 β π 9 π 2 π¬ 0 π 0It can be counter productive as well π
LLMs are differentiating more and more on how to βoptimiseβ the prompts. I.e.
- XML vs yaml vs json
- All caps important instructions were good in gpt4 but bad on gpt5
So fine tuning a prompt for 1 model might detune it for another.