Geek Stuff ...
- I don't know if this is common knowledge (I know it's public domain though), but ... Microsoft is working on something called the Spec# programming language - basically, safe-programming for C#.
Essentially, they've built a version of C#, c/w a refined type-system, contracts, compiler and run-time (so checks can be both static and dynamic)... The approach is both about methodology and tool support. All good stuff (but very Eiffel-like, or SPADE Pascal/SPARK Ada)!
I think there's only academic interest in this so far ... unless you tell me differently that is?
More ...
I'm trying to buy a cheap USB keyring thingmy - 256MB would be great, 128MB would be ok too. So, any suggestions?
My binary watch is still out of stock at ThinkGeek - rats! It'll be interesting (when/If it arrives) to see if I'll ever be able to read it instantly - after training.
Personal Stuff ...
- My son's got chickenpox - poor little mite's completely covered in spots, and, of course, he's pretty miserable (even though he's missing school!)
- One of my machines started making noises. Took me ages to find the source - a fan on-board the video-card (how many fans has that damn system got?). I removed it, cleaned it, and fed it WD40 - seems ok (finger's crossed).