who is frozen void

I've been away from /prog/ for a bit and he seems to be popping up everywhere.  Who is it?

I missed the thread with him arguing that the theory of computation is similar to a squirrel.  All of his posts were deleted, but it was funnier just reading it without all of his posts.