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 Liquid Haskell. 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 pushdown languages.

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.