Dev Tools
Editors, language servers, terminals and the daily craft of the toolchain.
Updated 8 September 2026
-
4 min read
Browser IDEs vs Local Editors: What You Actually Give Up in Each
Browser IDEs are a popular choice for developers seeking instant access and hassle-free setup, but they come with trade-offs in offline continuity, local speed, and filesystem-level…
-
2 min read
Conquer Code Editor Lag: A Homegrown Diagnostic Guide
If your trusty code editor has slowed to a crawl, take a methodical approach. Most editors have built-in tools to isolate the culprit: reproduce the slowdown, bisect the extensions,…
-
5 min read
Language Server Protocol Explained: Why the Same Code Looks Broken in Two Editors
Developers using multiple editors to work on the same codebase often encounter frustrating discrepancies: a statement that's marked as an error in one editor disappears in another, or…
-
3 min read
Git Worktrees: Reviewing a Branch Without Losing Your Working State
For many developers, the need to switch back and forth between branches can be a real pain. When you want to review someone else's branch without losing your local changes, you may…
-
3 min read
Terminal Multiplexers and Persistent Sessions: Persistence When the Session Matters
Security-conscious developers have spent countless hours working remotely, but persistent sessions and terminal multiplexers ensure nothing is lost when an SSH connection drops.