Lessig for President, A National Referendum For Equality as Citizens.
New pentagonal tiling discovered
Ceptre: A Language for Modeling Generative Interactive Systems (PDF), by
“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
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.