Yeah -- I set up one of those services that notifies me when my LinkedIn contacts are in the news, and it sent me that an hour or two ago.

I confess, I'm startled: Tom's one of the best engineers I've ever worked with (indeed, one of my major influences, both in programming and project management), one of those people I really never expect to see laid off from anything. I'm very curious about what happened...