2018.07.12 08:02:29 (1017288065981788161) from Daniel J. Bernstein, replying to "HackerCow (@HackerC0w)" (1017039142411268097):
I always thought pull requests were the killer github feature! But the github terms are problematic. The source is in a local git repo, and git->web exists, but I run apache etc. only for low-security sites. Does anyone have good tools for sequence of tarballs->static web pages?
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. https://sorting.cr.yp.to (Next target is ARM NEON.) Verification starts with the #angr toolkit for symbolic execution, which in turn uses libVEX from Valgrind.
2018.07.11 15:33:21 (1017039142411268097) from "HackerCow (@HackerC0w)":
any chance the source could be released on github or similar? wanted to skim over the code on my phone but opening .tar.gz balls is quite annoying on android