2018.01.26 22:58:29 (957009877452410882) from Daniel J. Bernstein:
Superficial demands for every crypto paper to have a proof (e.g., quoted in https://cr.yp.to/talks/2016.03.09/slides-djb-20160309-a4.pdf; search for "trivial") remind me of superficial demands to have documentation for each function in a program. Sounds good, but sets up bad incentives.