@aidalgol@icosahedron.website deadgrep focuses on:
* focused UI. By not using compilation-mode, there's no superfluous symbols or duplicated filenames shown.
* easy filtering. It's easy to change case sensitivity, search type, file type, etc from an existing search.
* minimum keystrokes. If you have an active region, it's a single keystroke (no directory or file type required).
miniblog.
Related Posts
This resonated with me: a quality set of de-duplicated bug reports is valuable, and automatically closed issues can prevent that.
Why does NPM's policy of duplicated deps work? https://stackoverflow.com/q/25268545 (JS practices around encapsulation tend to prevent problems)
Rather than using gensym with let, Nimrod can detect when code has side effects and can't be duplicated: http://t.co/PlX8KfRBq4 Clever.
