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.
goat-time with wind, pole, dragon inter help?
Karl Lagerfeld’s Library