specifications

更正说明：RTX Spark 没有 600GB/s 带宽；该数字实际上是 NvLink 速度，如 Computex 幻灯片所示。

文章认为，随着组织采用大语言模型进行代码生成，工程实践必须从审查生成的代码转向关注规格说明和测试，同时需要组织层面支持新流程。

GitHub上出现一个强制AI在写代码前先完成完整规格说明的开源系统，几天内获得95K Stars，推动AI从盲目写代码转向先思考再执行。

GitHub 开源了一个系统，强制 AI 代理在编码前编写完整规范，迅速获得 9.5万星标。

本文主张，一个全面的规范并不等同于代码，因为规范定义了一组可能的实现，而代码则是其中的一个具体实例。文章讨论了抽象的作用，并解释了为什么即使在自动代码生成的情况下，仍然需要程序员来编写规范。

Hillel Wayne 基于对社区项目的分析，讨论了尽管 LLM 在编写 TLA+ 和 Alloy 等形式化规范方面很受欢迎，但它们经常生成浅显、同义反复的属性，无法捕捉微妙的缺陷。