Lambda the Ultimate

This one is a podcast and the sound quality isn't great, but some of you might still be interested in listening.

Advances in chip architectures may seem quite esoteric to those working on semantics of high level languages, but they do have an impact on how languages are implemented, and which implementations (and languages) survive and prosper.

The implications SoC architectures have on compilers are discussed briefly at around the 10 minute mark. The implications for application level security, near the 16 minute mark. I think the discussion of security might interest the E folks, and people from the proof-carrying-code world.