GitHub · 去对齐工具与仓库·· 19 天前精选AI 评分59
Almide 开源：以 AI 编辑存活率为核心指标的静态类型语言
almide/almide
来源与原文
GitHub · 去对齐工具与仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/almide/almide
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
almide/almide 在 GitHub 开源了 Almide，一种静态类型语言，核心指标是代码在一系列 AI 驱动编辑后仍能编译并通过测试的比率。它经 Rust 编译到原生二进制并直接发射 WebAssembly，两目标输出字节一致；编译器诊断会指出缺失的 match 分支并给出具体修复。almide-dojo 在 38 个任务上测得 Llama 3.3 70B 通过率 65%、Llama 3.1 8B 44%；项目处于 pre-1.0，采用 MIT 或 Apache 2.0 双许可。
推荐理由
这个语言把编译器报错设计成可直接补全的修复指引，并用 LLM 写作性评测数据佐证，对关注 AI 编码工具链的人有参考价值。
来源：GitHub · 去对齐工具与仓库 · github.com