2018.02.08 17:11:35 (961633619067527169) from Daniel J. Bernstein:
10000 Haswell cycles to sort 1024 32-bit integers: 13x faster than radix sort in Intel's Integrated Performance Primitives library, 2.6x faster than sorting code from NTRU Prime paper. Working on formal verification.