The microblog: 2018.07.12 08:02:29

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. (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