tag:blogger.com,1999:blog-11295132.post6122287169525245825..comments2015-11-05T00:40:24.898-08:00Comments on A Neighborhood of Infinity: Divided Differences and the Tomography of TypesDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-11295132.post-46276719064812688522010-08-12T15:28:53.038-07:002010-08-12T15:28:53.038-07:00Mind-blowing stuff! Here's my attempt at the ...Mind-blowing stuff! Here's <a href="http://byorgey.wordpress.com/2010/08/12/on-a-problem-of-sigfpe/" rel="nofollow">my attempt at the exercise</a>, although I suspect you had something even cooler in mind. I look forward to the next installment!Brenthttp://byorgey.wordpress.com/noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-66716191000895023192010-08-08T13:42:01.322-07:002010-08-08T13:42:01.322-07:00I've attempted to change Connor's code so ...I've attempted to change Connor's code so repeated dissection is possible: http://gist.github.com/514469<br /><br />It compiles fine, but I'm not sure it is correct.Sjoerd Visscherhttp://www.blogger.com/profile/10698430967044536619noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-35214581631042798062010-08-08T09:26:54.938-07:002010-08-08T09:26:54.938-07:00illissius,
There are quite a few places in discre...illissius,<br /><br />There are quite a few places in discrete computational mathematics where connections to numerical methods pop up. For example, all kinds of numerical stuff appears in the theory of automata. But it's in disguise. Jacobians and derivatives, Taylor-like series, approximation with linear terms and so on.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-77540839193525240242010-08-08T05:18:40.081-07:002010-08-08T05:18:40.081-07:00Jesus, I never imagined that numerical analysis co...Jesus, I never imagined that numerical analysis course I had to take would have applications to Haskell type theory, of all things...<br /><br />-illissiusAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-85609462510765753922010-08-07T16:05:10.737-07:002010-08-07T16:05:10.737-07:00I can't wait to see the next installment.I can't wait to see the next installment.Tomhttp://www.blogger.com/profile/08187984533973895431noreply@blogger.com