Stuff I Use

Obviously, as a human being living and participating fully in society in the current day, I use a number of applications to manage my life both on Windows and Linux. Here’s a list, conveniently organized by category.

Text Editors

Emacs

I’ll be honest: I didn’t expect to get into emacs at first. I’ve tried before, when getting into Scheme, but the learning curve was just a bit too steep. When getting into Agda, though, I got more and more used to emacs, to the point where I’m using it now for writing this pseudo-listicle. I recommend emacs if you like absurd customizability and aren’t too picky about silly things like “having a tree view”. (I don’t blame you if you want one, and I find one absolutely indispensible for some of my projects – but for others, a dedicated buffer list works just fine.)

Visual Studio Code

I use VS Code for basically anything else. It’s almost as comfortable as emacs while still having some of the nicer features (like a tree-view) of more recent editors. You’ll still almost never have to take your fingers off of the keyboard with Ctrl-Shift-P’s “Commmand Palette”, which bears more than passing resemblance to emacs’ M-x prompt. I can recommend this unreservedly to almost anyone. If you like to code, and aren’t too attached to your current environment, absolutely try VS Code.

Window Managers

i3

I like tiling WMs. Most of the time I’m not really using floating window functionality except to poorly imitate tiling windows, anyway, so the lack of floating windows isn’t too great a loss. Also, i3 has a nice sort-of-progmatic configuration system, and has an excellent “quickstart” guide, blending convenience and flexibility in just the right way for me to love it.

Email Clients

Thunderbird

I wish I had a better solution than this. Thunderbird is slow, resource-intensive, and prone to crashing. Still, it’s FOSS, cross-platform, and can read emails, so I use it. If anyone has a better solution, please get into contact with me (maybe by sending me a tweet?) and let me know.

Password Managers

KeePass

I mean, it’s the only major FOSS password manager. I do wish synchronization between multiple devices was easier, but it’s just file syncronization, so it’s not too difficult. It works for every use case I need it for, and I have no particular reason to switch off of it at this point.