2021.09.03 18:23:50 (1433828089910358017) from Daniel J. Bernstein:
New #saferewrite tool from https://pqsrc.cr.yp.to quickly and automatically verifies, for a variety of critical cryptographic subroutines, that optimized constant-time code matches reference code on all inputs. Slides from announcement today at ICMC 2021: https://cr.yp.to/talks.html#2021.09.03