He became the CTO of Cognitect. :) He's doing great.