Anarchaia

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

24may2008

Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions.

I remember you well in the Chelsea Hotel,
you were talking so brave and so sweet,
giving me head on the unmade bed,
while the limousines wait in the street.
— Leonard Cohen, Chelsea Hotel #2

1983–1993: The Wonder Years of Sequential Prolog Implementation, by Peter Van Roy. Contains a description of the WAM.

machine language, chaos streamline :: perplexity crisis by Jukka-Pekka Kervinen.

final sunset take two by sy_parrysh

YouTomb is a research project by MIT Free Culture that tracks videos taken down from YouTube for alleged copyright violation.

YAML Ain’t Markup Language, nice site.

Kakteen 2008-53 by Helmut Probst

Biggest Drawing in the World, WJW.

Let me see you stripped down to the bone
I taste when we kiss
I taste when we kiss
You’re breathing in fumes
I taste when we kiss
— Depeche Mode, Breathing In Fumes

NetBSD on a stick, a project devoted to installing the NetBSD operating system onto a USB based storage device. Its supporters are enthusiastic users of NetBSD and desire the ability to carry the OS on a keychain in the event of a need to run UNIX at short notice.

Simple VM JIT with LLVM, by Evan Phoenix. (A Ruby LLVM binding would kick ass.)