在计算领域，需求独立于任何现有实现的地方，可以自由地重新表述其计算；而一旦现有输出悄然成为规范，便无能为力。本文观察到了这一现象，并将其作为现代加速器计算重新表述的视角。通过以硬件友好的形式提出问题，可以获得显著的速度和能量收益，但前提是能够对替代方案进行评判。
该文基于测试神谕问题（Weyuker; Barr等人）、需求工程中的实现偏见概念（Zave和Jackson）以及屋顶线性能模型，提出了“基线捕获”这一病理现象——即现任者不再是满足需求的证据，而成为满足需求的定义。它将两个容易混淆的问题分开：一方面，重新表述是否可以被评判（这取决于是否存在独立于现任者的需求）；另一方面，发现该需求是否可以自动化（这还取决于评估该需求的成本）。
短小的案例——最短路径路由、可学习的音频前端、用于Ed25519签名验证的ZIP-215、气候模型的CESM-ECT以及单个GEMM音频前端——展示了这一模式以及“购买验证器”的转变：使需求明确、可操作且独立于现任者。虽然文中所涉及的任何组件在孤立状态下都不声称具有新颖性，但其贡献在于综合和提出一个易于询问的单一问题——其接受测试是否提及现任者的输出？
博主点评： 本文深入探讨了在现代计算环境中，如何有效地重新表述计算问题以提高性能和效率。通过明确需求与现有实现之间的关系，揭示了技术发展的潜在障碍，值得在计算领域的各类应用中引起重视。尤其是在硬件加速器的设计与优化中，这种思考方式将极大推动技术的进步。