Hacker News Reader

Do you by any chance know Jack Lange? That's the only other time I've ever seen an artifex.org domain.

Yes, I do. Jack's an old friend an another one of the admins for Artifex.org.

Oh, cool! He was an advisor of mine during a summer REU a couple years ago when I was working on Palacios. Welcome to HN, by the way!