Monthly Archives: April 2009

A couple of good papers

There are a couple of papers that I have read recently that I though were quite good and which I meant to blog about some time ago. Automated Verification of Practical Garbage Collectors by Chris Hawblitzel and Erez Petrank presents two … Continue reading

Posted in Computers and Internet | Leave a comment

Take your time

There was a little discussion of the F# async form at work, so I though I’d set up a simple example demonstrating it. This pattern is a really neat way to get blocks of a computation executed on the threadpool … Continue reading

Posted in Computers and Internet | Leave a comment

Greengrocers know best!

Kepler’s Conjecture by George G Szpiro   I just finished rereading this book. It is the story of the Kepler conjecture, and the two dimensional equivalent, from its formulation in 1611 to the solution by Thomas Hales in 1998. A great … Continue reading

Posted in Books | Leave a comment

There’s something in my eye

Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design by Diomidis Spinellis and Georgios Gousios   This book consists of a collection of fourteen essays on various aspects of computer architecture, ranging from system architecture to computer languages … Continue reading

Posted in Computers and Internet | Leave a comment

Come at me with the banana

I forgot to mention the excellent Python Coding Dojo that Garry Bodsworth ran a month or so ago. It was an interesting day where I learned a lot. I liked the style, where the attendees could listen to his presentation … Continue reading

Posted in Computers and Internet | Leave a comment

Caught up in the web

At the weekend I attended WebDD down at Microsoft Reading. Like all of the community organised events, there was an interesting range of talks. Some simply brought together content that I had seen already from blogs. However, there were three talks … Continue reading

Posted in Computers and Internet | Leave a comment

Bring out your dead

I recently gave a talk at work on garbage collection, a subject in which I have been interested for a long time. The slides are available here and there are some examples in C# here which were intended to highlight some of issues … Continue reading

Posted in Computers and Internet | Leave a comment