<?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>dvanhorn @ λ-calcul.us &#187; Stupid</title>
	<atom:link href="http://dvanhorn.lambda-calcul.us/category/stupid/feed/" rel="self" type="application/rss+xml" />
	<link>http://dvanhorn.lambda-calcul.us</link>
	<description>Research weblog for David Van Horn</description>
	<lastBuildDate>Sat, 28 Aug 2010 13:39:54 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.9.2</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>First you curse&#8230;</title>
		<link>http://dvanhorn.lambda-calcul.us/2010/03/31/first-you-curse/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2010/03/31/first-you-curse/#comments</comments>
		<pubDate>Wed, 31 Mar 2010 15:50:46 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Paradox]]></category>
		<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/?p=225</guid>
		<description><![CDATA[&#8230;then you recurse: http://www.google.com/search?q=recursion.
]]></description>
			<content:encoded><![CDATA[<p>&#8230;then you recurse: <a href="http://www.google.com/search?q=recursion">http://www.google.com/search?q=recursion</a>.</p>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2010/03/31/first-you-curse/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Luis von Ahn on NOVA</title>
		<link>http://dvanhorn.lambda-calcul.us/2009/07/12/luis-von-ahn-on-nova/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2009/07/12/luis-von-ahn-on-nova/#comments</comments>
		<pubDate>Sun, 12 Jul 2009 22:35:28 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/?p=138</guid>
		<description><![CDATA[Luis von Ahn, a computer science professor at CMU and MacArthur fellow, was recently profiled on NOVA&#8217;s Science Now program.  This stuck out to me from his interview:
I have multiple ideas per day. The vast majority of these are completely idiotic. The way I decide which ones are good is, usually I just sit [...]]]></description>
			<content:encoded><![CDATA[<p>Luis von Ahn, a computer science professor at CMU and MacArthur fellow, was recently <a href="http://www.pbs.org/wgbh/nova/sciencenow/0401/04.html">profiled</a> on NOVA&#8217;s Science Now program.  This stuck out to me from his <a href="http://www.pbs.org/wgbh/nova/sciencenow/0401/04-gwap-nf.html">interview</a>:</p>
<blockquote><p>I have multiple ideas per day. The vast majority of these are completely idiotic. The way I decide which ones are good is, usually I just sit on the idea for several months. If I&#8217;m still thinking about it three, six, or 12 months later, then I actually start working on it. So usually my filter for ideas is just to wait for six months or so. And if I have not decided that it&#8217;s idiotic, then it might be a good idea. [chuckles] But the vast majority of things that I think about are totally dumb.</p></blockquote>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2009/07/12/luis-von-ahn-on-nova/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Brain in a Jar</title>
		<link>http://dvanhorn.lambda-calcul.us/2009/05/18/brain-in-a-jar/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2009/05/18/brain-in-a-jar/#comments</comments>
		<pubDate>Mon, 18 May 2009 21:29:29 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Comics]]></category>
		<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/?p=85</guid>
		<description><![CDATA[
]]></description>
			<content:encoded><![CDATA[<p><a href="http://doghatesme.com/post/68727912/my-brain-in-a-jar"><img class="alignnone" title="Brain in a Jar" src="http://www.explodingdog.com/doghatesme/23.gif" alt="" width="700" /></a></p>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2009/05/18/brain-in-a-jar/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>So I always feel stupid</title>
		<link>http://dvanhorn.lambda-calcul.us/2008/09/07/so-i-always-feel-stupid/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2008/09/07/so-i-always-feel-stupid/#comments</comments>
		<pubDate>Sun, 07 Sep 2008 17:29:32 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/2008/09/07/so-i-always-feel-stupid/</guid>
		<description><![CDATA[When you are thinking about something you don&#8217;t understand you have a terrible, uncomfortable feeling called confusion. The confusion is, because we are all some kind of apes that are kind of stupid trying to figure out how to put two sticks together to reach the banana, and we can&#8217;t quite make it. So I [...]]]></description>
			<content:encoded><![CDATA[<blockquote><p>When you are thinking about something you don&#8217;t understand you have a terrible, uncomfortable feeling called confusion. The confusion is, because we are all some kind of apes that are kind of stupid trying to figure out how to put two sticks together to reach the banana, and we can&#8217;t quite make it. So I always feel stupid. Once in a while, I put the two sticks together, and I reach the banana. <em> &#8211;Richard Feynman</em></p></blockquote>
<p><a href="http://www.youtube.com/watch?v=lytxafTXg6c">YouTube video</a>.</p>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2008/09/07/so-i-always-feel-stupid/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Linear logician&#8217;s bumper sticker</title>
		<link>http://dvanhorn.lambda-calcul.us/2008/03/25/linear-logicians-bumper-sticker/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2008/03/25/linear-logicians-bumper-sticker/#comments</comments>
		<pubDate>Wed, 26 Mar 2008 00:46:35 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Linearity]]></category>
		<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/2008/03/25/linear-logicians-bumper-sticker/</guid>
		<description><![CDATA[My other par is a lambda.
]]></description>
			<content:encoded><![CDATA[<p>My other par is a lambda.</p>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2008/03/25/linear-logicians-bumper-sticker/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Logic versus Roscoe</title>
		<link>http://dvanhorn.lambda-calcul.us/2008/03/16/logic-versus-roscoe/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2008/03/16/logic-versus-roscoe/#comments</comments>
		<pubDate>Sun, 16 Mar 2008 18:49:01 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Comics]]></category>
		<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/2008/03/16/logic-versus-roscoe/</guid>
		<description><![CDATA[
From the Mar. 17, 2008, New Yorker.
]]></description>
			<content:encoded><![CDATA[<p><img src="/wp-content/uploads/2008/03/logic-vs-roscoe.png" height="300" width="300" /></p>
<p>From the Mar. 17, 2008, New Yorker.</p>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2008/03/16/logic-versus-roscoe/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Turing Test?</title>
		<link>http://dvanhorn.lambda-calcul.us/2008/01/23/turing-test/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2008/01/23/turing-test/#comments</comments>
		<pubDate>Thu, 24 Jan 2008 01:58:27 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Stupid]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/2008/01/23/turing-test/</guid>
		<description><![CDATA[Current Transcript of the Chat Session
Thank you for choosing Bank of America. An operator will be with you shortly.
You are now chatting with CeCe.
*you:* Hi, how do I find how to get my cash back? I have like 1000 points.
*CeCe:* Great! Which rewards program do you have?
*you:* Financial Rewards &#8212; it&#8217;s like 1% of purchases. [...]]]></description>
			<content:encoded><![CDATA[<blockquote><p>Current Transcript of the Chat Session<br />
Thank you for choosing Bank of America. An operator will be with you shortly.<br />
You are now chatting with CeCe.<br />
*you:* Hi, how do I find how to get my cash back? I have like 1000 points.<br />
*CeCe:* Great! Which rewards program do you have?<br />
*you:* Financial Rewards &#8212; it&#8217;s like 1% of purchases. What I want to know is where to look online? What button to push?<br />
*CeCe:* Awesome!<br />
*CeCe:* You can contact a Financial Rewards Redemption Center Specialist directly at 1.800.598.5665 or click [here] to redeem your rewards online.<br />
*you:* Thanks &#8212; that&#8217;s the online link I wanted. I already had the phone number&#8230;<br />
*you:* Bye<br />
*CeCe:* You&#8217;re welcome! Also, I would like to share the special offers we currently have available for opening a new personal checking, savings or CD account with you. Would you like to open a new account?<br />
*you:* No. Are you a real person, or is this some kind of software android? (Not meaning to offend.)<br />
*you:* Here&#8217;s a reality check: what&#8217;s your favorite baseball team? Or your favorite ice cream flavor? Do you like chocolate better than vanilla?<br />
*CeCe:* Yes, I&#8217;m a real person.<br />
*CeCe:* I don&#8217;t like baseball or ice cream.<br />
*you:* That&#8217;s not a very convincing answer! What&#8217;s your favorite food?<br />
*you:* What did you think of the Fed&#8217;s cut on the short term interest rate? Don&#8217;t you think 0.75% is a big cut?<br />
*CeCe:* Are you looking for a personal chat line because we are actually here for credit card applications only.<br />
*CeCe:* ?<br />
*CeCe:* I believe yahoo has that sort of chat line available for you.<br />
*CeCe:* Is there anything else I can help you with today?<br />
*you:* I wasn&#8217;t really interested in a personal chat &#8212; I just became very curious whether this was a person, or sophisticated software. I&#8217;m a computer science professor &#8212; there&#8217;s a famous artificial intelligence challenge called the &#8220;Turing Test&#8221; which is all about doing what we&#8217;re doing right now &#8212; an interrogation to see if who you&#8217;re communicating with is a man or a machine&#8230;<br />
*CeCe:* Great! As mentioned earlier, I am a real person.<br />
*you:* OK, that&#8217;s all &#8212; thanks, and good evening.<br />
*CeCe:* You are very welcome.<br />
Last text message received<br />
*CeCe:* It was a pleasure assisting you today.  To exit this chat session, please click the Close button.  Thanks for choosing Bank of America, have a great day!</p></blockquote>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2008/01/23/turing-test/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>There&#8217;s a difference between Re and Fwd</title>
		<link>http://dvanhorn.lambda-calcul.us/2007/10/08/theres-a-difference-between-re-and-fwd/</link>
		<comments>http://dvanhorn.lambda-calcul.us/2007/10/08/theres-a-difference-between-re-and-fwd/#comments</comments>
		<pubDate>Mon, 08 Oct 2007 14:17:38 +0000</pubDate>
		<dc:creator>dvanhorn</dc:creator>
				<category><![CDATA[Stupid]]></category>
		<category><![CDATA[mairson]]></category>
		<category><![CDATA[ong]]></category>
		<category><![CDATA[tcs]]></category>
		<category><![CDATA[Types]]></category>

		<guid isPermaLink="false">http://dvanhorn.lambda-calcul.us/2007/10/08/theres-a-difference-between-re-and-fwd/</guid>
		<description><![CDATA[As Harry sometimes says, feeling stupid is where it&#8217;s at.  Well, I got a good dose this morning.  After seeing Luke Ong&#8217;s posting of the call for papers for TCS 2008 on the TYPES list, I sent Harry a little note asking: &#8220;Can we try to finish the GoI for first class control [...]]]></description>
			<content:encoded><![CDATA[<p>As Harry sometimes says, feeling stupid is where it&#8217;s at.  Well, I got a good dose this morning.  After seeing <a href="http://users.comlab.ox.ac.uk/luke.ong/">Luke Ong</a>&#8217;s posting of the <a href="http://www.aicanet.it/wcc2008/TCS2008cfp1.pdf">call for papers</a> for TCS 2008 on the TYPES list, I sent Harry a little note asking: &#8220;Can we try to finish the GoI for first class control story and submit?&#8221;  Or so I thought.  Then I got an email from Ong:</p>
<blockquote><p>This sounds like a great topic for TCS 2008. Please say hello to Harry!  I hope he is well.</p></blockquote>
<p>D&#8217;oh.  At least I didn&#8217;t send it to the TYPES list!</p>
]]></content:encoded>
			<wfw:commentRss>http://dvanhorn.lambda-calcul.us/2007/10/08/theres-a-difference-between-re-and-fwd/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
