Forge en zoeken: bewijs door prestatie

Hand-geoptimaliseerde kernels zijn vaak folklore met een benchmark eraan. Forge behandelt performance als een zoekprobleem dat nog steeds door verificatie...