Kotlin, Nix(OS), studying TCS @ UT (NL )