My Unix is a general purpose operating system, Chris Siebenmann says.

Bedwyr is a generalization of logic programming that allows model checking directly on syntactic expression possibly containing bindings.

HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardinality Estimation Algorithm, by Stefan Heule, Marc Nunkesser, and Alex Hall.

ana voog on vimeo. “i am experimenting with making little mini videos from the anacam archives i have.”

Poor man kept alive by own dialysis invention, WJW.

Malaria, a short film by Edson Oda.

A Thompson hack virus is found in the wild (2009), infecting Delphi.

“Ich trete hiermit aus der EU aus”, sagt Harald Martenstein.