The contents of this site are written in Emacs, in a mix of Markdown and HTML. A static site is generated from the Markdown and HTML files using Jekyll. The current style being used is a modified version of the one in Hyde. The most up-to-date source is available on GitHub. The generated static site is pushed to S3. Some details on the infrastructure behind this can be found in the following posts: