Category: tech
-
Formal Methods versus TDD
Back when I was taking my Computer Science degree at University I learned all about 'Formal Methods' (when I wasn't playing pool, badly, that is). The main reason to use Formal Methods is to prove the correctness of programs. By stating a logical pre-condition for a block of code you can apply a sequence of logical steps to it that each correspond to the behaviour of each of the statements in the block. If when you reach the end of your block your transformed pre-condition is the same as the logical post-condition then your block is proven correct. If you do this for your entire program then it as a whole is proven correct.
-
Firing up the Bird
Like Joel, I'm trying out Mozilla Firebird as my default browser. So far I like:
-
Why I don't like the GAC
A real example of why I don't like the GAC in .NET:
-
Things on my mind
There's a few tech things I'm working on at the moment:
-
Drupal (and similar things)
Charles is using Drupal - very sweet, I'll have to think about putting some of that stuff into my blog app. Other pointers I'm going to checkout.- drop.org, bloxsom, and A List Apart