Skills and Technologies
This is some of the skills and technologies I have worked with over the years. I do not claim to be an expert in any of them, but I do have a reasonable understanding of many of these.
| Linux | Linux is a wonderful operating system, which is used to power much of the internet. I have used Linux personally on my computers for about 10 years, both for daily use, and to power my personal servers. |
| Docker | Docker is a technology for containerization of services. I have been using Docker to power my web services for about 1 year. |
| NeoVim | NeoVim is a newer implementation of Vim, with many useful additions, including easier plugin development, and the ability to run asynchronous code in the background. Learning to use NeoVim, Vim, and other vi-based editing tools is definitely one of the biggest speed improvements for text editing and other work. |
| LaTeX | LaTeX is a typesetting system, which allows for the creation of beautiful papers, especially technical or mathematical papers. LaTeX allows for the easy insertion of mathematical symbols and formulas, which is often difficult with conventional editors. |