I'd just like to interject for a moment. What you're refering to as Linux, is in fact, GNU/Linux, or as I've recently taken to calling it, GNU plus Linux.
I'm a big fan of free software. I care very much for my privacy online as well as offline, as such, I use few proprietary or Service as a Software Substitute systems.
When it comes to programming, I'm almost always doing it local first (no Codespaces) - though I do appreciate the use of LLM assisted coding using Claude Code.
Devices
| ThinkPad X1 Carbon Gen 10 | |
|---|---|
| Type | Laptop |
| Hostname | convexity |
| Operating System | Arch GNU/Linux |
| RAM | 32GB LPDDR5 |
| Filesystem | btrfs |
| Compositor | Sway |
| Shell | bash |
| Shell Prompt | starship |
| Text Editor | Helix, GNOME Text Editor |
| Browser | Brave |
| Google Pixel 9 Pro | |
|---|---|
| Type | Smartphone |
| Hostname | arcphone |
| Operating System | GrapheneOS |
| Raspberry Pi Model 4B | |
|---|---|
| Type | Server |
| Hostname | blitz |
| Operating System | Raspberry Pi OS |
| RAM | 8GB LPDDR4 ECC |
| Filesystem | ext4 |
| Services | OpenCode, SSH |
| Ingress | Cloudflare Tunnels |
| OMEN 25L Desktop GT12-0xxx (modded) | |
|---|---|
| Type | Server |
| Hostname | tourmaline |
| Operating System | Fedora Server 43 |
| RAM | 28GB DDR4 (mixed RAM) |
| Filesystem | xfs (SSD), ext4 (HDD) |
| Ingress | Local network |