Anarchaia

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

08jul2008

The Slow Death of a City Block: 1900 Montgomery Street, St. Louis.

Higher-Order Logic Programming (PDF), by Gopalan Nadathur and Dale Miller. Includes an introduction to Lambda Prolog.

clothespinprocessed by schizotic

Let’s die in the arms
of the girls we love
let’s sell our souls
to the man above
— Orchestral Manoeuvres In The Dark, Apollo

The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. Version 2 has been released recently.

A rewriting system for Joy, by Manfred von Thun. “This paper describes a conditional term rewriting system for Joy based on the two constructors concatenation and quotation.”

Protocol buffers are Google’s language-neutral, platform-neutral, extensible mechanism for serializing structured data – think XML, but smaller, faster, and simpler. You define how you want your data to be structured once, then you can use special generated source code to easily write and read your structured data to and from a variety of data streams and using a variety of languages – Java, C++, or Python.

Mon Stir [Close-up] by Lizette Greco

I think I’m a little bit
Little bit
A little bit in love with you
But only if you’re a little bit
Little bit
Little bit
In lalalala love with me
— Lykke Li, Little Bit

Anti-paparazzi sunglasses, “They work by mounting two small infrared lights on the front. the wearer is completely inconspicuous to the human eye, but cameras only see a big white blur where your face should be.”

Watch a Movie at a Glance, “Take snapshots of a movie at one-second intervals. Stitch them into one image. What can you see? Pacing. Color palate. Maybe story.” I used to do that with mplayer/mencoder.

xmlroff is a fast, free, high-quality, multi-platform XSL formatter that aims to excel at DocBook formatting and that integrates easily with other programs and with scripting languages. Now BSD licensed and features an Cairo backend.