The Feynman Lectures on Physics, all three volumes are online now.
The poisoned NUL byte, 2014 edition, by Chris Evans.
OCaml 4.02.0 has been released with many cool new features.
The fundamental problem of programming language package management, by
Edward Z. Yang.
EdDSA for OpenPGP, internet draft.
Elucidative Programming (PDF), by Kurt Nørmark (2000).
“An elucidative program connects textual documentation with the
abstractions and the details in the source program. The documentation
and the source program are defined in separate files.”
Classic Papers in Programming Languages and Logic, cool collection
(and sounds like a nice class).
Papers of Per Martin-Löf
Why Is 290 Special?
srlog2, a Secure Remote Log Transmission System.
A Satellite Took Pictures of Another Satellite and Now It’s a GIF
Heavy Meta: Maine Man, 19, Poses For New Mug Shot Wearing T-Shirt With Photo Of His Old Mug Shot