machine language

论文提倡在软件开发中结合测试、规范和证明

一篇题为“摆脱流沙：行动的呼吁”的新论文主张采用一种结合测试、规范和数学证明的务实软件开发方法。作者认为，尽管当前的开发实践取得了成功，但它们积累了大量的技术债务和风险，而这些风险因 AI 赋能的工程而加剧。他们建议在传统代码和测试的同时，逐步协同开发可执行的局部规范，以改善 AI 和人类开发者的反馈循环。该论文呼吁创建语义基础设施来支持这些更强大的反馈机制。