Anarchaia

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

16jun2008

Cruel Solitaire is an amazing solitaire game that seems to have a low success rate, but some advansed[sic] players can solve up to 50% of the deals.

What is it like to write a technical book?, an extensive post by Baron Schwartz.

Gonna wave, gonna wave
Gonna wave to the wind
Gonna wave my way to
Places I never have been
— Grateful Dead, Wave To The Wind

May each day bee as special as today! by ~Amabile~

A Bisimulation for the Blue Calculus (PDF), by Silvano Dal-Zilio. Also includes a good overview of the Blue calculus.

Ypsilon is the implementation of Scheme Programming Language, which conforms to the latest standard R6RS. It implements “mostly concurrent garbage collection”, which is optimized for the multi-core CPU system.

Photo-0007 by dhtkim

Empty pages before my eyes
Do not deny or criticize
Empty bedrooms where I’ve paid my dues
Watching the ceiling instead of you
Can you tell me where you’ve gone?
Ain’t no one around to hear my songs
— Grateful Dead, Empty Pages

Correctness of an Expression Compiler in Coq, which is not even very long.

See Ungeheuer = (0.035*x^2+(y-x+0.166*x^3-0.0083*x^5+0.000198*x^7- 0.00000275*x^9)^2+z^2-1) * (y+0.4)*((x-6)^2+(2*y-5)^2+(2*z)^2-2)-1.