Unnecessariat, by Anne Amnesia. “Here’s the thing: from where I live, the world has drifted away. We aren’t precarious, we’re unnecessary.”

Simple Set Game Proof Stuns Mathematicians

How to Build Static Checking Systems Using Orders of Magnitude Less Code (PDF), by Fraser Brown, Andres Nötzli, and Dawson Engler. “[O]ur program checkers are based on drastically incomplete language grammars (“micro-grammars”) that describe only portions of a language relevant to a checker. As a result, our implementation is tiny—roughly 2500 lines of code […]”.

Efficient Design Strategies Based on the AES Round Function, by Jérémy Jean and Ivica Nikolic. “We show several constructions based on the AES round function that can be used as building blocks for MACs and authenticated encryption schemse.”

“mbox” is a family of several mutually incompatible mailbox formats. Good overview.

Silly String (YouTube) in a hydraulic press.