Here’s a list of my favorite software! I also have a dotfiles repo (actually my ~/.config folder in disguise since come on it’s not 2005 anymore, stop littering in my $HOME). I like software with good defaults, so my dotfiles are pretty short and sweet.
| Category | Name |
|---|---|
| Operating System | NixOS, GrapheneOS |
| Desktop environment | KDE Plasma |
| Filesystem | BeTRayalFS oh wait no it’s actually called Btrfs |
| Shell | Fish |
| Text editor | Micro, KWrite, Kate |
| Web browser | Firefox |
| Email client and feed reader | Thunderbird |
| Ad blocker | uBlock Origin |
| Media player | mpv |
| Synchronization | Syncthing (it syncs things, wow!) and KDE Connect which will totally change your life and solve all your problems and bring about world peace just trust me |
| Databases | SQLite |
| Programming language | Dafny (it’s magic!) |
| FANCY NOTEBOOKS | Pluto.jl |
I don’t really hate any software, other than OpenLDAP (LMDB is cool though) for being a crime against my sanity.