Monthly Archives: October 2010

All together now!

I have just finished reading two academic papers connected to F#. The first is an academic paper on the async tasking model which has been in F# for several years. The async model makes it easy to use lightweight tasks … Continue reading

Posted in Computers and Internet | Leave a comment

Taking self-reference to the extreme

Godel’s Proof by Nagel and Newman This is a great introduction to the famous 1931 proof of Godel. It starts off with a good discussion of what it means for a proof system to be consistent, and discusses why mathematicians … Continue reading

Posted in Books | Leave a comment

Hoisted by his own bootstraps

I’ve been spending some time looking through the sources of the F# compiler. There are various posts around that tell you how to build the compiler from the sources. This requires some effort, but it is really interesting to step … Continue reading

Posted in Computers and Internet | Leave a comment

I wish I knew that

97 Things Every Programmer Should Know by Kevlin Henney A set of 97 two page essays by a variety of authors, each making some point connected to the development of software. They ranged from ideas such as using a source … Continue reading

Posted in Books | Leave a comment

Another time, another place

The Time Traveller by Ronald Mallet The story of an American Professor of Theoretical Physics, who started life in the Bronx and by hard work went on to become a tenured professor. As a result of his father’s death when … Continue reading

Posted in Books | Leave a comment