💻Programs I use💻

Last Updated: 2025-03-10

Base

Arch Linux

Arch Linux has been my linux distribution of choice since early 2021. It has been a reliable and trusty companion over the years, being less fragile than several of the allegedly stable distros I've used prior, such as debian. I tightly integrate my dotfiles with arch, having a PKGBUILD to automate my dotfiles bootstrapping. I believe this approach to be superior to a post-install script, since it allows me to more explicitly track the packages I use and keep the list of explicitly installed packages low.

My recovery time from a backup, including a full reinstall, is less than one hour.

My current shell is zsh, but I've also used bash in the past.
My wayland compositor is labwc.

Brave

I'm currently using brave as my primary web browser. I like it due to it's builtin adblock and speed. I've also extensively used both Librewolf and Qutebrowser in the past and can recommend them for enhanced privacy protection and keyboard driven operation respectively.

I have previously reviewed all terminal emulators, have a read.

Neovim

I currently use neovim with its default settings, no config file.

I did the majority of my computing inside of emacs, yet I do not believe everyone should switch to it. It takes a rather specific set of biases and affinities to both persevere through the initial learning curve as well as reap worthwhile benefits. You need to watch only two videos on emacs to make a well informed decision on whether you want to pursue it further or not:

Multimedia

MPV

My media player of choice is mpv, it's great for both audio and video and the dominant choice among linux users. To mac users I can recommend IINA.

FFMPEG

I use ffmpeg to record audio and video, to do basic audio post-processing and to convert between the various encoders and container formats. If you're on linux it's likely already installed as a dependency to something else.

Imagemagick

I use imagemagick to do all my basic image conversion and editing.
This includes cropping, scaling, captions, appending, rotation.
For anything more advanced, which I only need to do every few months, I use gimp.

Poppler

Poppler is a great little library for basic pdf editing, like splitting and concatenation.

YT-DLP

With yt-dlp I download youtube videos, music, or full channels even.
Enough said.

Writing

This Website

I've written at length about all the various components that go into this website.
Check out my blog post on it here.

LaTeX

I wrote all my academic papers in emacs org-mode using the latex export.
This is a pretty common setup among emacs users.

LaTeX Beamer

I also wrote my presentations in emacs org-mode, leveraging latex beamer.
One nice feature of latex beamer I've seen nowhere else is the progress indicator at the top. I'll dig up the theme and color scheme I use soon-ish.

LaTeX Moderncv

I format job applications via LaTeX ModernCV and can highly recommend it to stand out amongst the mountain of poorly typeset CVs made in Microsoft word.
I use the banking style and prefer a red accent color.

Aspell

My spell checker of choice is aspell. It has it's flaws, if you know of something better on linux please let me know.