März 2015 Archiv

Freiundheit.

[...] how ridiculous and what a scam the individual freedom of “I do what I feel like doing” is. If they truly want to fight the government, the hackers have to give up this fetish. The cause of individual freedom is what prevents them from forming strong groups capable of laying down a real strategy, beyond a series of attacks; it’s also what explains their inability to form ties beyond themselves, their incapacity for becoming a historical force.

Invisible Committee: Fuck Off, Google.

Ab nach Trattenbach.

Mr. Wittgenstein, you’ve only published one book in 20 years, cited by a mere spattering of people in Vienna! Tenure application refused!

An (unfortunately not totally) imaginary head of departement in Why we occupy: Dutch universities at the crossroads by Nicholas Vrousalis, Robin Celikates, Johan Hartle, and Enzo Rossi

Active Research.

Why should we complain about a philosopher doing research on civil disobedience when he brings a bag of croissants to protesters?
I think he influences his hungry objects of study much less than phycicists shooting at theirs with particles. He ist just keeping them alive, as biologists have to do all the time.

Doei.

Bis bald!

Vertrauen ist gut.

Formal methods are often classified as irrelevant and/or impracticable by practitioners. This is not true: we found and fixed a bug in a piece of software that is used by billions of users every single day. Finding and fixing this bug without a formal analysis and the help of a verification tool is next to impossible, as our analysis showed. It has been around for years in a core library routine of Java and Python. Earlier occurrences of the underlying bug were supposedly fixed, but actually only made its occurrence less likely.

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel and Reiner Hähnle: Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it)