<?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 &#187; Dave Abrahams</title>
	<atom:link href="http://cpp-next.com/archive/author/dave/feed/" rel="self" type="application/rss+xml" />
	<link>http://cpp-next.com</link>
	<description>The next generation of C++</description>
	<lastBuildDate>Sat, 04 Sep 2010 12:54:13 +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>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[EoP Study Group]]></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>To Auto or Not?  That is the&#160;Question</title>
		<link>http://cpp-next.com/archive/2010/02/to-auto-or-not-that-is-the-question/</link>
		<comments>http://cpp-next.com/archive/2010/02/to-auto-or-not-that-is-the-question/#comments</comments>
		<pubDate>Sat, 27 Feb 2010 16:11:00 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1005</guid>
		<description><![CDATA[This entry is part of a series, Mapping Concepts: Safety, and Convenience&#187; In this article series, we&#8217;re trying to understand the consequences of choosing to make a given concept auto—so the compiler can decide that types model the concept on the basis of syntactic structure alone—or non-auto—so types must be explicitly declared to be models, [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/02/to-auto-or-not-that-is-the-question/feed/</wfw:commentRss>
		<slash:comments>41</slash:comments>
		</item>
		<item>
		<title>Site Problems&#160;Fixed</title>
		<link>http://cpp-next.com/archive/2010/02/site-problems-fixed/</link>
		<comments>http://cpp-next.com/archive/2010/02/site-problems-fixed/#comments</comments>
		<pubDate>Wed, 10 Feb 2010 18:11:06 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1175</guid>
		<description><![CDATA[Some of you may have had problems with this site in the past 24 hours, from inability to comment to outright &#8220;database errors.&#8221; Sorry, everyone. We&#8217;ve just moved the server, and it wasn&#8217;t as smooth as we&#8217;d like, but we think everything should be back to normal now. Please send an email to root-AT-boostpro-DOT-com if [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/02/site-problems-fixed/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Order I&#160;Say!</title>
		<link>http://cpp-next.com/archive/2010/02/order-i-say/</link>
		<comments>http://cpp-next.com/archive/2010/02/order-i-say/#comments</comments>
		<pubDate>Tue, 02 Feb 2010 11:43:51 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1023</guid>
		<description><![CDATA[The C++ standard library&#8217;s sorting functions and its associative containers all require a strict weak ordering criterion. But what is that, really? Well, I thought I had an intuitive feeling for what “strict weak” means, but recently I realized I needed to nail it down. If you look up the definition, you might encounter something [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/02/order-i-say/feed/</wfw:commentRss>
		<slash:comments>74</slash:comments>
		</item>
		<item>
		<title>EOP Exercise Round-Up: Chapter&#160;1</title>
		<link>http://cpp-next.com/archive/2010/01/eop-exercise-round-up-chapter-1/</link>
		<comments>http://cpp-next.com/archive/2010/01/eop-exercise-round-up-chapter-1/#comments</comments>
		<pubDate>Fri, 15 Jan 2010 20:44:51 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=968</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; We got pretty good turnout for the first batch of exercises this week. Thanks to Tim Wright, John Phillips, and Mark Ruzon for their submissions! Lemmas Mark Ruzon proved all the lemmas. Good show, Mark! We liked his answers a lot, only changing one word [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/01/eop-exercise-round-up-chapter-1/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Onward,&#160;Forward!</title>
		<link>http://cpp-next.com/archive/2009/12/onward-forward/</link>
		<comments>http://cpp-next.com/archive/2009/12/onward-forward/#comments</comments>
		<pubDate>Mon, 07 Dec 2009 16:00:00 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Value Semantics]]></category>
		<category><![CDATA[semantics]]></category>
		<category><![CDATA[value]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=622</guid>
		<description><![CDATA[This entry is part of a series, RValue References: Moving Forward&#187; Besides providing move semantics, the other main application of rvalue references is in solving “the forwarding problem.” In this context, &#8220;forwarding&#8221; means passing a generic function&#8217;s actual argument on to a second function without rejecting any arguments that can be passed to that second [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2009/12/onward-forward/feed/</wfw:commentRss>
		<slash:comments>44</slash:comments>
		</item>
		<item>
		<title>“Elements of Programming” Study&#160;Group</title>
		<link>http://cpp-next.com/archive/2009/11/%e2%80%9celements-of-programming%e2%80%9d-study-group/</link>
		<comments>http://cpp-next.com/archive/2009/11/%e2%80%9celements-of-programming%e2%80%9d-study-group/#comments</comments>
		<pubDate>Thu, 19 Nov 2009 21:41:25 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=852</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; Long before it was published, we at C++Next started thinking about how to cover Elements of Programming, the inspiring new book by Alex Stepanov and Paul McJones. Some kind of study group seemed to fit the bill, but it was only a half-formed idea. Then [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2009/11/%e2%80%9celements-of-programming%e2%80%9d-study-group/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>
