4 ms·Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans7 points by bkettle 4mo ago