Menno Finlay-Smits is a user on mastodon.nzoss.nz. 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.
Menno Finlay-Smits @menn0

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

🐦🔗: twitter.com/hashbreaker/status

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