Interesting - if you're 'into' research

And, if you'd like to read more really interesting and technical stuff from MSR, then - add this RSS feed, and/or browse around their anonymous FTP site at ftp.research.microsoft.com

Of course, there's 'ours' too - which is packed full of fun stuff ... (an aside: it's a wonder why Andrew didn't get a BCS Distinguished Dissertation Award for his SE Theorem Proving work!) Sometimes, the world just ain't fair!