Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
19feb2008
Moca is a general construction functions generator for Caml data types with invariants. A relational data type is a concrete data type that declares invariants or relations that are verified by its constructors. For each relational data type definition, Moca compiles a set of construction functions that implements the declared relations.
Fidel Alejandro Castro Ruz, “announced he would neither seek nor accept a new term as either president or commander-in-chief.”
Wir werden siegen – irgendwann einmal.
Und wir leben nur für diesen einen Tag.
Wir werden siegen – irgendwann einmal.
Venceremos, doch es wird ein langer Kampf.
— Die Toten Hosen, Venceremos
SALT (Semantically Annotated LaTeX) is an authoring framework for creating semantic documents for scientific publications. “It defines and series of new LaTeX commands, while making use of some of the already existing ones in order to capture the logical structure of the document and the semantics present in the publication’s content.”
John Gruber: A Mix of the Technical, the Artful, the Thoughtful, and the Absurd, interviewed by Shawn Blanc.
Ancient “devil frog” may have eaten baby dinosaurs, Belzebufo would make a nice pet IMO.
Cutting out Static, Gilad Bracha on static variables.
They Shoot Browsers, Don’t They?, by Jeremy Keith at A List Apart. “Standards-aware developers, by their very nature, will object to adding a line of unnecessary markup to their documents just to get one single browser to behave as it should by default.”
They’re tryin to make me go to rehab
I said no, no, no
Yes I been black, but when I come back
You wont know, know, know.
— Amy Winehouse, Rehab
Version Targeting: Threat or Menace?, by Jeffrey Zeldman at A List Apart. “I’d like to live in a world where people weren’t killing each other over religious and ethnic differences and where version targeting wasn’t needed. Designing with web standards ought to be enough, and anyone who works on websites should know how to do it.”
A Valuable Lesson, We The Robots on what school really is about.
Asleep beneath the Northern Lights, awesome pictures.
Powered by Nukumi2 0.5.