2017.07.23 15:48:38 (889120071255240705) from Daniel J. Bernstein:
New blog post "Fast-key-erasure random-number generators": https://blog.cr.yp.to/20170723-random.html An effort to clean up several messes simultaneously.