Dominik Tornow：AI 编程时代代码编写抽象已足，规格与验证抽象才是稀缺品

Dominik Tornow 发推指出，业界过去几十年为编写代码构建了大量抽象（语言、框架、工具链），AI 编程时代真正稀缺的是用于规定和验证代码的抽象，即形式化表达程序应满足的要求。eulerfx 回应称，需要的是针对「系统」而非仅「代码」的规格化抽象，且应验证「意图」而不仅是「实现」，由此引发系统级规格抽象的讨论。