Programming is Meaningless

Researchers seemingly have found a way to tell-apart students which will do well in computer science classes and those who won’t. More eloquently put they’ve devised a way  “[to] separate programming sheep from non-programming goats.” 😀

And they come to an interesting conclusion:

Formal logical proofs, and therefore programs – formal logical proofs that particular computations are possible, expressed in a formal system called a programming language – are utterly meaningless. To write a computer program you have to come to terms with this, to accept that whatever you might want the program to mean, the machine will blindly follow its meaningless rules and come to some meaningless conclusion. In the test the consistent group showed a pre-acceptance of this fact: they are capable of seeing mathematical calculation problems in terms of rules, and can follow those rules wheresoever they may lead. The inconsistent group, on the other hand, looks for meaning where it is not. The blank group knows that it is looking at meaninglessness, and refuses to deal with it.
Saeed Dehnadi and Richard Bornat, 2006, “The camel has two humps (working title)”

I have accepted it. -.-

Die Suppe der Suppe der Suppe

Das ist einer der besten Nasreddin Hoca Witze überhaupt.

Als ein Verwandter vom Land den Hoca besuchte, brachte er eine Ente mit. Hocherfreut ließ dieser das Federvieh zubereiten und teilte das Mahl mit seinem Gast. In der Folgezeit tauchte ein Mann nach dem anderen beim Hoca auf. Jeder behauptete, ein Freund des Freundes des Mannes zu sein, der die Ente mitgebracht hatte. Der Hoca bewirtete sie alle, bis seine Mittel erschöpft waren. Als wieder ein “Freund” erschien, setzte Hoca ihm eine Schale Wasser vor. “Was ist das?” fragte der Gast erstaunt. “Das ist die Suppe der Suppe der Suppe der Ente, die mir mein Verwandter geschenkt hat.”

They Used to Say That About Content

Facebook wants you to help them optimize their ads. You’re supposed tell them which ones you like or dislike so they can replace the ones you didn’t like with other you might “like more.” … This seems so bizarre … In essence Facebook is telling you to curate their ad stream for you the way you curate your own content stream. In doing so they blurt out things like

giving people more control about the ads they see

and

show you the ads that are most relevant to you

Is it just me, or is this exactly the way they used to talk about content?!? o.O

Declaring People Terrorists so They Don’t Become It

Remarkable (para-)phrase attributed to French examining magistrate Marc Trévidic :

Declaring people terrorists–who are not–so they don’t become it.

This is to become the basis for new French “anti-terror” legislation.

I couldn’t find the original (French) quote, but a German translation of it.

Es gibt Leute, die man als Terroristen kennzeichnet, damit sie es nicht werden.

Which translates into something like

There’re people who get branded terrorists so they don’t become it.