Here's a talk @pyrofoux did for the Strange Loop conference - it is now available online.
It presents a theorem he discovered about procedural generators, and the insights it gives us about the challenges of designing PCG without ending up with a vast amount of noisy artefacts (oatmeal)