Thanks for the link, that was an interesting read. As far as procedural level generation goes, one of my favourite articles on the topic is this one about Spelunky's level generation: http://tinysubversions.com/spelunkyGen/. It's always impressive to see how combining a few simple rules can yield complex and varied levels.