Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
01jul2007
The 10th ICFP Programming Contest, registration is open now.
Monads from Algebra and the the Gray Code from Groups, “There is a close association between algebraic structures and monads.” Really good post.
micro is a minimal, one column theme for websites (supports Mephisto and Blogger). Seems like a great choice to use when you need something quick or as a ground to hack your own.
CLL: A Concurrent Language Built from Logical Principles, by Deepak Garg. “In this report, we use both the Curry-Howard isomorphism and proof-search to design a concurrent programming language from logical principles. … Our underlying logic is a first-order intuitionistic linear logic where all right synchronous connectives are restricted to a monad.”
So I have become the Middleman
The gray areas are mine
The in-between, the absentee
Is a beautiful disguise
— Bright Eyes, Middleman
What’s new in the Ruby World: rocaml, Pat Eyler interviewed Mauricio Fernandez.
More space in the space hotel, can I have a neutral milk with that?
von Neumann’s Long Farewell, “For many of us the shift away from the von Neumann architecture is painfully slow.” So true.
Everything gets smaller now the further that I go
Towards the mouth and the reunion of the Known and the Unknown
Consider yourself lucky if you think of it as home
You can move mountains with your misery if you don’t
If you don’t
— Bright Eyes, Lime Tree
The Panel, “We asked three writers, three scientists and two broadcasters to answer six basic scientific questions, and their answers appear to confirm the arts/science divide.” One really ought to know these answers.
The Missing Piece, nice effect.
10 Things that “Absolutely suck” about the iPhone, by someone that has one.
Powered by Nukumi2 0.5.