The Million-Key Question: Investigating the Origins of RSA Public Keys, by Petr Švenda, Matúš Nemec, Peter Sekan, Rudolf Kvašňovský, David Formánek, David Komárek, and Vashek Matyáš. “The bias introduced by different choices is sufficiently large to classify a probable library or smartcard with high accuracy based only on the values of public keys.” Ugh!
WireGuard is an extremely simple yet fast and modern VPN that utilizes state-of-the-art cryptography. It aims to be faster, simpler, leaner, and more useful than IPSec, while avoiding the massive headache. Looks very promising!
Zero-cost futures in Rust, very interesting!
Andromeda is an implementation of dependent type theory with equality reflection. The type theory is very expressive, as it allows one to postulate new judgmental equalities.
gron transforms JSON into discrete assignments to make it easier to grep for what you want
lambda-lists, a TeX package for doing lists and lambda calculus via expandable macros. Amazing how straight-forward that is.