Kotlin creator's new language: a formal way to talk to LLMs instead of English https://codespeak.dev/