<?xml version="1.0" encoding="UTF-8" ?>

			<!-- normalised RSS feed: -->

			<rss version="2.0" xmlns:media="http://search.yahoo.com/mrss/" >

			<channel>

			<title><![CDATA[insurgent's Playlist @ podcast.com]]></title>

			<link>http://my.podcast.com/insurgent</link>

			<description><![CDATA[
insurgent's Playlist in RSS format from podcast.com
]]></description>

			<copyright><![CDATA[
podcast.com - plus the respective owners of each playlist item
]]></copyright>

			<pubDate>Thu, 20 Nov 2008 18:41:43 GMT</pubDate>

			<lastBuildDate>Thu, 20 Nov 2008 18:41:43 GMT</lastBuildDate>

			<docs>http://cyber.law.harvard.edu/rss/rss.html</docs>

			<source>http://my.podcast.com/insurgent/playlist.rss</source>
<image>

			<title><![CDATA[insurgent's Playlist in RSS format from podcast.com]]></title>

			<url>http://podcast.com/insurgent/profile/profile.jpg</url>

			<link>http://my.podcast.com/insurgent</link>

			</image>
<item>
<title><![CDATA[Push My Follow Episode 1]]></title>
<description>
<![CDATA[
Introductions Domain squatters Twitter  Friendfeed and Socialthing Wordpress 2.5 Oddfollow Last.fm
]]></description>
<link>http://www.pushmyfollow.com</link>
<pubDate>Thu, 01 Jan 1970 00:33:28 GMT</pubDate>
<enclosure url="http://podcast.com/_service/getEpisode.php?episodeId=20602804&amp;appId=6&amp;exttype=mp3" type="audio/mpeg" length="28712433" />
<media:thumbnail url="http://podcast.com/_feedcache/images/img_59347.jpg" />
</item>
<item>
<title><![CDATA[Episode 88: The Singularity Research OS with Galen Hunt]]></title>
<description>
<![CDATA[
Podcast (MP3): Download  Hosts:        Markus&nbsp;   Guests:  Galen Hunt  &nbsp;  Recording venue:    In this episode we talk to Galen Hunt about the Singularity research OS. Galen is the head of Microsoft's OS Research Group and, together with a team of about 30 other researches, has built Singularity.  We started our discussion by covering the basics of Singularity: why it was designed, what the goals of the project are as well as some of the architectural foundations of Singularity: software isolated processes, contract-based channels and manifest-based programs. In this context we also looked at the role of the Spec# and Sing# programming languages and the role of static analysis tools to statically verify important properties of a singularity application. We then looked a little bit more closely at the role of the kernel and how it is different from kernels in traditional OSes.  In a second part of the discussion we looked at some of the experiments the group did based on the OS. These include compile-time reflection, using hardware protection domains, heterogenerous multiprocessing as well as the typed assembly language We closed the conversation with a look at some of the performance characteristics of Singularity, compatibility with traditional operating systems and a brief look at how the findings from Singularity influence product development at Microsoft.   Links          Singularity         The paper that inspired this episode         Galen&#039;s website         L4 Microkernels         The Mach Kernel         Minix 3         Spec#         Singularity Tools and Sources
]]></description>
<link>http://feeds.feedburner.com/~r/se-radio/~3/244252314/episode-88-singularity-research-os-galen-hunt</link>
<pubDate>Thu, 01 Jan 1970 00:33:28 GMT</pubDate>
<enclosure url="http://podcast.com/_service/getEpisode.php?episodeId=20160067&amp;appId=6&amp;exttype=mp3" type="audio/mpeg" length="43900752" />
<media:thumbnail url="http://podcast.com/_feedcache/images/img_10495.jpg" />
</item>
</channel>
</rss>