Uses

Software

• Editor: Visual Studio Code
• Editor theme: “Future Pro” by Themer
• Font: Victor Mono
• Browser: Vivaldi
• PGP: GPG Tools
• Window manager: Rectangle.app
• Development environments: Docker (via colima) + VS Code Remote Development extensions; Coder
• VPN client: Tunnelblick