A kilobit hidden SNFS discrete logarithm computation, by Joshua Fried, Pierrick Gaudry, Nadia Heninger, and Emmanuel Thomé. “We perform a special number field sieve discrete logarithm computation in a 1024-bit prime field. … Twenty-five years ago, there was considerable controversy around the possibility of backdoored parameters for DSA. Our computations show that trapdoored primes are entirely feasible with current computing technology.”

On the Design of Women’s Spaces, by Kat Marchán. Highly recommended.

Five Stages of Accepting Constructive Mathematics (PDF), by Andrej Bauer.

I Got Plenty o’ Nuttin’ (PDF), by Conor McBride. “Work to date on combining linear types and dependent types has deliberately and successfully avoided doing so.”

oK mobile, a K interpreter optimized for use on a phone!

HashiCorp Configuration Language, looks like a good design.

Build a Compiler Bomb, fun!

The Tunnel of Eupalinos is a tunnel of 1,036 m length, built in the 6th century BC to serve as an aqueduct. The tunnel is the second known tunnel in history which was excavated from both ends, and the first with a geometry-based approach in doing so.

GVA Dictator Alert, a TwitterBot tracking planes used by authoritarian regimes landing at Geneva Airport.

Farewell – ETAOIN SHRDLU, the Last Day of Hot Metal Typesetting at the New York Times. Recommended.