<?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/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
		>
<channel>
	<title>Comments on: Believing in Computer Science</title>
	<atom:link href="http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/feed/" rel="self" type="application/rss+xml" />
	<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/</link>
	<description>Abstract types are existential types.</description>
	<lastBuildDate>Tue, 29 Jan 2013 15:10:50 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
	<item>
		<title>By: Brian Hurt</title>
		<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/#comment-1079</link>
		<dc:creator><![CDATA[Brian Hurt]]></dc:creator>
		<pubDate>Mon, 27 Aug 2012 20:27:40 +0000</pubDate>
		<guid isPermaLink="false">http://existentialtype.wordpress.com/?p=737#comment-1079</guid>
		<description><![CDATA[I wonder how much of this demand for revolutionary change comes from the commercial world&#039;s need to sell software?  One of the problems with selling software (in the old style, shrink wrap model) was the need to convince customers to stop using the old software in favor of buying new software.  It&#039;s not like software wore out or broke down or anything.  So the model of bi-annual revolutions was adopted- each new release was touted as being completely new and revolutionary.  This bled into the culture, in stark contradiction to the fact that most software development (even in the commercial world) is, in fact, evolutionary not revolutionary.  You take (more or less) working code and make incremental changes- add a feature here, remove a bug there, and so on.]]></description>
		<content:encoded><![CDATA[<p>I wonder how much of this demand for revolutionary change comes from the commercial world&#8217;s need to sell software?  One of the problems with selling software (in the old style, shrink wrap model) was the need to convince customers to stop using the old software in favor of buying new software.  It&#8217;s not like software wore out or broke down or anything.  So the model of bi-annual revolutions was adopted- each new release was touted as being completely new and revolutionary.  This bled into the culture, in stark contradiction to the fact that most software development (even in the commercial world) is, in fact, evolutionary not revolutionary.  You take (more or less) working code and make incremental changes- add a feature here, remove a bug there, and so on.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Robert Harper</title>
		<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/#comment-1064</link>
		<dc:creator><![CDATA[Robert Harper]]></dc:creator>
		<pubDate>Sun, 26 Aug 2012 17:09:21 +0000</pubDate>
		<guid isPermaLink="false">http://existentialtype.wordpress.com/?p=737#comment-1064</guid>
		<description><![CDATA[Thanks, corrected.]]></description>
		<content:encoded><![CDATA[<p>Thanks, corrected.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: pindaroi</title>
		<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/#comment-1063</link>
		<dc:creator><![CDATA[pindaroi]]></dc:creator>
		<pubDate>Sun, 26 Aug 2012 16:36:23 +0000</pubDate>
		<guid isPermaLink="false">http://existentialtype.wordpress.com/?p=737#comment-1063</guid>
		<description><![CDATA[Did you mean amplifying in the second sentence?

Wonderful exposition of polarity in the following post.]]></description>
		<content:encoded><![CDATA[<p>Did you mean amplifying in the second sentence?</p>
<p>Wonderful exposition of polarity in the following post.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Andrew Stellman (@AndrewStellman)</title>
		<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/#comment-1062</link>
		<dc:creator><![CDATA[Andrew Stellman (@AndrewStellman)]]></dc:creator>
		<pubDate>Sun, 26 Aug 2012 16:08:47 +0000</pubDate>
		<guid isPermaLink="false">http://existentialtype.wordpress.com/?p=737#comment-1062</guid>
		<description><![CDATA[Another problem may be that funding levels in all areas of research have plummeted (the payline in, say, NIH funded research is down many percentage points over the last fifteen years). When money gets tight, people spend more on lottery tickets.

The irony about funding agencies playing venture capitalist is that the venture capitalists have had such a lousy track record in actually funding breakthroughs. Have you noticed what venture capitalists are actually funding these days? I think Scott Adams did a pretty good job summing up the state of venture capital:

http://search.dilbert.com/search?day1=10&amp;mth1=07&amp;yr1=2012&amp;day2=13&amp;mth2=07&amp;yr2=2012&amp;x=37&amp;y=21

Yes, that&#039;s definitely the model we want to push forward the field.]]></description>
		<content:encoded><![CDATA[<p>Another problem may be that funding levels in all areas of research have plummeted (the payline in, say, NIH funded research is down many percentage points over the last fifteen years). When money gets tight, people spend more on lottery tickets.</p>
<p>The irony about funding agencies playing venture capitalist is that the venture capitalists have had such a lousy track record in actually funding breakthroughs. Have you noticed what venture capitalists are actually funding these days? I think Scott Adams did a pretty good job summing up the state of venture capital:</p>
<p><a href="http://search.dilbert.com/search?day1=10&#038;mth1=07&#038;yr1=2012&#038;day2=13&#038;mth2=07&#038;yr2=2012&#038;x=37&#038;y=21" rel="nofollow">http://search.dilbert.com/search?day1=10&#038;mth1=07&#038;yr1=2012&#038;day2=13&#038;mth2=07&#038;yr2=2012&#038;x=37&#038;y=21</a></p>
<p>Yes, that&#8217;s definitely the model we want to push forward the field.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: hakatpat</title>
		<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/#comment-1061</link>
		<dc:creator><![CDATA[hakatpat]]></dc:creator>
		<pubDate>Sun, 26 Aug 2012 16:01:30 +0000</pubDate>
		<guid isPermaLink="false">http://existentialtype.wordpress.com/?p=737#comment-1061</guid>
		<description><![CDATA[&quot;If I have seen further it is by standing on the shoulders of giants.&quot;
- Isaac Newton]]></description>
		<content:encoded><![CDATA[<p>&#8220;If I have seen further it is by standing on the shoulders of giants.&#8221;<br />
- Isaac Newton</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Derek Dreyer</title>
		<link>http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/#comment-1050</link>
		<dc:creator><![CDATA[Derek Dreyer]]></dc:creator>
		<pubDate>Sat, 25 Aug 2012 21:02:01 +0000</pubDate>
		<guid isPermaLink="false">http://existentialtype.wordpress.com/?p=737#comment-1050</guid>
		<description><![CDATA[Great piece -- I totally agree with Meyer as well.  Indeed, I have argued as much in private for some time, and I know many who feel the same frustration.  I&#039;ve grown quite tired of the perennial complaints about how our existing conferences, journals, what have you, are prejudiced towards incremental research, as if it&#039;s something to be shunned in favor of half-assed quirky revolutionary ideas that don&#039;t work.  Research is inherently incremental, and there&#039;s no shame in it -- rather, the *evolution* (as you put it) of great ideas is what makes research so exciting, to me at least.]]></description>
		<content:encoded><![CDATA[<p>Great piece &#8212; I totally agree with Meyer as well.  Indeed, I have argued as much in private for some time, and I know many who feel the same frustration.  I&#8217;ve grown quite tired of the perennial complaints about how our existing conferences, journals, what have you, are prejudiced towards incremental research, as if it&#8217;s something to be shunned in favor of half-assed quirky revolutionary ideas that don&#8217;t work.  Research is inherently incremental, and there&#8217;s no shame in it &#8212; rather, the *evolution* (as you put it) of great ideas is what makes research so exciting, to me at least.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
