As some of you know I have become an editor over at InfoQ in the architecture section. I put up my first article today which was an interview with Galen Hunt and Jim Larus about Singularity and their experiences with topics like strong typing, the pi-calculus, and static verification (spec#) in their efforts.
http://www.infoq.com/news/2007/07/singularity