Goes through a HTML version of one of Prof Tao's blogposts, and spits out a beautiful LaTeX version.
Leverages Python and BeautifulSoup. Correctly hyperlinks, references, boxes definitions and theorems, and includes all comments.
A simple neovim plugin to simplify alt-keybindings on Mac
Solutions to the first few Project Euler problems in Scala 3
