A Tour of Acme, by Russ Cox. This is the video new Plan9 users wished for for years.
Feit-Thompson theorem has been totally checked in Coq, one word: badass.
Kan Extensions for Program Optimisation, Or: Art and Dan Explain an Old Trick (PDF), by Ralf Hinze. “Many program optimisations involve transforming a program in direct style to an equivalent program in continuation-passing style. This paper investigates the theoretical underpinnings of this trans- formation in the categorical setting of monads. We argue that so-called absolute Kan Extensions underlie this program optimisation.”
How The Well Bought Itself (PDF), “The membership pricing provides a simple, understandable model, and removes any conflicting interests of corporate sponsors, advertising, product placement or data mining. The primary interest of the company remains the membership.” (But really kinda expensive.)
EWONTFIX, a blog dedicated to in-depth coverage of longstanding defects in software, especially Free and Open Source. By Rich Felker.
cqueues is a type of event loop for Lua, except it’s not a classic event loop. It doesn’t use callbacks—neither as part of the API nor internally—but instead communicates with the event controller by the yielding and resumption of Lua coroutines.
RarVM Toolchain, a virtual machine included with the popular WinRAR compression suite. Who knew?
Puzzler develops game-changing Go First dice, “A set of four dice that always roll a winner is a landmark advance.”
The Amazing iOS 6 Maps, Not.
