• Replacing deadgrep with consult-ripgrep Wed, Mar 8, 2023
• More flexible grepping with deadgrep Fri, Jan 20, 2023
• RIP ripgrep-regexp, long live deadgrep! Wed, Dec 7, 2022
• RIP grep, long live ripgrep! Wed, Nov 30, 2022