Alan Turing gets his royal pardon for ‘gross indecency’ – 61 years
after he poisoned himself
Alan Turing Needs No Pardon
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.”
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