Today would have been Grace Hopper's 107th birthday...

Today would have been Grace Hopper's 107th birthday...  Google did the doodle at right to commemorate the occasion.  I once met Grace Hopper, as I wrote about here...