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.

Sign in to participate in the conversation
Mastodon - NZOSS

This Mastodon instance is provided gratis by the NZ Open Source Society for the benefit of everyone interested in their own freedom and sharing with others. Hosting is generously provided by Catalyst Cloud right here in Aotearoa New Zealand.