Anarchaia

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

02nov2007

Efficient Interpretation by Transforming Data Types and Patterns to Functions, by Jan Martin Jansen, Pieter Koopman, and Rinus Plasmeijer. “This paper describes an efficient interpreter for lazy functional languages like Haskell and Clean. The interpreter is based on the elimination of algebraic data types and pattern-based function definitions by mapping them to functions using a new efficient variant of the Church encoding. The transformation is simple and yields concise code.” Looks like a nice and simple technique.

NaNoWriMo, two days late, two days late!

Macro - 1 by rokad

Just as every cop is a criminal
And all the sinners saints
As heads is tails
Just call me Lucifer
‘Cause I’m in need of some restraint
— Rolling Stones, Sympathy For The Devil

Social Network Sites: Definition, History, and Scholarship, by danah m. boyd and Nicole B. Ellison.

A Command Line Interface to Google Spreadsheets, by Brian K. Jones.

From Beyond, “Spanning 10,000 square metres of the Mediterranean seabed, the Antares telescope is designed to tell us about the cosmos by picking up signs of elusive particles called neutrinos, which fly thousands of light years through space. To physicists’ surprise, however, the underwater particle detector is also providing a unique glimpse of marine life.”

Tell me, tell me, tell me, you want me too
Tell me, tell me, tell me, I need you
When I saw you over there
What could I do but stand and stare
Will you, will you, will you be my lover tonight?
— Rolling Stones, Will You Be My Lover Tonight?

martini_bg_btm by nickbakey

Mac OS X runs deleted applications, paradox Time Machine situations. :-)

On the origins of Bisimulation, Coinduction, and Fixed Points (PDF), by Davide Sangiorgi. “The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: Computer Science, Philosophical Logic (precisely, Modal Logic), Set Theory.”

Do we Need Dependent Types?, by Daniel Fridlender and Mia Indrika. “Inspired by Danvy, we describe a technique for defining, within the Hindley-Milner type system, some functions which seem to require a language with dependent types.”