Home 零对冲(ZeroHedge)每日HackerNews

Kotlin 创作者的新语言：一种以非英语方式与 LLM 交流的正式方法。
Kotlin creator's new language: talk to LLMs in specs, not English

原始链接: https://codespeak.dev/

案例研究 代码行数[1] 规范代码行数[1] 压缩率 通过的测试 yt-dlp (视频下载器) 的 WebVTT 字幕支持 2553 86.7x 之前：1241/1242 之后：1278/1279 (增加了 37 个测试) Faker (用于生成模拟数据的 python 库) 的意大利 SSN 生成器 165[2] 217.9x 之前：2216 之后：2229 (增加了 13 个测试) beautifulsoup4 (用于解析 HTML 和 XML 的 Python 库) 的编码自动检测和规范化 826 1415.9x 之前：889 之后：914 (增加了 25 个测试) markitdown (Python 库，用于将任何内容转换为 markdown) 的 EML 到 .md 转换器 139 149.9x 之前：165 之后：192 (增加了 27 个测试) [1] 计算代码行数时，我们去除空行并将长行拆分成多行 [2] 意大利市镇代码列表 (~8000 行代码) 已排除

一种名为CodeSpeak的新编程语言，由一位Kotlin开发者创建，旨在提供比自然英语更正式、更精确的与大型语言模型（LLM）交互方式。其核心思想是超越传统语言的编程，但具有讽刺意味的是，它引入了一种新的语言，认为英语对于可靠的LLM指令来说过于模糊。 Hacker News上的讨论持怀疑态度。一些人质疑再增加一种语言的价值，尤其是在目标是完全消除编码的情况下，并建议可能会出现一种将英语翻译成CodeSpeak的服务。另一些人指出，远离既定代码的正式性的固有问题，并建议Langflow或Gherkin风格的测试等工具可能更实用。 还有关于CodeSpeak是否真正“正式”以及其主要优势是什么的争论，一些人将其目前的呈现方式与Markdown进行比较。
相关文章
原文
Case StudyCode LOC[1]Spec LOC[1]Shrink FactorTests Passed

WebVTT subtitles support for yt-dlp (video downloader)

255386.7x

before: 1241/1242
after: 1278/1279

(37 tests added)

Italian SSN generator for Faker (python library for generating mock data)

165[2]217.9x

before: 2216
after: 2229

(13 tests added)

Encoding auto-detection and normalization for beautifulsoup4 (Python library for parsing HTML and XML)

8261415.9x

before: 889
after: 914

(25 tests added)

EML to .md converter for markitdown (Python library for converting anything to markdown)

139149.9x

before: 165
after: 192

(27 tests added)

[1] When computing LOC, we strip blank lines and break long lines into many
[2] List of Italian municipalities codes (~8000 LOC) is excluded

联系我们 contact @ memedata.com