Lessig for President, A National Referendum For Equality as Citizens.
New pentagonal tiling discovered
Ceptre: A Language for Modeling Generative Interactive Systems (PDF), by Chris Martens. “Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage. We present a correspondence between gameplay and proof search in linear logic, building on prior work on generating narratives.”
How the ELF Ruined Christmas (PDF), by Alessandro Di Federico, Amat Cama, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. “We identified several fundamental weak points in the design of ELF standard and dynamic loader implementations that can be exploited to resolve and execute arbitrary library functions.”
The Secret Structure of the S-Box of Streebog, Kuznechik and Stribob, by Alex Biryukov, Léo Perrin and Aleksei Udovenko. Very interesting, also the randomness analysis of the S-Box.
Tutte–Coxeter Graph, somehow I didn’t know John Baez blogged for AMS.
NaSC, “Do maths like a normal person.” A fancy Linux calculator.
pid.codes is a registry of USB PID codes for open source hardware projects.
Provably considered harmful, Andrej Bauer rants.