摘要： AI Language Built for Humans 是一种由大型语言模型（LLMs）支持的下一代编程语言，旨在通过使用CodeSpeak减少代码库的规模5-10倍。
讨论： 这段内容主要讨论了使用自然语言生成代码的挑战和可能性。多位用户分享了他们对通过自然语言描述来生成代码的看法。一些用户认为，直接用自然语言描述代码的功能是困难的，因为自然语言的模糊性和不精确性可能导致生成的代码与预期不符。其他人则提出了通过将自然语言描述转换为形式化规范，然后由工具将规范转换为代码的方法。这种方法的优点是可以保存和审查整个规范，但缺点是可能无法完全捕捉到所有细节，且可能需要大量的验证工作。此外，还有一些用户提出了关于模型的可预测性和对上下文理解能力的担忧。
原文标题：Kotlin creator’s new language: talk to LLMs in specs, not English
原文链接：https://codespeak.dev/
讨论链接：https://news.ycombinator.com/item?id=47350931