1 Technology

1. The source of the blog is on a git repository.
2. html files are hosted on GitHub Pages.
3. The blog source is compiled by hakyll.
4. The content is written use my variation of Pandoc's Markdown, I call it Xu's MathDoc.
5. Coded most of the things in Sublime Text 3.
6. The theme is Tarski with few changes.
7. The math are shown with KaTex.
8. The heading themes are similar to Connections in Combinatorial Optimization, and the remaining themes are similar to Categories for the Working Mathematician. The symbols are of KaTeX.
9. To compile just MathDoc.hs, you need pandoc and pandoc-citeproc. To compile the site.hs, additionally you need hakyll.
10. For the homepage, I generate with python. Needs to run pip install pyyaml mistune jinja2 bs4 on a new machine.
11. More hacks, KaTeX offline compilation. Requires jsdom and node.js.

2 Todo

• Able to simulate \label and \ref.

3 Notes

• Under mac, MathDoc require you to export LANG=C for it to work, I have no idea why.
• I made an syntax highlighting file for sublime 3, so in Markdown it can also highlight latex codes.