An uroboros program with 50 programming languages, WJW.
Brutal [Meta]Introduction to Dependent Types in Agda
A reduction of 3-SAT problem to Buchberger algorithm, by Maiia Bakhova.
A quasi-polynomial algorithm for discrete logarithm in finite fields of small characteristic, by Razvan Barbulescu, Pierrick Gaudry, Antoine Joux, and Emmanuel Thomé.
Bypassing no-go theorems, by John Shutt. “A valid no-go theorem identifies a hopeless avenue of research; but in some cases, it also identifies a potentially valuable avenue for research.” Gets pretty interesting at the end.
Hash based signatures, an introduction by Adam Langley. “[P]ost-quantum cryptography is the answer”.
Malware Hidden Inside JPG EXIF Headers, hilarious.
Bad idea: Berlin considers turning Tempelhof Airport into a model Smart City, says Peter Bihr.
Social Anarchy in Software Development, talk transcript by Barun Singh.
Fear and Loathing in Modern Media: Hunter S. Thompson on Journalism, Politics, and the Subjective, by Maria Popova.
Who By Very Slow Decay, “If you are like the patients I see dying, then here is how you will go.” Recommended reading.
10 Rules of Internet, by Anil Dash.
Trinity College experiment succeeds after 69 years
How to solve the Riemann Hypothesis
It’s Finally Ironic (YouTube)