Keine Kampfdrohnen! Wir sind gegen die Etablierung einer Drohnentechnologie zur Kriegsführung, Überwachung und Unterdrückung.
Google broke it, by Volker Weber. “You can bend a piece of metal. Back and forth. Many times. And then, finally, it will break.”
Programming and Reasoning with Algebraic Effects and Dependent Types, by Edwin Brady. Pretty awesome.
Pluralism in Mathematics (PDF), by E. B. Davies. “We defend pluralism in mathematics, and in particular Errett Bishop’s constructive approach to mathematics, on pragmatic grounds, avoiding the philosophical issues which have dissuaded many mathematicians from taking it seriously.”
goweb, a literate programming tool for Go. Very close to Knuth’s WEB.
Terminology is a new terminal emulator for Enlightenment. Crazy slick and very fast.
Bitmessage is a P2P communications protocol used to send encrypted messages to another person or to many subscribers.
SiND prints freedesktop notifications to stdout.
tetr.js, proper implementation of Tetris in HTML5. Try it.
Revisionist History, “If a working time machine falls into my lap, these are a few things I’d address…” Lacks Lambdas in Java.
Newton Poetry, a weblog about the pioneering PDA, Apple’s Newton MessagePad, and how it interfaces with the modern Mac world.
Our Favorite Typefaces of 2012, at Typographica.
Music From Mathematics was an album of early electronic music, programmed by the boffins at Bell Laboratories way back in the early 1960s, using the then-new IBM 7090 computer and an “electronic to sound transducer”.
Starry, Starry, Starry Night, Thierry Cohen blends city scenes and the night skies from less populated locations that fall on the same latitudes.
Super Mario World “Completed” in Under 3 Minutes by Corrupting the RAM