brownfield

本文讨论了AI编码智能体循环如何在不经意间从现有代码库中学习并传播已弃用的代码模式，导致技术债务，尽管表面看起来很成功。

LemmaScript 是一套全新工具链，可将 TypeScript 编译为 Dafny 进行形式化验证，无需改动运行时，并已通过验证 Hono 框架中一个 CVE 修复实例加以演示。