I'm old enough to have read tons and tons of his posts to usenix from back in the day. Lots of fun, very talented guy. Anyone know what he is doing these days

I'm old enough to have read tons and tons of his posts to usenix from back in the day. Lots of fun, very talented guy. Anyone know what he is doing these days? Enjoying retirement?