Void Linux is switching to runit. This distro is a lot of fun!
Use of Formal Methods at Amazon Web Services, by Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff. “The following technical report describes the use of TLA+ at Amazon.”
It’s all a question of time – AES timing attacks on OpenSSL
x86 Instruction Reference as HTML.
Hasklig, a Haskell code font with monospaced ligatures. Neat!
Diffscuss, “Code Reviews. In Plain Text.” Interesting idea.