The 8000th Busy Beaver number eludes ZF set theory, new paper by Adam Yedidia and Scott Aaronson.
Yet Another Padding Oracle in OpenSSL CBC Ciphersuites, nicely explained by Filippo Valsorda. More.
Design of the RISC-V Instruction Set Architecture (PDF), dissertation by Andrew Shell Waterman.
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set (PDF), by Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken. Crazy.
Patina: A Formalization of the Rust Programming Language (PDF), by Eric Reed. “We present a formal semantics that captures the key features relevant to memory safety, unique pointers and borrowed references, specifies how they guarantee memory safety, and describes the operation of the Borrow Checker. We use this model to prove the soudness of some core operations and justify the conjecture that the model, as a whole, is sound.”
Phrack #69, with a very interesting prophile on solardiz.
The First Gay Space on the Internet (2014), about soc.motss.
How to create nonbreaking arbitrary length snakes for full-width justification?, tex.sx at its best.