continues: #14167 fixes: #2034 I've added the check for $XDG_CONFIG_HOME. (more…)

Vim is a text editor with a long line of ancestors that goes back to qed. Bram Moolenaar released it in 1991. (more…)

New TLA+ Workshop 3 days, April 12-14. Register here! Vim is Turing-Complete No, not vimscript. Vim keystrokes are Turing-complete. Here's how:... (more…)

I use Vim for writing code, composing emails, taking notes, and just about everything. It makes sense to use it for building business paperwork too. (more…)

This post is a personal reflection on how I've integrated AI into my day-to-day work as a software engineer, what I've learned from it, and how I see it shaping the way we work. (more…)