SPECMINE: A Large-Scale Corpus of Spec-Driven Development Artifacts 精读
深度精读 CMU 数据集论文 SPECMINE(MSR 2027 Mining Challenge 数据集):对 GitHub 上 47 万个 spec 文件、7.3 万仓库的全面普查,配合 5992 个 spec 触碰 PR 与 242 万条类型化引用索引,首次让「AI 时代的软件如何被规格化」从诞生之日起可大规模研究——99.7% 的 spec 首次提交于 2025 年之后。