Back to Events
8

Kotlin Creator Launches Codespeak: Specification Language for LLMs

Open Source LLM 2026-03-13 09:44:21

Summary

The creator of Kotlin unveiled Codespeak, a programming language for LLM communication using formal specifications rather than natural language. The project gained 292 points and 257 comments on HN.

Impact Analysis

Codespeak represents a paradigm shift in AI interaction, moving from imprecise prompts to formal specifications. If adopted, this could dramatically improve reliability in AI-assisted programming.

Sources