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
codespeakllmscode-generationdeveloper-tools

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

CodeSpeak: Software Engineering with AI

codespeak.dev

March 12, 2026

1 min read

🔥🔥🔥🔥🔥

62/100

Summary

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.

Key Takeaways

  • CodeSpeak is a next-generation programming language powered by large language models (LLMs) that enables software engineers to shrink codebases by 5-10 times.
  • CodeSpeak facilitates the maintenance of specifications over code, making it easier for teams to manage long-term projects rather than just prototypes.
  • Real-world case studies demonstrate that CodeSpeak can significantly reduce lines of code (LOC) while maintaining functionality, achieving shrink factors of up to 9.9x.
  • CodeSpeak supports mixed projects, allowing for a combination of manually written code and code generated from specifications.
Read original article

Coverage & discussions

Hacker News · codespeak.dev

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

Community discussions

Hacker News discussion ↗

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

Analysis ready

Community Sentiment

Mixed

Positives

  • The proposed workflow for LLM-based development could streamline the process by saving prompts alongside source code, enhancing traceability and collaboration.
  • The idea of using a more precise programming language instead of English could address the verbosity and imprecision often encountered in coding.

Concerns

  • The concept appears to be more of a tooling approach rather than a new language, which may limit its effectiveness in improving LLM interactions.
  • The non-deterministic nature of models means that re-applying changes could yield inconsistent outputs, undermining the reliability of the proposed method.
  • Assuming that a formalized language will simplify interactions with LLMs overlooks the complexities of how these models are structured and function.

Related Articles

Introducing Muse Spark Open, The Most Capable US Open‑Weight Model to Date

Muse Spark Open

Oct 15, 2026

Fast and Hard Code

Fast and Hard Code

Aug 23, 2026

Building an (almost) fully self-hosted, sandboxed, agentic software factory

Building an (almost) fully self-hosted, sandboxed, agentic software factory

Aug 21, 2026

AI At Home Part 1: A Box Of Scraps

AI At Home Part 1: A Box Of Scraps

Aug 13, 2026

LLMs reward expertise

LLMs reward expertise

Aug 3, 2026