Monthly Archives: August 2013

How clear is the proof?

Mechanizing Proof (Computing, Risk and Trust) by Donald MacKenzie During the 1970s and 1980s automated verification of program correctness promised so much. You’d be able to take your program, mathematically specify what you expected the program to compute, and then … Continue reading

Posted in Books | Leave a comment

Dead or Alive?

The Quantum Story: A history in 40 moments by Jim Baggott When I was studying mathematics at university, I found Quantum mechanics really confusing. We started with Schrodinger’s Wave equation and used it to derive all sorts of results, but … Continue reading

Posted in Books | Leave a comment

Exceptionally good post

You know how it is. You’re thinking about JIT in .NET and the notion of safe points, and then you start wondering how safe points and asynchronous interrupts of a thread mix (though I am certainly no fan of exceptions … Continue reading

Posted in Computers and Internet | Leave a comment

That’s some art

The Art of Unit Testing by Roy Osherove This book has been around for a number of years, and I think I’ve come along to it rather late… Unit testing, perhaps mixed with developer integration tests, has been around for … Continue reading

Posted in Books | Leave a comment

Blast from the past

I loved this recent post which points to some of the old copies of BYTE magazine. In particular the legendary issue on Smalltalk, which I hadn’t read before, as well as some good issues on Lisp and Pascal. Some other … Continue reading

Posted in Books | Leave a comment

You need to be clear with your instructions

I’ve been doing loads of reading about the x86/x64 architecture recently, mainly as a result of coming across the fantastic papers written by Agner Fog on his optimisation page. The microarchitecture paper is a really good read. It discusses how … Continue reading

Posted in Computers and Internet | Leave a comment

What type of theory?

When I studied mathematics in college, I really loved algebraic topology, set theory and (first-order) logic. After a graduate course in computer science, I was fascinated by automated theorem proving, constructive proof and type theory. The foundations of mathematics has … Continue reading

Posted in Computers and Internet | Leave a comment