Principal Software Engineer at arXiv.org Mathematician, Logician, Computer Scientist, TeX Maniac, Linux Dev, Professional Mountain Guide