Anarchaia

Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)

29jan2008

Immanent islandry, “Two Chilean scientists believe that the world’s largest tectonic plate, located beneath the Pacific Ocean, is “tearing apart,” and possibly on the verge of cracking in two, New Scientist reports.”

Noch mehr Neues von Nokia, der Schockwellenreiter schreibt: “Die ersten Handys aus Rumänien sind fertig…”

Window on the world by _Jeff Bauche._.·´¯)

Milk and blood, blood and milk
Family of four, family no more.
Drunken milkmen driving drunk.
— Scatterbrain, Drunken Milkman

kUnit is a simple framework to write repeatable tests for applications written in K or KSQL in the spirit of the Java JUnit framework.

CUSEC 2008 Rocked Hard!, a rave(!) by Zed Shaw.

The YNot Project, “The goal of the Ynot project is to make programming with dependent types practical for a modern programming language. In particular, we are extending the Coq proof assistant to make it possible to write higher-order, imperative and concurrent programs (in the style of Haskell) through a shallow embedding of Hoare Type Theory (HTT). HTT provides a clean separation between pure and effectful computations, makes it possible to formally specify and reason about effects, and is fully compositional.”

I’m a fool for a lonesome train
I’m a fool for a lonesome train
I’d try to say goodbye but I never got your name
I’m a fool for a lonesome train
— Ben Harper, Fool For A Lonesome Train

Barcelona by Trevellion

Soft as a Rock, yay interior.

Open, extensible object models (PDF), by Ian Piumarta and Alessandro Warth. Shows how to implement a reflexive OO model in 140(!) lines of C.