Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
02apr2008
Pure Type Systems for Functional Programming, by Jan-Willem Roorda. Includes a good introduction to the Calculus of Constructions.
Cardboard Cubby, want have.
Microsoft OOXML / ECMA376: Get The Facts (PDF), slides by Anand Vaidya.
MemcacheQ is a memcachedb variant that provides a simple persistent message queue service.
Been walking all morning
Went walking all night
I can’t see much difference between the dark and the light
And I feel the wind
And I taste the rain
Never in my mind
to cause so much pain
— Grateful Dead, Comes A Time
The lightest lightweight threads, Protothreads, more benchmarks by Mauricio Fernandez. I wonder if it would work well for an interpreter.
RFC 5242: A Generalized Unified Character Code: Western European and CJK Sections, by J. Klensin and H. Alvestrand.
RFC5241: Naming Rights in IETF Protocols, by A. Falk and S. Bradner. “But the financial realities of funding the Internet engineering and standardization processes may dictate that the IETF must consider whether names associated with such protocol fields represent an asset capable of responsible monetization. This notion may be offensive to some protocol purists; however, we believe the exigencies of the situation make the proposal below worthy of consideration.”
Land Of Lisp, Functional Programming is Beautiful! Creepy.
Manifest for the extension of the SMS slang to all the media, This book is built as a grammar book where all the SMS slang’s rules are taught then immediatly applyied in the manual.
Almost aflame still you don’t feel the heat
Takes all you got just to stay on the beat
You say it’s a living, we all gotta eat
but you’re here alone there’s no one to compete
If mercy’s in business I wish it for you
More than just ashes when your dreams come true
— Grateful Dead, Fire On The Mountain
Brobinius, Rhinestone, RBXML, RazzleDazzle, SRuby, and Gobi, all forks of Ruby.
Planning a Book with Tinderbox, video tutorial by Mark Bernstein.
The Sound of Evolution, “Some species simply are not able to make themselves heard above the ever-growing racket and are finding themselves squeezed out of the city. Others are beginning to change the way they communicate. In the long term, new species may evolve. If noise levels continue to rise, it seems inevitable that urban bird life will change dramatically.”