Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
24jul2007
ssh on iPhone, yay!
Bloboats is an arcade-like boat racing game contributing to the Assembly ‘06 game development competition in the hybrid spirit of SMB-like platform jumpers and elasto mania / xmoto like motocross-I’m-faster-than-you games.
Goatse on CNN, WJW. PNSFW.
Hitchbase.com is your information source for finding best local hitching spots.
Generating PDF files from OpenOffice via Ant, or: why I prefer documentation with LaTeX.
I been good, I been good while I been waitin’
Maybe guilty of hesitatin’, I just been holdin’ on
Seven more days, all that’ll be gone.
— Bob Dylan, Seven Days
Apache Wicket has graduated!, “The Wicket project has officially joined the Apache Software Foundation.”
Power serious: power series in ten one-liners, “These Haskell functions implement operations on power series. Power series are represented as lists of numeric coefficients.”
Errors in the Encyclopædia Britannica that have been corrected in Wikipedia, neat.
The GHC Commentary, It contains all the explanatory material that doesn’t belong in comments in the source code itself, because the material is wide-ranging, usually covers multiple source files, and is more architectural in nature. The commentary can also be considered a design document for GHC.
You Park Like An Asshole, “Sick of a car taking up two spaces on the street? How about a car too close to yours? What about the car at the mall parked diagonally? Now you can do something about it. Simply download a notice and place it on the car’s windshield.”
If I had rubies and riches and crowns
I’d buy the whole world and change things around
I’d throw all the guns and the tanks in the sea
For they are mistakes of a past history.
Let me die in my footsteps
Before I go down under the ground.
— Bob Dylan, Let Me Die In My Footsteps
Towards a Practical, Verified Kernel, by Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, and Gernot Heiser. “In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel – how to provide a productive and iterative development methodology for both operating system developers and formal methods practitioners.”
Six Apart Merges With Facebook, well: “We meant that we merge code.”
Data.Sequence, one of the best and most efficient data structures Haskell has.
Telemarketing: Get Rich or Burn Out trying, by xC0000005. “And no telemarketer is ever a total failure. After all, just to put on the headset you’ve already sold something: Your dignity.”
Thue is a language based on the concept of the semi-Thue grammar/process. It is, in essence, an arbitrary grammar, which can (by its arbitrary nature) be used to define/recognize “Type 0” languages from Chomsky’s hierarchy. Because the grammar can be used to define a language of such complexity, the process, itself, is essentially Turing Complete.
lebst Du noch?, Lydia: “Manche Paare bei vor und nach IKEA…” Sehr gut.