- Published on
Tools I Use
General
- Pop!_OS - daily driver
- Brave
- PGP, though it is notoriously diffult to use and there is no perfect forward secrecy. However, I've recently found that PGP signing is still useful for something like decentralized identity verification. See Keyoxide. Here is my verification of this domain, my Twitter account, and GitHub profile.
- Signal
- Protonmail
- Bitwarden
- KeePassXC
- VeraCrypt. The option to use plausible deniability is very cool.
- Not a tool per se, but if you're interested in the technical implementation details of various cryptographic protocols, check out the book Applied Cryptography.
Programmig
- neovim. You can find my config files here: dotfiles
- GitHub
- Update 10/2022: I've been using GitHub Copilot regularly, and it's awesome for a lot of use cases. Not so great at others. But eliminating boilerplate is always good in my book.
- tmux - one terminal (window) to rule them all. My life is so much better when usng tmux
- alacritty
- oh-my-zsh
Work, misc.
Windows - what I use at work as a developer.
VS Code
Power Apps Component Framework - when extending Power Platform and building code components
Edge Browser
- Update 02-08-2023: I'm on the waitlist for the "new" Bing and Edge browser, both having GPT integrations added recently. I don't particularly care for Edge, and nobody uses Bing, but given my experiene so far with GitHub Copilot and ChatGPT, I'm excited to try Microsoft's product upgrades.
Kinesis Advantage 360 Split Ergronomic Keyboard - 10/10 would invest again. I feel like I've added years and years to my wrists and career