“Almost 2000 articles and nearly 9000 comments on Bob Dylan including
reviews of 621 songs that Bob Dylan has written.”
Cedille is an interactive theorem-prover and dependently typed
programming language, based on extrinsic (aka Curry-style) type
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?