<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-11295132.post8621077382080662886..comments</id><updated>2008-07-17T16:01:23.606-07:00</updated><category term='category theory'/><category term='lawvere theories'/><category term='astronomy'/><category term='optimisation'/><category term='self-reference'/><category term='comonads'/><category term='haskell'/><category term='programming'/><category term='monad'/><category term='mathematics'/><category term='physics'/><category term='probability'/><category term='types'/><category term='quantum'/><title type='text'>Comments on A Neighborhood of Infinity: MSFP 2008</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.sigfpe.com/feeds/8621077382080662886/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html'/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>7</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-11295132.post-6799067158346229304</id><published>2008-07-17T15:55:00.000-07:00</published><updated>2008-07-17T15:55:00.000-07:00</updated><title type='text'>The TV people had agreed on an interview but didn'...</title><content type='html'>The TV people had agreed on an interview but didn't show up? If so, that sucks.. to put it politely. I'll surely write some emails to express my opinion of that.&lt;BR/&gt;&lt;BR/&gt;In any case, if you are ever back in Iceland and I'm around, I hereby offer you personally to take you (and Ýmir if he's around) on a 4x4 trip to the highlands for some real hiking - after you do Esjan of course :)</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/6799067158346229304'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/6799067158346229304'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1216335300000#c6799067158346229304' title=''/><author><name>Arnar Birgisson</name><uri>http://www.blogger.com/profile/12073820949049315334</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1833898225'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-275209564297325211</id><published>2008-07-17T14:05:00.000-07:00</published><updated>2008-07-17T14:05:00.000-07:00</updated><title type='text'>Hi Arnar,&lt;br&gt;&lt;br&gt;I was a bit annoyed about the TV ...</title><content type='html'>Hi Arnar,&lt;BR/&gt;&lt;BR/&gt;I was a bit annoyed about the TV thing. I was supposed to be around at a certain time on my last day to meet up with a TV crew but they decided not to turn up after all. I really wanted to spend that day climbing up Esja which Ýmir had recommended to me. As it was, I had just an hour to attempt to run up and down it. As you can imagine, I didn't get too close to the summit :-( Still, what I did see was really beautiful.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/275209564297325211'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/275209564297325211'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1216328700000#c275209564297325211' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-3938597880445680246</id><published>2008-07-17T09:30:00.000-07:00</published><updated>2008-07-17T09:30:00.000-07:00</updated><title type='text'>Dan,&lt;br&gt;&lt;br&gt;Thank you for your talk, I very much e...</title><content type='html'>Dan,&lt;BR/&gt;&lt;BR/&gt;Thank you for your talk, I very much enjoyed it. It is a pity we couldn't get you a spot on TV though up here in Iceland :/&lt;BR/&gt;&lt;BR/&gt;Anyways, my regards to Ýmir (we were undergrads at the same time) and for the curious, &lt;A HREF="http://picasaweb.google.com/icalp2008" REL="nofollow"&gt;here&lt;/A&gt; are some more photos from ICALP'08 and the affiliated workshops.&lt;BR/&gt;&lt;BR/&gt;cheers,&lt;BR/&gt;Arnar</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/3938597880445680246'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/3938597880445680246'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1216312200000#c3938597880445680246' title=''/><author><name>Arnar Birgisson</name><uri>http://www.blogger.com/profile/12073820949049315334</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1833898225'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-1366605050138659676</id><published>2008-07-14T12:09:00.000-07:00</published><updated>2008-07-14T12:09:00.000-07:00</updated><title type='text'>Dan Piponi:&lt;br&gt;&lt;br&gt;That is an absolutely gorgeous ...</title><content type='html'>Dan Piponi:&lt;BR/&gt;&lt;BR/&gt;That is an absolutely gorgeous presentation!&lt;BR/&gt;&lt;BR/&gt;Clear, just deep enough, accessible, nicely illustrated, flowing.&lt;BR/&gt;&lt;BR/&gt;I've emailed the URL to some computing friends who want to learn more Math, and vice versa.&lt;BR/&gt;&lt;BR/&gt;I've printed out some color hardcopies for people I know who are teaching Math from a CS perspective (including my B.S. Math, B.S. Computer Science son who entered Law school at age 18, and is doing telecom consulting software during this summer).&lt;BR/&gt;&lt;BR/&gt;Now, if you can convince ILM to make an animated version...&lt;BR/&gt;&lt;BR/&gt;-- Prof. Jonathan Vos Post</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/1366605050138659676'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/1366605050138659676'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1216062540000#c1366605050138659676' title=''/><author><name>Anonymous</name><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img1.blogblog.com/img/blank.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1880936199'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-6114556044028258800</id><published>2008-07-13T08:29:00.000-07:00</published><updated>2008-07-13T08:29:00.000-07:00</updated><title type='text'>Some days I hate computers. Even writing a simple ...</title><content type='html'>Some days I hate computers. Even writing a simple text file can go wrong.&lt;BR/&gt;&lt;BR/&gt;I'd recode that text file but for a small hitch: mac.com won't let me at that file any more! Probably another glitch in their conversion to "mobile me".</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/6114556044028258800'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/6114556044028258800'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1215962940000#c6114556044028258800' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-7604266555848449962</id><published>2008-07-12T22:05:00.000-07:00</published><updated>2008-07-12T22:05:00.000-07:00</updated><title type='text'>The script link is to text in MacRoman, with CRs a...</title><content type='html'>The script link is to text in MacRoman, with CRs as line separators.  &lt;BR/&gt;&lt;BR/&gt;recode mac/CR..utf8 makes it much more readable on a standard unix system.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/7604266555848449962'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/7604266555848449962'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1215925500000#c7604266555848449962' title=''/><author><name>Anonymous</name><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img1.blogblog.com/img/blank.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1778467001'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-122263516268479167</id><published>2008-07-12T14:59:00.000-07:00</published><updated>2008-07-12T14:59:00.000-07:00</updated><title type='text'>Your slide link and your script link are the same....</title><content type='html'>Your slide link and your script link are the same.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/122263516268479167'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8621077382080662886/comments/default/122263516268479167'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/07/msfp-2008.html?showComment=1215899940000#c122263516268479167' title=''/><author><name>Anonymous</name><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img1.blogblog.com/img/blank.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/07/msfp-2008.html' ref='tag:blogger.com,1999:blog-11295132.post-8621077382080662886' source='http://www.blogger.com/feeds/11295132/posts/default/8621077382080662886' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1204379753'/></entry></feed>
