Menno Finlay-Smits is a user on You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

RT 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 toolkit for symbolic execution, which in turn uses libVEX from Valgrind.


Menno Finlay-Smits @menn0

The performance numbers here are quite impressive. Some caveats and limitations though, but djb claims they can be mostly overcome with more development effort.