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.” 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

Implementation of Univalence, by Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg. “This prototype includes a rudimentary type-checker, with Type:Type (to simplify) which takes univalence as a non interpreted constant. Univalence however has an interpretation in the cubical set model, which is used by the evaluator.” Very interesting!

A model of type theory in cubical sets (PDF), by Marc Bezem, Thierry Coquand, and Simon Huber. Foundation of above.

RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis, by Daniel Genkin, Adi Shamir and Eran Tromer. “The attack can extract full 4096-bit RSA decryption keys from laptop computers (of various models), within an hour, using the sound generated by the computer during the decryption of some chosen ciphertexts.”

Programming a 144-computer Chip to Minimize Power, Chuck Moore’s talk at Strange Loop is up.

Digital restoration and typesetter forensics, by Brian Kernighan et al.

Vim in the hands of a Real Maniac, great talk by Damian Conway.

Moonpig: a billing system that doesn’t suck, by Mark Dominus. You’ll learn something there.

The notational conventions I adopted, and why, by Edsger W. Dijkstra. (Dot notation for application works better than I imagined.)

Gore-Tex gets made without managers (2008), “no one can tell any of the company’s 8,500 associates what to do.”

exabgp, the BGP swiss army knife of networking.

Using Computer Modern on the web, neat.

COBOL on Wheelchair

2013: What should we be worried about? Required reading.

Certified Programming with Dependent Types, now available in print.

Blaze combines the elegance and ease of use of a domain-specific language with HPC-grade performance, making it one of the most intuitive and fastest C++ math libraries available. BSD licensed.

New private key format for OpenSSH. And there was much rejoicing.

FuguIta, an OpenBSD 5.4 + Patches LiveCD/LiveUSB.

websocketd is like inetd for WebSockets.

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level.

The British Library, on Flickr. Over 1 million photos.

Shells Science Slam endet im Ölschlick, sehr schön gemacht.

Nelson Mandela, South Africa’s Liberator as Prisoner and President, Dies at 95

Further improving digital certificate security, another CA hacked.

The New Threat: Targeted Internet Traffic Misdirection, bleech.

How the Bitcoin protocol actually works, by Michael Nielsen.

nip2 aims to be about halfway between Excel and Photoshop. You don’t directly edit images—instead, like a spreadsheet, you build relationships between objects.

Optimized block functions for ChaCha, a stream cipher with a 256 bit key and a 64 bit nonce.

A Testament to X11 Backwards Compatibility, lovely.

MINICRAFT, 252 bytes of HTML5.

Crapshaming, I know why I surf without “mobile mode”.

JeeYoung Lee creates highly elaborate scenes that require an incredible amount of patience and absolutely no photo manipulation.

Blogger shows how to take travel photos with an imaginary girlfriend

My Dog is a WiFi Hotspot

The ARPANET IMP Program: Retrospective and Resurrection (PDF). “In 2013 a faded 1973 line printer listing of the IMP program from 1973 was run through a special OCR program optimized to process such historical artifacts; an assembler was recreated to assemble the IMP code (looking like the modified PDP-1 Midas assembler used in 1973); and a software emulator of the original IMP hardware platform was created.”

ChaCha20 and Poly1305 in OpenSSH, and there was much rejoicing.

Catena: A Memory-Consuming Password Scrambler, by Christian Forler, Stefan Lucks, and Jakob Wenzel. Catena supports client-independent updates and a server relief protocol.

Why Marpa works: table parsing, “I was surprised to find that the academic literature contained a major improvement to table parsing by Joop Leo, an improvement which nobody had ever made a serious attempt to implement. Marpa is the first implementation of Joop Leo’s 1991 improvement to table parsing which, as far as theory goes, makes Marpa as fast any parser in practical use today.”

Horner’s Rule, for a linear-time algorithm for the maximum segment sum.

mdb support for Go, good to know.

True X-Mouse Gizmo for Windows (TXMouse), saved should I ever need it. (Also, getting halfway there with on-board tools.)

Zit, the git-based single file content tracker.

UTC might be redefined without Leap Seconds

Short Errol Morris film on Benoit Mandelbrot

For Nearly Two Decades the Nuclear Launch Code at all Minuteman Silos in the United States Was 00000000

Coffee Maker Cooking: Brew Up Your Next Dinner