The Transport Layer Security (TLS) Protocol Version 1.3,
aka RFC 8446, has been published.
Spectre via AVX Clock Speed Throttle?, by Alexander J. Yee.
Functional Pearl: Theorem Proving for All, Equational Reasoning in
By Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, and Graham Hutton.
I never realized it could do these rewriting proofs,
or how they were implemented.
Owl is a parser generator which targets the class of visibly
Happy Bob’s libtls tutorial, by Bob Beck.
The CIA Reads French Theory: On the Intellectual Labor of Dismantling
the Cultural Left, by Gabriel Rockhill.