August 05, 2005
I loathe the strictures of academic writing. So much so that it affects my ability to get started on a piece of writing. In this sense, I enjoy the openness...
August 02, 2005
An excellent discussion on coding style, an often talked about, but poorly formalised art. Read more about it here....
June 16, 2005
Seeing as humanity is soon to enter a low-energy future it seems a shame to me that computers, in their current state, may well be one of the first things...
June 14, 2005
I just learnt from a colleague about two really cool things. In practice they allow communication from your editor to xdvi and back again. The first thing is that you...
June 05, 2005
When is the time to publish or speak about something? When is the time to stop and start researching something new? Sometimes I believe that economic or accounting principles should...
April 14, 2005
I'll be adding to this entry at times. It's a place to store a grab-bag of useful keyboard shortcuts for emacs. C-h v - describe a variable C-h f -...
April 12, 2005
I've been trying to find quotes that explain why one shouldn't spend one's entire life fixated on one tiny little topic. Vernor Vinge. "A Deepness in the Sky" p 287....
April 11, 2005
Today I used my implementation of Pan to create a duplicate of the 2ser logo. It's a prime example of a nice effect that should be defined in a language...
March 05, 2005
I've just downloaded a truly remarkable tool for Mac OS X. I've been looking for a tool like this for ages. It's described rather well on the sourceforge site...
February 26, 2005
[01-Feb-2004] Harper and Pfenning. On Equivalence of Canonical Forms in the LF Type Theory [04-Apr-2004] Simon Peyton Jones. Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in...