Monthly Archives: December 2010

That’s not the value you showed me before

I’ve just been reading a very interesting MSR paper on Verifying Compiler Transforms For Concurrent Programs. The various memory models at both the hardware level on x86, and at the compiler level for C# seem very underspecified. This paper documents … Continue reading

Posted in Computers and Internet | Leave a comment

On your Next action, please follow these guidelines

I recently got around to reading the Rx Design Guidelines. This is a fairly small document that outlines advice for using the Rx library. The early documents on Rx didn’t seem to offer much advice on the scheduling of the … Continue reading

Posted in Computers and Internet | Leave a comment

This is the first iteration

I recently got to blog about work that I’ve been doing as part of my day job – adding some functionality to Reflector.

Posted in Computers and Internet | Leave a comment

Pause a second would you?

There’s a great interview with Gil Tene covering the work Azul have done on a pauseless garbage collector. Incremental collectors have been around for a long time, but the problem has always been the cost of implementing a read barrier … Continue reading

Posted in Computers and Internet | Leave a comment

Very enthusiastic

I’m be up front about it… I love the idea of formally verifying the semantics of a program. When I was a little younger, I was really fascinated by the idea of using standard mathematical techniques to prove that a … Continue reading

Posted in Computers and Internet | Leave a comment

Thanks for the purity

I’m not fully sure what it is about the Haskell language that I find fascinating. One thing is certainly the purity. The call-by-need evaluation means that one can take very mathematical looking definitions and they will correctly evaluate even when … Continue reading

Posted in Computers and Internet | Leave a comment

Bless you!

The Soul Of a New Machine by Tracy Kidder I remember reading this book a long time ago when I was young. It’s the story of the development of the Eagle, a Skunkworks project at Data General which finished in … Continue reading

Posted in Books | Leave a comment