Archive for the 'Software' Category

Construction Update

We visited our construction site last Saturday and construction is going well although things have slowed down due to heavy afternoon rains and our builder has concentrated mostly on the swimming pool. He tells us he intends to deliver the guest house by the end of this month. I think he might miss by a [...]

Bill Gates at the Microsoft MVP Global Summit 2007

I spent most of the week at the MVP Global Summit in Redmond, where 1700 of my fellow geeks from all over the world met with Microsoft’s product teams to discuss upcoming technologies.
The keynote by Bill Gates was rather underwhelming. Gates used to make some pretty passionate speeches about new technology, but this time he [...]

Posting directly from Microsoft Word 2007

I just discovered that Word 2007 has support for posting directly to several types of blogs including my favourite: WordPress. So I now can leverage all of Word’s editing power and benefit from the spelling and grammar checker.
I am writing this in Word, and then all I have to do is hit “Publish”. Very cool.

Nikon RAW CODEC for Windows Vista

Nikon has released a codec (coder/decoder), enabling the new Vista Operating System to read Nikon RAW/NEF files natively. All Nikon DSLRs from the original D1 onwards are supported, as are all Coolpix cameras capable of writing RAW file output; namely the 5000, 5400, 5700, 8400, 8700 and 8800 models.
This basically extends the Vista file system so [...]

Upgraded to WordPress 2.1

I just upgraded this site as well as TragicPlanet to WordPress 2.1. It is significantly faster than the previous version but otherwise you shouldn’t see any difference. Let me know if you notice any problems.

Comment SPAM

If you do not run a blog you may not be aware of this but comment SPAM is a big problem for blogs. People (or sometimes bots) go around the net and post worthless comments on blogs so they can post URLs to their penis enlargement or online gaming sites. Their real goal is not to [...]

Dependable Software by Design: Model-Checking Tool

Another interesting entry from the Scientific American blog:
Scientific American: Dependable Software by Design
“Computers fly our airliners and run most of the world’s banking, communications, retail and manufacturing systems. Now powerful analysis tools will at last help software engineers ensure the reliability of their designs.”
This article describes a new research tool from MIT called Alloy Analyzer. [...]