The first case should reduce to a Record for Java.

They give no examples of where Kotlin's extra type inference is of benefit.

They don't compare virtual threads to coroutines.

I stopped reading after that.