How this blog is generated and hosted using Pelican, KaTeX, Amazon S3, and Amazon CloudFront.