<?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: You call that art?</title>
	<atom:link href="http://blog.logichigh.com/2009/03/18/you-call-that-art/feed/" rel="self" type="application/rss+xml" />
	<link>http://blog.logichigh.com/2009/03/18/you-call-that-art/</link>
	<description>Logic High Software Blog</description>
	<lastBuildDate>Fri, 03 Feb 2012 17:46:35 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3</generator>
	<item>
		<title>By: Dan</title>
		<link>http://blog.logichigh.com/2009/03/18/you-call-that-art/comment-page-1/#comment-1174</link>
		<dc:creator>Dan</dc:creator>
		<pubDate>Sat, 19 Nov 2011 05:25:09 +0000</pubDate>
		<guid isPermaLink="false">http://blog.logichigh.com/?p=138#comment-1174</guid>
		<description>I always feel a little bothered by my code. Like I missed the left turn at Albuquerque on my way to Pismo Beach. I&#039;m usually proud of my math, maybe it&#039;s because my proofs are harder to run than my code, which shows its defects in startling clarity. Maybe it&#039;s just that math has even more power than lisp macros. &quot;Let D be the set of all dissections of [a,b], and let U(f,d) be the infimum of the upper sums of f on a dissection d in D&quot; is an abstraction the lambda calculus shies away from. 

Playing with limits really exposes the power of math, while playing with templates or conditional compilation always leaves a dry taste in my mouth. All the same, just making something run badly is satisfying, and iterative refinement is a pleasure. But showing that any class of objects necessarily has conditions x, y, and z given a and b is power incarnate, even when it&#039;s botched it&#039;s exhilarating. The biggest problem with math is that there&#039;s no way to generate &#039;stream of consciousness&#039; style what might be valid, it&#039;s all fits and starts. You can always iterate over the problem space with a computer until you think of something clever and elegant to be proud of. In math, sometimes you write total nonsense, and know it quickly.</description>
		<content:encoded><![CDATA[<p>I always feel a little bothered by my code. Like I missed the left turn at Albuquerque on my way to Pismo Beach. I&#8217;m usually proud of my math, maybe it&#8217;s because my proofs are harder to run than my code, which shows its defects in startling clarity. Maybe it&#8217;s just that math has even more power than lisp macros. &#8220;Let D be the set of all dissections of [a,b], and let U(f,d) be the infimum of the upper sums of f on a dissection d in D&#8221; is an abstraction the lambda calculus shies away from. </p>
<p>Playing with limits really exposes the power of math, while playing with templates or conditional compilation always leaves a dry taste in my mouth. All the same, just making something run badly is satisfying, and iterative refinement is a pleasure. But showing that any class of objects necessarily has conditions x, y, and z given a and b is power incarnate, even when it&#8217;s botched it&#8217;s exhilarating. The biggest problem with math is that there&#8217;s no way to generate &#8216;stream of consciousness&#8217; style what might be valid, it&#8217;s all fits and starts. You can always iterate over the problem space with a computer until you think of something clever and elegant to be proud of. In math, sometimes you write total nonsense, and know it quickly.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Manfred</title>
		<link>http://blog.logichigh.com/2009/03/18/you-call-that-art/comment-page-1/#comment-142</link>
		<dc:creator>Manfred</dc:creator>
		<pubDate>Wed, 29 Jul 2009 18:56:43 +0000</pubDate>
		<guid isPermaLink="false">http://blog.logichigh.com/?p=138#comment-142</guid>
		<description>Nice.

I like it, though I never really feel that way about my code.  Maybe math, but not code :) .  And I just annoy my girlfriend when I start sputtering half baked geometry.</description>
		<content:encoded><![CDATA[<p>Nice.</p>
<p>I like it, though I never really feel that way about my code.  Maybe math, but not code <img src='http://blog.logichigh.com/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' />  .  And I just annoy my girlfriend when I start sputtering half baked geometry.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Nicole</title>
		<link>http://blog.logichigh.com/2009/03/18/you-call-that-art/comment-page-1/#comment-141</link>
		<dc:creator>Nicole</dc:creator>
		<pubDate>Tue, 05 May 2009 10:10:25 +0000</pubDate>
		<guid isPermaLink="false">http://blog.logichigh.com/?p=138#comment-141</guid>
		<description>Girls that don&#039;t appreciate the poetry of well-written code simply don&#039;t know enough about it to appreciate the genius of someone who&#039;s good at it. Most have never tried anything like it and find it too complex to understand, so they can&#039;t comprehend the artistry.

There is a more enlightened, albeit smaller, class of women that either A) do appreciate the artisan finieries of code because they&#039;ve previously either worked with it or close to it or B) are just wise enough to understand that to code is to create and that any act of creation is an inherently expressive endeavor capable producing an artistic masterpiece. And any woman who has yet to realize that probably isn&#039;t worth dealing with anyway.</description>
		<content:encoded><![CDATA[<p>Girls that don&#8217;t appreciate the poetry of well-written code simply don&#8217;t know enough about it to appreciate the genius of someone who&#8217;s good at it. Most have never tried anything like it and find it too complex to understand, so they can&#8217;t comprehend the artistry.</p>
<p>There is a more enlightened, albeit smaller, class of women that either A) do appreciate the artisan finieries of code because they&#8217;ve previously either worked with it or close to it or B) are just wise enough to understand that to code is to create and that any act of creation is an inherently expressive endeavor capable producing an artistic masterpiece. And any woman who has yet to realize that probably isn&#8217;t worth dealing with anyway.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: theRemix</title>
		<link>http://blog.logichigh.com/2009/03/18/you-call-that-art/comment-page-1/#comment-140</link>
		<dc:creator>theRemix</dc:creator>
		<pubDate>Sat, 21 Mar 2009 19:38:42 +0000</pubDate>
		<guid isPermaLink="false">http://blog.logichigh.com/?p=138#comment-140</guid>
		<description>agreed. we&#039;ll have to settle for praise and respect from peers in this sub-culture.</description>
		<content:encoded><![CDATA[<p>agreed. we&#8217;ll have to settle for praise and respect from peers in this sub-culture.</p>
]]></content:encoded>
	</item>
</channel>
</rss>

