<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>C++Next</title>
	<atom:link href="http://cpp-next.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://cpp-next.com</link>
	<description>The next generation of C++</description>
	<lastBuildDate>Fri, 03 Sep 2010 15:49:07 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.1</generator>
		<item>
		<title>Expressive C++:&#160;Introduction</title>
		<link>http://cpp-next.com/archive/2010/08/expressive-c-introduction/</link>
		<comments>http://cpp-next.com/archive/2010/08/expressive-c-introduction/#comments</comments>
		<pubDate>Mon, 30 Aug 2010 22:30:15 +0000</pubDate>
		<dc:creator>Eric Niebler</dc:creator>
				<category><![CDATA[Boost]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1469</guid>
		<description><![CDATA[Domain-specific embedded languages are an important and useful technique for raising the abstraction level in your code. Boost.Proto is a tool that makes developing DSELs easy(-ish) and fun. It also serves as the foundation upon which <!-- I suggest: "several Boost libraries, released or in development, are built" (c.f. MSM, the next Spirit?, Joel F's thing) --> the forthcoming Boost.Phoenix3 library is built. In the first of a series of articles on these two technologies, Eric describes the evolution of these technologies and the ideas behind them, and how they may change for the better how C++ programmers think about their code.]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/08/expressive-c-introduction/feed/</wfw:commentRss>
		<slash:comments>20</slash:comments>
		</item>
		<item>
		<title>&#8220;Elements of Programming&#8221; Schedule&#160;Announcement</title>
		<link>http://cpp-next.com/archive/2010/07/elements-of-programming-schedule-announcement/</link>
		<comments>http://cpp-next.com/archive/2010/07/elements-of-programming-schedule-announcement/#comments</comments>
		<pubDate>Sun, 25 Jul 2010 23:08:59 +0000</pubDate>
		<dc:creator>Sean Parent</dc:creator>
				<category><![CDATA[EoP Study Group]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1424</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; [please see the preface post for information on getting starting with this study group.] To try and get the EoP group restarted we&#8217;re making a few changes. We&#8217;re resetting the schedule moving to 1 month per chapter (see below) and we&#8217;ve asked Piotr Jachowicz and [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/07/elements-of-programming-schedule-announcement/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
		<item>
		<title>Algebraic Data&#160;Types</title>
		<link>http://cpp-next.com/archive/2010/07/algebraic-data-types/</link>
		<comments>http://cpp-next.com/archive/2010/07/algebraic-data-types/#comments</comments>
		<pubDate>Thu, 22 Jul 2010 03:00:12 +0000</pubDate>
		<dc:creator>David Sankel</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1319</guid>
		<description><![CDATA[Functional programming in C++. Why would you want to do that and is it possible? In this series of posts I&#8217;m going to introduce functional programming concepts and show how they can be implemented in C++. See below for an introduction to the series and the kick-off article on Algebraic Data Types. Since the dawn [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/07/algebraic-data-types/feed/</wfw:commentRss>
		<slash:comments>28</slash:comments>
		</item>
		<item>
		<title>Introducing: David&#160;Sankel</title>
		<link>http://cpp-next.com/archive/2010/07/introducing-david-sankel/</link>
		<comments>http://cpp-next.com/archive/2010/07/introducing-david-sankel/#comments</comments>
		<pubDate>Tue, 20 Jul 2010 14:54:57 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1402</guid>
		<description><![CDATA[One of the most fascinating talks I saw at BoostCon 2010 was David Sankel, speaking about how to apply the fundamental mathematical ideas of functional programming in C++, using Boost. I asked David if he&#8217;d like to post some articles here about it, and I&#8217;m very pleased to announce the first one in his series, [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/07/introducing-david-sankel/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Formal verification of an operating system&#160;kernel</title>
		<link>http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/</link>
		<comments>http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/#comments</comments>
		<pubDate>Tue, 08 Jun 2010 11:37:03 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[formal]]></category>
		<category><![CDATA[kernel]]></category>
		<category><![CDATA[proof]]></category>

		<guid isPermaLink="false">http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/</guid>
		<description><![CDATA[I was just reading Communications of the ACM and ran across the article mentioned here. I used to think that nobody knew how to do formal verification of &#8220;type unsafe&#8221; languages that stay close enough to the machine model to be highly performant. Pretty cool.]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Only 3 days left for C++0x&#160;Comments!</title>
		<link>http://cpp-next.com/archive/2010/05/only-3-days-left-for-c0x-comments/</link>
		<comments>http://cpp-next.com/archive/2010/05/only-3-days-left-for-c0x-comments/#comments</comments>
		<pubDate>Mon, 24 May 2010 20:09:21 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1313</guid>
		<description><![CDATA[In case you haven&#8217;t been paying attention, the final Committee Draft of the C++0x standard is out for review, and there is not much time left to make sure we fix any stupid mistakes, wrongheaded blunders, etc. To be specific, the official comment period ends 27 May, and if you submit a comment to your [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/05/only-3-days-left-for-c0x-comments/feed/</wfw:commentRss>
		<slash:comments>11</slash:comments>
		</item>
		<item>
		<title>EOP Exercise Round-Up: Chapter&#160;2</title>
		<link>http://cpp-next.com/archive/2010/03/eop-exercise-round-up-chapter-2/</link>
		<comments>http://cpp-next.com/archive/2010/03/eop-exercise-round-up-chapter-2/#comments</comments>
		<pubDate>Wed, 31 Mar 2010 11:00:00 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1216</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; A big thanks to Mark Ruzon and Piotr Jachowcz who submitted homework [and a thanks to Dave for painstakingly formatting the math without LaTeX -- Sean]. Chapter 2 gave us a detailed look at the structures obtained from just a single unary operation. With a [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/03/eop-exercise-round-up-chapter-2/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>Elements of Programming Study&#160;Group</title>
		<link>http://cpp-next.com/archive/2010/03/elements-of-programming-study-group/</link>
		<comments>http://cpp-next.com/archive/2010/03/elements-of-programming-study-group/#comments</comments>
		<pubDate>Mon, 29 Mar 2010 17:39:56 +0000</pubDate>
		<dc:creator>Sean Parent</dc:creator>
				<category><![CDATA[EoP Study Group]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1201</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; I&#8217;m back (again). Thanks for your patience. I&#8217;ve updated the schedule in the preface post. We&#8217;re going to try and stick to the schedule this time &#8211; so please review what chapter you signed up for and be prepared with your summary. Dave and I [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/03/elements-of-programming-study-group/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>“Elements of Programming” Chapter 3&#160;Preview</title>
		<link>http://cpp-next.com/archive/2010/03/eop-ch3-preview/</link>
		<comments>http://cpp-next.com/archive/2010/03/eop-ch3-preview/#comments</comments>
		<pubDate>Mon, 29 Mar 2010 16:00:58 +0000</pubDate>
		<dc:creator>Sean Parent</dc:creator>
				<category><![CDATA[EoP Study Group]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1195</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; [please see the preface post for information on getting starting with this study group.] The study group has died a bit (my own fault for not keeping up the pace). Dave and I are working on a homework summary for chapter 2 this morning but [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/03/eop-ch3-preview/feed/</wfw:commentRss>
		<slash:comments>15</slash:comments>
		</item>
		<item>
		<title>This Week in&#160;Boost</title>
		<link>http://cpp-next.com/archive/2010/03/this-week-in-boost-4/</link>
		<comments>http://cpp-next.com/archive/2010/03/this-week-in-boost-4/#comments</comments>
		<pubDate>Sat, 27 Mar 2010 05:17:02 +0000</pubDate>
		<dc:creator>Steven Watanabe</dc:creator>
				<category><![CDATA[Boost]]></category>
		<category><![CDATA[GSoC]]></category>
		<category><![CDATA[logging]]></category>
		<category><![CDATA[This Week in Boost]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1204</guid>
		<description><![CDATA[The Boost list has been very active for the last few weeks. Some of the major topics are the new Boost.Log library, Boost&#8217;s participation in the Google Summer of Code program, and general problems with Boost development. Logging The logging library submitted by Andrey Semashev was accepted on Wednesday. The library is very flexible, allowing [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/03/this-week-in-boost-4/feed/</wfw:commentRss>
		<slash:comments>7</slash:comments>
		</item>
	</channel>
</rss>
