The microblog: 2018.07.11 09:44:36

2018.07.11 09:44:36 (1016951373005455360) from Daniel J. Bernstein, replying to "Questor/Inter (@questorInter)" (1016942018189283335):

The fast sorting code (what people will put into applications) is public domain. On the verification side, angr and valgrind are GPL, and my parts on top are public domain.


2018.07.11 01:07:39 (1016821281998721025) from Daniel J. Bernstein:

First release of djbsort: super-fast constant-time automatically verified AVX2 sorting code for int32 arrays. (Next target is ARM NEON.) Verification starts with the #angr toolkit for symbolic execution, which in turn uses libVEX from Valgrind.

2018.07.11 09:07:25 (1016942018189283335) from "Questor/Inter (@questorInter)":

looks nice, what source code license is this?