Apr 18, 2007
“We know that one can exaggerate anything to make a point, and yet it is easy to fall into the trap of ending up with an extreme viewpoint because one can’t decide where to draw the line.
permalink
* *
Apr 18, 2007
“I’ve been resisting the idea, but I have to say that this is starting to feel like another Bubble.
permalink
* *
Apr 17, 2007
“[Searching for] more and more powerful ways to express and manipulate control structure to support heuristic search in MIT’s quest for the ‘ultimate AI language’, we had come full circle from Lisp to CONVERT to Planner to Conniver to PLASMA to a simple variation of Lisp!
The original theoretical core of Lisp was recursion equations, not the lambda-calculus. An important consequence of the existence of a [scheme] interpreter for the lambda-calculus was that suddenly a denotational semantics could be regarded as an operational semantics.
permalink
* *
Apr 17, 2007
“The data-parallel languages of the future will be functional languages. Key transformations: Flattening and fusion. Both depend utterly on purely-functional semantics.
permalink
* *
Apr 17, 2007
“..while collaborative coding on a single function isn’t that useful, collaborative property discussion works really well.
permalink
* *
Apr 17, 2007
“..
UUCP was the first [computer program] to use the tilde to mean ‘home directory’
permalink
* *
Apr 17, 2007
“A
karass is a team of people that does God’s Will without ever discovering what they are doing. Humanity is organized into many such teams.
One can try to discover the limits of one’s karass and the nature of the work God Almighty has had it do, but such investigations are bound to be incomplete.
permalink
* *
Apr 17, 2007
“Leo is an outlining editor for literate programming and a multi-view project manager..
permalink
* *
Apr 17, 2007
“..since mTurk uses an extrinsic reward system it naturally attracts those jobs that aren’t intrinsically rewarding.
permalink
* *
Apr 17, 2007
“Repeat after me: the plural of anecdote is not data.
permalink
* *