Very interesting interview with Charles Simonyi about Intentional Programming. I would place Intentional Programming on an alter and proclaim it as the holy grail of Software Engineering. It's where we need to get to rather than "programmers as unwitting cryptographers" which is a great way to sum up the current state of affairs.
While the seperation of notation and represention is clearly a good move, I'm still trying to find out more about how the underlying representation and code generation side works. If the idea is to have a multiplicity of schema's, doesn't that entail co-ordinating multiple code generators or do you extend a single uber generator?
It's also well worth reading the interviews with Sergey Dmitriev (JetBrains) and Krzystof Czarnecki (Generative Programming).