Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
15apr2008
Type punning isn’t funny: Using pointers to recast in C is bad, lesson learned.
Trapped, Nick Paumgarten writes about the lives of elevators, and tells the story of Nicholas White, who was trapped in an elevator in New York City’s McGraw-Hill building for forty-one hours. Here is a condensed look at White’s ordeal, as captured by the building’s security cameras. Creepy!
Don’t you hear my call though you’re many years away?
Don’t you hear me calling you?
Write your letters in the sand
For the day I take your hand
In the land that our grandchildren knew
— Queen, ‘39
Why There Aren’t More Googles, essay by Paul Graham.
Project Caroline is a research program by Sun developing a horizontally scalable platform for the development and deployment of Internet services. The platform comprises a programmatically configurable pool of virtualized compute, storage, and networking resources. Project Caroline helps software providers develop services rapidly, update in-production services frequently, and automatically flex their use of platform resources to match changing runtime demands.
Cascading is a large dataset build tool and a processing API for Hadoop. The “scale free” processing API lets the developer quickly assemble complex distributed processes without having to “think” in MapReduce. The build functionality allows common processes to be reused against different datasets, while efficiently scheduling these processes based on their dependencies.
The new machines are calling you
to become one of them
A lifetime of circles
A lifetime of squares
Pushing, but never too far
— Switchkicker, New Machine
Continuation Fest 2008: Continuations for video decoding and scrubbing, conference report by Conrad Parker.
Ursala (UniveRSal Applicative LAnguage) is a functional programming language suitable for scientific and numerical computation. It began in 1996 as a personal tool kit to assist its author at certain practical problems in CAD applications and mathematical finance, but it is now mature enough and adequately documented for general distribution. Crazy but worth a look.
The Rather Difficult Slow Font Game, but fun anyway. I scored 29 points out of 34.
Algebra of Programming using Dependent Types, by Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson. “Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very well how to show that one relation is included in another by algebraic reasoning. We demonstrate how to encode functional and relational derivations in a dependently typed programming language. A program is coupled with an algebraic derivation from a specification, whose correctness is guaranteed by the type system.” Includes a nice intro to Agda.
Powered by Nukumi2 0.5.