I've never really been a power user of my computer, and have mostly spent my time learning raw CS and programming skills.
With this new computer I'm trying to fix that a bit, and am attempting to finally learn Emacs and wow this is making me feel like a beginner again.
Conversation
Speaking as someone who learned emacs decades before he learned VS Code (and grew up with ed, ex, vi) why would you want to waste your time with emacs if you already know VS Code?
7
31
Exclusively because I've been running into a lot of languages lately that simply do not offer a good experience on anything other than emacs.
I started going through "Programming Language Foundations in Agda" recently, and needed to pause because VS Code was just too painful.
4
10
Yeah, a bunch of interesting languages like Twelf only seem to have support for Emacs. But then I'd imagine in 10 years time we might run into the same thing with editors like VS Code? 🤔
1
3
I'm hoping they go for LSP instead
1
3
even still, if you want fancy features, it's up to the language mode to provide them. and the sort of language that tends to support emacs only tends to rely on editor integration to get anything done.
1
3
Yeah, Lean 3 and 4 has an info view which is super cool, but pretty tied to the editor extension. Stuff like hole filling and unicode input are also pretty editor-specific.