Alan Turing gets his royal pardon for ‘gross indecency’ – 61 years after he poisoned himself
Efficient Implementation of Cryptographic Primitives on the GA144 Multi-core Architecture (PDF), by Tobias Schneider, Ingo von Maurich, and Tim Güneysu.
What does it take to prove Fermat’s Last Theorem? Grothendieck and the logic of Number Theory (PDF), by Colin McLarty.
Bignum Bakeoff contest recap (2001), “The aim of this contest was to write a C program of 512 characters or less (excluding whitespace) that returned as large a number as possible from main(), assuming C to have integral types that can hold arbitrarily large integers.” Fascinating!
Livestreamer is a Command Line Interface that pipes video streams from various services into a video player
Gen_server in Ocaml on top of Jane St’s Async, nice.
Idris as a Library, by Brian McKenna.
Nadezhda Tolokonnikova of Pussy Riot’s prison letters to Slavoj Žižek