Anarchaia

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

26oct2007

Kusasa, a Zulu word for tomorrow, is the name of a new, dynamic learning system for the 21st century. Kusasa will provide learners with free software to model the objects, organisms or processes they are studying in any learning area.

Caixa com tampa em tecido by youinthebox

Sometimes I wonder what’s going on in the mind of Miss X
Sometimes I wonder what’s going on in the mind of Miss X
You know she got such a sweet disposition
I never know what the poor girl’s gonna do to me next
— Bob Dylan, New Pony

Co-Logic Programming: Extending Logic Programming with Coinduction, by Luke Simon, Ajay Bansal, Ajay Mallya, and Gopal Gupta. “Co-LP is a natural generalization of logic programming and coinductive logic programming, which in turn generalizes other extensions of logic programming, such as infinite trees, lazy predicates, and concurrent communicating predicates.”

Simpler, Easier!, “In a recent paper, Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus), the authors argue that type checking a dependently typed language is easy. I agree whole-heartedly, it doesn’t have to be difficult at all. But I don’t think the paper presents the easiest way to do it.” Lennart Augustsson presents his solution.

Mutt On Mac OS X with Emacs. Well explained.

HPDF package is a Haskell PDF library with support for several pages, page transitions, outlines, annotations, compression, colors, shapes, patterns, jpegs, fonts, typesetting…

So happy just to be alive
Underneath the sky of blue
On this new morning, new morning
On this new morning with you.
New morning…
— Bob Dylan, New Morning

Gödel, Nagel, minds and machines, Ernest Nagel Lecture by Solomon Feferman. “Just fifty years ago, Ernest Nagel and Kurt Goedel became involved in a serious imbroglio about the possible inclusion of Goedel’s original work on incompleteness in the book, Goedel’s Proof, then being written by Nagel with James R. Newman. ”

Choose Your Own Ethnography: In Search of (Un)Mediated Life, paper by danah boyd.

Eight of the World’s Most Unusual Plants, really cool.