From QED to Neovim

Archive Using a *nix sys­tem's ter­minal can feel dan­gerous. If you don't know what you're doing, you may ac­tu­ally leave your system in a state of dis­re­pair. Si­mul­ta­ne­ously, the ter­minal can feel in­cred­ibly em­pow­ering. It peels back a layer of ab­strac­tion, of­fering a di­rect way to dis­cover and ma­nip­u­late a system. Since *nix is ubiq­ui­tous, learning it once lets you use it prac­ti­cally any­where. The Modern Text Ed­itor Most modern pro­gram­ming re­quires a method to pre­cisely se­lect, input, and arrange text. Nat­u­rally, this tool should be­come an in­dis­pens­able piece of soft­ware in the pro­gram­mer's broader suite of au­thoring and de­bug­ging tools. Ac­cording to Stack Over­flow's 2024 de­vel­oper survey , Mi­crosoft's Vi­sual Studio Code is the pre­ferred IDE (in­te­grated de­vel­op­ment en­vi­ron­ment)— used by 73.6% of re­spon­dents. It was also the "most de­sired"— by 58.7% of re­spon­dents. How­ever, Neovim — a modern text-based ed­itor— was ra ... Read full article.