Hacker News Show HN· burcsahinoglu·· 11 天前AI 评分36
Show HN: Llmll v0.28.0——AI agent 填类型化空洞，SMT 求解器拒绝错误实现
Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills
AI 导读
LLMLL（Large Language Model Logical Language）v0.28.0 发布，这是一门让 AI agent 在形式化契约下写代码的语言与验证流水线，编译器用 Z3 在补丁合入前证明每个函数体满足契约。
来源：Hacker News Show HN · github.com