<?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.post7373595230260409306..comments</id><updated>2008-12-02T07:30:49.172-08:00</updated><category term='monad'/><category term='mathematics'/><category term='physics'/><category term='optimisation'/><category term='astronomy'/><category term='self-reference'/><category term='probability'/><category term='comonads'/><category term='haskell'/><category term='types'/><category term='programming'/><category term='quantum'/><title type='text'>Comments on A Neighborhood of Infinity: An Approach to Algorithm Parallelisation</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.sigfpe.com/feeds/7373595230260409306/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.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>6</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-11295132.post-541052726026643036</id><published>2008-12-02T07:07:00.000-08:00</published><updated>2008-12-02T07:07:00.000-08:00</updated><title type='text'>If you are looking for a more typeful derivation o...</title><content type='html'>If you are looking for a more typeful derivation of this sort of thing, Dana Xu of ESC/Haskell fame wrote something similiar for her Masters' thesis. A paper based, which I believe is based on that thesis or formed the basis for it:&lt;BR/&gt;&lt;BR/&gt;http://citeseer.ist.psu.edu/old/xu03typebased.html</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/541052726026643036'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/541052726026643036'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.html?showComment=1228230420000#c541052726026643036' title=''/><author><name>Edward Kmett</name><uri>http://www.blogger.com/profile/16144424873202502715</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/11/approach-to-algorithm-parallelisation.html' ref='tag:blogger.com,1999:blog-11295132.post-7373595230260409306' source='http://www.blogger.com/feeds/11295132/posts/default/7373595230260409306' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-507310849'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-877111950075093190</id><published>2008-11-30T13:32:00.000-08:00</published><updated>2008-11-30T13:32:00.000-08:00</updated><title type='text'>Cristian,&lt;br&gt;&lt;br&gt;That prefix sum article is great....</title><content type='html'>Cristian,&lt;BR/&gt;&lt;BR/&gt;That prefix sum article is great. There's a bunch of stuff in there I'm interested in. Thanks.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/877111950075093190'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/877111950075093190'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.html?showComment=1228080720000#c877111950075093190' 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/11/approach-to-algorithm-parallelisation.html' ref='tag:blogger.com,1999:blog-11295132.post-7373595230260409306' source='http://www.blogger.com/feeds/11295132/posts/default/7373595230260409306' 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-6091770374557617499</id><published>2008-11-30T13:25:00.000-08:00</published><updated>2008-11-30T13:25:00.000-08:00</updated><title type='text'>Very nice article. Thank you so much!&lt;br&gt;&lt;br&gt;It re...</title><content type='html'>Very nice article. Thank you so much!&lt;BR/&gt;&lt;BR/&gt;It reminds me of Guy Blelloch, Prefix Sums and Their Applications&lt;BR/&gt;&lt;BR/&gt;http://www.cs.cmu.edu/~guyb/papers/Ble93.pdf</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/6091770374557617499'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/6091770374557617499'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.html?showComment=1228080300000#c6091770374557617499' title=''/><author><name>Cristian</name><uri>http://www.blogger.com/profile/01055204032970253748</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/11/approach-to-algorithm-parallelisation.html' ref='tag:blogger.com,1999:blog-11295132.post-7373595230260409306' source='http://www.blogger.com/feeds/11295132/posts/default/7373595230260409306' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-196242451'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-846791203781040644</id><published>2008-11-30T01:42:00.000-08:00</published><updated>2008-11-30T01:42:00.000-08:00</updated><title type='text'>This is extraordinarily cool, thanks for posting t...</title><content type='html'>This is extraordinarily cool, thanks for posting this. Regretfully, I have nothing else substantial to add, but still :)</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/846791203781040644'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/846791203781040644'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.html?showComment=1228038120000#c846791203781040644' title=''/><author><name>jkff</name><uri>http://www.blogger.com/profile/16923431648214439769</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/11/approach-to-algorithm-parallelisation.html' ref='tag:blogger.com,1999:blog-11295132.post-7373595230260409306' source='http://www.blogger.com/feeds/11295132/posts/default/7373595230260409306' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-122478438'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-9128275346797565385</id><published>2008-11-29T21:50:00.000-08:00</published><updated>2008-11-29T21:50:00.000-08:00</updated><title type='text'>Yes, the Floyd-Warshall algorithm fits into the sa...</title><content type='html'>Yes, the Floyd-Warshall algorithm fits into the same general framework.&lt;BR/&gt;&lt;BR/&gt;Incidentally, I wrote about how you can use a monad to implement a very general version of Floyd-Warshall &lt;A HREF="http://sigfpe.blogspot.com/2007/06/how-to-write-tolerably-efficient.html" REL="nofollow"&gt;here&lt;/A&gt;. This current problem can be implemented with that monad too - but it might be very hard to keep it efficient.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/9128275346797565385'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/9128275346797565385'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.html?showComment=1228024200000#c9128275346797565385' 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/11/approach-to-algorithm-parallelisation.html' ref='tag:blogger.com,1999:blog-11295132.post-7373595230260409306' source='http://www.blogger.com/feeds/11295132/posts/default/7373595230260409306' 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-1235707137564642212</id><published>2008-11-29T20:22:00.000-08:00</published><updated>2008-11-29T20:22:00.000-08:00</updated><title type='text'>This reminds me of how the Floyd-Warshall algorith...</title><content type='html'>This reminds me of how the Floyd-Warshall algorithm can be used to compute shortest path, maximum flow, number of paths, probability of reaching destination, and many other things, depending on the weight semiring you use.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/1235707137564642212'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/7373595230260409306/comments/default/1235707137564642212'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/11/approach-to-algorithm-parallelisation.html?showComment=1228018920000#c1235707137564642212' 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/11/approach-to-algorithm-parallelisation.html' ref='tag:blogger.com,1999:blog-11295132.post-7373595230260409306' source='http://www.blogger.com/feeds/11295132/posts/default/7373595230260409306' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-2049968071'/></entry></feed>
