About this website
This website has been around in one form or another since June 26th, 2013.
The website is hosted on DigitalOcean and is served statically by NGINX. Cloudflare is sitting between my DigitalOcean droplet and you. Your HTTPS connection is secure to Cloudflare, and secure from Cloudflare to the droplet.
You can access the TeX source of any PDFs I authored in TeX, by replacing the “.pdf” extension with “.tex”.