Themata.AI
Themata.AI

Popular tags:

#developer-tools#ai-agents#discussion#trending#llms#ai-ethics#claude#code-generation#ai-safety#openai

AI is changing the world. Don't stay behind. Clear summaries, community insight, delivered without the noise. Subscribe to never miss a beat.

© 2026 Themata.AI • All Rights Reserved

Archive

|

Topics

|

Privacy

|

Cookies

|

Contact
← All stories

Story

Kotlin creator's new language: a formal way to talk to LLMs instead of English

1 report

1 website

1 discussion

Latest report

Overview

CodeSpeak is a next-generation programming language powered by large language models (LLMs) designed for software engineers. It enables teams to shrink their codebase by 5-10 times and supports the development of production-grade systems through a combination of manually written and generated code.

Summary from codespeak.dev.

Reports

One report so far. Additional coverage will appear here when it is linked to this story.

  1. codespeak.dev

    Kotlin creator's new language: a formal way to talk to LLMs instead of English

    Read report →

Community reactions

Each reaction summarizes sampled comments from the linked discussion.

Hacker News · codespeak.dev

Kotlin creator's new language: a formal way to talk to LLMs instead of English ↗
Hacker News discussion ↗

Historical count: 5 · 5 saved in sample · Historical sample

Analysis ready

Read this discussion’s reaction

Based on 5 sampled comments from this thread. Analyzed 2026-03-12.

  • Praise: The proposed workflow for LLM-based development could streamline the process by saving prompts alongside source code, enhancing traceability and collaboration.
  • Praise: The idea of using a more precise programming language instead of English could address the verbosity and imprecision often encountered in coding.
  • Concern: The concept appears to be more of a tooling approach rather than a new language, which may limit its effectiveness in improving LLM interactions.
  • Concern: The non-deterministic nature of models means that re-applying changes could yield inconsistent outputs, undermining the reliability of the proposed method.
  • Concern: Assuming that a formalized language will simplify interactions with LLMs overlooks the complexities of how these models are structured and function.