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.

The rendering engines are Hugo for the site, pdftex for PDFs, and ImageMagick to create image thumbnails. The Hugo theme is Anatole with a variety of modifications, most notably to remove most uses of JavaScript and to incorporate Danila Fedore’s sidenotes (archive). Mathematical notation in HTML is rendered by KaTeX.

You can access the TeX source of any PDFs I authored in TeX, by replacing the “.pdf” extension with “.tex”.

The infrastructure for this website is defined and managed by Pulumi; you can see it on GitHub. That repository also specifies the Nix configuration for the server.