Untold Dylan, “Almost 2000 articles and nearly 9000 comments on Bob Dylan including reviews of 621 songs that Bob Dylan has written.” (Frighteningly good.)

Cedille is an interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory.

What is the combinatory logic equivalent of intuitionistic type theory? (2012), well explained by Conor McBride.

GGP, EGP and 25 years of BGP: a brief history of internet routing (2016), by Iljitsch van Beijnum.

Rehabilitating Asynchronous Communication with NNCP: A Cross Between Tor, ssh, and UUCP, by John Goerzen. Also see followup posts.

The Design of the Roland Juno oscillators

Letter of Recommendation: Sleep, ‘Dopesmoker’ (2016). Best music review ever?