CWhat changed
Presented shorter three-value sorting routines and hardware-specific speed comparisons, exposing the importance of the permitted program space and benchmark setup.
Scientific scope
Presented shorter three-value sorting routines and hardware-specific speed comparisons, exposing the importance of the permitted program space and benchmark setup. Scope limitation: The 14-instruction routine uses a loop. The repository erratum restricts the 15-instruction branchless routine to non-negative inputs; it is not a signed-input replacement as originally presented. These do not establish optimality within AlphaDev’s exact search grammar or a universal speed advantage. Neri explicitly makes no originality claim for the straightforward faster routine. Later Kauer code is separately credited. WRS read sources without compiling them or reproducing timings.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. The 14-instruction routine uses a loop. The repository erratum restricts the 15-instruction branchless routine to non-negative inputs; it is not a signed-input replacement as originally presented. These do not establish optimality within AlphaDev’s exact search grammar or a universal speed advantage. Neri explicitly makes no originality claim for the straightforward faster routine. Later Kauer code is separately credited. WRS read sources without compiling them or reproducing timings.
Contributors
- Cassio Neri · SCIENCE: Named source contributor; exact labor shares are not measured.
- Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)
- Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348
- Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction