is deeply sorry that Randy Pausch has died http://ping.fm/p31bi