Monthly Archives: October 2012

Safe for parallelism

I came across the abstract for this paper while looking through the list of talks at SPLASH 2012. Joe Duffy wrote a fantastic book on concurrent programming in Windows and on his blog he has mentioned that he is working … Continue reading

Posted in Computers and Internet | Leave a comment

It’s certainly extensible

Professional Visual Studio Extensibility by Keyvan Nayyeri Yet another book that I bought cheaply on Amazon. Slightly out of date as it deals with Visual Studio 2008, and it has a focus on extending Visual Studio using add-ins and macros … Continue reading

Posted in Books | Leave a comment

It’s the future (but not as we know it)

Windows 8 Secrets by Paul Thurrott and Rafael Rivera It’s almost here. Windows 8 goes on general release this week, and we are all going to have to get used to the new “Metro” interface whether we like it or … Continue reading

Posted in Books | Leave a comment

When I go, I’m going to take it with me

I suppose it’s obvious when you think about it, but when you ask the CLR to run a method on the thread pool there’s a lot of context that you’d like to be taken across to the new thread – … Continue reading

Posted in Computers and Internet | Leave a comment

Very professional!

Pro .NET Performance by Sasha Goldshtein with Dima Zurbalev and Ido Flatow This is a really excellent book if you want to understand what is happening at the lower levels of the CLR and the base class library. It contains … Continue reading

Posted in Books | Leave a comment

Use the source Luke

There is an existing mechanism for handling source level debugging in languages that are translated to Javascript. The Google Closure compiler can generate source maps which can be used by a number of browsers, and despite some discussion to the … Continue reading

Posted in Uncategorized | Leave a comment

Abort, abort … no way!

Multi-core and its exploitation has brought a number of challenges to the programming world. It’s clear that we need to exploit the many cores that are now available to us, but it can be hard work to manage and coordinate … Continue reading

Posted in Computers and Internet | Leave a comment

Another one bites the dust

Way back in 1990 I started a Phd at Cambridge University Computer Laboratory in the area of automated theorem proving. My interest at the time was around the synthesis of functional programs from mathematical proofs of their correctness, but I … Continue reading

Posted in Computers and Internet | Leave a comment

It’s more about async than you might think

I recently got to do a presentation on C# 5. This included using Reflector to walk through some of the implementation of async. I’ve uploaded the slides here.

Posted in Computers and Internet | Leave a comment

It’s certainly a type of script

Microsoft certainly seem to be pushing TypeScript, yet another language that (trans)compiles to JavaScript. There is an introductory video here, more detail in the video here, the language specification here and a play area where you can see the TypeScript … Continue reading

Posted in Computers and Internet | Leave a comment