2016.01.07 08:44:24 (685004038073495552) from Daniel J. Bernstein:
Earlier this week: awesome High Assurance Crypto Software workshop organized by @trevp__. Expect a tiny guaranteed-zero-bugs crypto library.