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
“mbox” is a family of several mutually incompatible mailbox formats.
Silly String (YouTube) in a hydraulic press.