Anarchaia

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

10aug2007

Relationally-Parametric Polymorphic Contracts, by Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. “The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prior work on contracts is parametricity, as represented by the polymorphic types in languages like Standard ML.”

Water by ginasebajones

Auf, auf zum Kampf, zum Kampf!
Zum Kampf sind wir geboren!
Auf, auf zum Kampf, zum Kampf!
Zum Kampf sind wir bereit!
Dem Karl Liebknecht, dem haben wir’s geschworen,
der Rosa Luxemburg reichen wir die Hand.
Dem Karl Liebknecht, dem haben wir’s geschworen,
der Rosa Luxemburg reichen wir die Hand.
— Bert Brecht, Auf, auf zum Kampf

Finding palindromes in linear time with suffix trees. Literate Haskell.

A Survey of Fast Exponentiation Methods, by Daniel M. Gordon. “In this paper we survey the known methods for fast exponentiation, examining their relative strengths and weaknesses.”

JVM Languages is an interest group surrounding language implementation for the JVM, including static, dynamic, functional, and anything else. Discussions on implementation strategy, pain points, and the future of the platform.

Times there’s a time to make some changes
There’s times that things should stay the same
Times when I can’t seem to tell the difference
It’s easy to make that mistake
— Thin White Rope, Ring

Blurred Nightscapes by cloudedsunny

How difficult is it to write a compiler?, not that hard, unless the language is interesting. ;-)

Man Gets $218 Trillion Phone Bill, “A Malaysian man said he nearly fainted when he recieved a $218 trillion phone bill and was ordered to pay up within 10 days or face prosecution, a newspaper reported Monday.” Ouch.