2019.01.06 18:40:30 (1081968766089453568) from Daniel J. Bernstein:
RWC2019 has some talks on formal verification, where a computer takes care of tediously checking for all the little mistakes that humans tend to miss. Particularly looking forward to the verification talk by Bhargavan, or, as the schedule says, "Bhargava". https://web.archive.org/web/20181227085308/https://rwc.iacr.org/2019/program.html