Anarchaia

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

08sep2008

The Complete History of Nintendo, 1889(!) to Present – the full story.

Programming in Ωmega (PDF), by Tim Sheard and Nathan Linger. “Ωmega is a language with an infinite hierarchy of computational levels: value, type, kind, sort, etc.”

Aflame by milfodd

Then the army of the fascists tried to put you on the run,
But the army of the union, they did what could be done,
Oh, the power of the factory was greater than the gun,
As you built one more link on the chain, on the chain,
As you built one more link on the chain.
— Phil Ochs Lyrics, Links On The Chain

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism.

Kissing the frog: A mathematician’s guide to mating, by John Billingham. Very helpful and well explained.

DSC06874__ by Constanza G

Servers at Sea, “Google has filed a patent for what the New York Times describes as “mobile data center platforms out at sea.””

Oppositional Defiance Disorder
I think I got it, too
Oppositional Defiance Disorder
He’s sick and so are you
— David Rovics, Oppositional Defiance Disorder

Mixing Typefaces (PDF), a matrix.

Unetstack, an extremely small and fast TCP/UDP/IP stack implementation on top of packet socket or netchannels interface-