<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	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/"
		>
<channel>
	<title>Comments on: Hunting for constraints</title>
	<atom:link href="http://blog.ezyang.com/2010/02/hunting-for-constraints/feed/" rel="self" type="application/rss+xml" />
	<link>http://blog.ezyang.com/2010/02/hunting-for-constraints/</link>
	<description>Existential Pontification and Generalized Abstract Digressions</description>
	<lastBuildDate>Sun, 05 Feb 2012 23:02:11 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.1</generator>
	<item>
		<title>By: Edward Z. Yang</title>
		<link>http://blog.ezyang.com/2010/02/hunting-for-constraints/comment-page-1/#comment-111</link>
		<dc:creator>Edward Z. Yang</dc:creator>
		<pubDate>Tue, 23 Feb 2010 20:34:58 +0000</pubDate>
		<guid isPermaLink="false">http://blog.ezyang.com/?p=284#comment-111</guid>
		<description>I worked on this puzzle during the hunt, but I didn&#039;t manage to code up a Haskell solution quickly enough. :o)</description>
		<content:encoded><![CDATA[<p>I worked on this puzzle during the hunt, but I didn&#8217;t manage to code up a Haskell solution quickly enough. :o)</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: dave glasser</title>
		<link>http://blog.ezyang.com/2010/02/hunting-for-constraints/comment-page-1/#comment-109</link>
		<dc:creator>dave glasser</dc:creator>
		<pubDate>Tue, 23 Feb 2010 04:38:11 +0000</pubDate>
		<guid isPermaLink="false">http://blog.ezyang.com/?p=284#comment-109</guid>
		<description>Nice!

I forget, did you actually work on the puzzle for R2-DISCO or is this post-Huntery?</description>
		<content:encoded><![CDATA[<p>Nice!</p>
<p>I forget, did you actually work on the puzzle for R2-DISCO or is this post-Huntery?</p>
]]></content:encoded>
	</item>
</channel>
</rss>

