Re: [math-fun] Yogi Berra, computer scientist, dead at 90