Tools I Use
- Vim, and occasionally Atom or Gedit, for writing
- Firefox for testing
- Python for automating things
- GitHub for hosting and version control
- Jekyll for static website generation as part of GitHub pages
How This Site is Built
There is an almost infinite number of static site generators, and most are very suitable. But after several attempts to take this page seriously again, I decided to simplify it as much as possible and restrict my options, hoping that (after the normal setup time) this would allow me to think only about the content and not more about the administration. Thus, this site is hosted on GitHub Pages and automatically generated via Jekyll every time there is a new commit. All pages and posts are simple, plain text files, written in Markdown. A trivial Python script generates the publication page from bibtex files.
The Jeykll theme is a slightly modified version of the pages-themes/hacker.