Hacker News：AI 热帖· burcsahinoglu·· 5 天前AI 评分56
LLMLL v0.28.0 发布：AI 智能体填充类型化空洞，SMT 求解器拒绝错误实现
Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills
AI 导读
LLMLL v0.28.0 发布，这是一种面向 AI 智能体按形式化合约写代码的编程语言与验证流水线。智能体通过 llmll checkout 获取带前置条件、后置条件和作用域的类型化 ?
来源：Hacker News：AI 热帖 · github.com