đź’»Programs I useđź’»

Last Updated: 2024-07-04


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 bash, but I've also used zsh in the past.
My window manager is exwm, the emacs x window manager.


My primary system font since late 2022 is Iosevka, but I've also used Mononoki in the past.
My unicode fonts are googles Noto and Noto Emoji.


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.


I do 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:

I use emacs with native compilation, more specifics follow at the bottom of this page.



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.


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.


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.


Flameshot is a great screen shotting TODO program, with good support for editing the screenshot before saving. Think red circles and arrows, numbered steps or perhaps colored blocks to redact information. It's great.


To view pdfs I use pdf-tools in emacs, which depends on poppler.
Poppler is a great little library for basic pdf editing, like splitting and concatenation.
I recommend mupdf for normal users.


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


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.


I write all my academic papers in emacs org-mode using the latex export.
I should probably dedicate a full blog post to my setup, so I won't elaborate here.

LaTeX Beamer

I also do 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.


My spell checker of choice is aspell, which I frequently invoke through ispell in emacs.
It has it's flaws, if you know of something better on linux please let me know.



As a minibuffer completion framework I use the popular stack of vertico, marginalia, consult and orderless. For in-buffer completion I use corfu. I also added embark and wgrep recently.

Key Bindings

I use evil mode, both to evade emacs pinky and out of habit. Evil-collection expands the applicability of evil mode to emacs interfaces that don't usually support it. For global keybindings I use general.el and which-key, I recommend avoiding hydra.


Magit and git-gutter. You're doing yourself a disservice if you don't use these.
I recommend adding key bindings for magit-blame-addition and magit-clone.


Shell-pop gives me the ability to toggle a bash shell.
Fish like autosuggest is achieved via capf-autosuggest.
I use vterm as a fallback for TUI programs.

Interface Enhancements

My modeline is the doom-modeline, the only viable third-party modeline really.
Dashboard is my startup screen and entry point to an emacs session.
Evil-goggles flashes a selected region upon an action: visual feedback on stuff like yw.
Org-modern improves the look of org-mode significantly.
Nerd-icons-dired adds file type icons to dired.
Dired-filter is what I use to hide dotfiles by default.


No-littering is neat, but I carry no strong opinions about it.
I use paredit mostly just for paredit-forward-slurp-sexp which I bind to SPC <.
Define-word is nice to have during writing to double check a words meaning.
Helpful improves a subset of the describe-* commands.
Hl-todo greatly enhances my writing process. I define the custom keywords CITE, LINK and IMAGE.
Reformatter is a generic way to define language specific formatters, I use it with shfmt.
Occasionally I install esup to profile my startup time.
I already talked about exwm and pdf-tools in prior sections.