Monthly Archives: September 2012

I’ll get back to you sometime in the future

I’ve spent the last week or two reading this paper, which contrasts continuations and exceptions, by giving a mathematical proof that they can be separated by various expressions (where separating means giving two closed terms which are equal in one … Continue reading

Posted in Computers and Internet | Leave a comment

Does it compute?

Turing’s Cathedral: The origins of the Digital Universe by George Dyson This book wasn’t really what I was expecting. Its main subject is John Von Neumann with an emphasis on the time he spent affiliated with the Institute of Advanced … Continue reading

Posted in Books | Leave a comment

I can see CLRly now the reign has gone

I’ve been reading a few interesting CLR related articles over the past few weeks. The Windows 8 FAQ is a plausible set of answers to a set of questions around the history of Silverlight/Wpf and the forthcoming Windows RT, mainly … Continue reading

Posted in Computers and Internet | Leave a comment