Stream: wg-secure-code

Topic: ripgrep slowness


Shnatsel (Jan 09 2020 at 00:31, on Zulip):

Oh. I genuinely don't remember what I was searching for, but should I still have the XMLs. I think I used cargo install instead of grabbing a precompiled binary so that might be relevant. Lemme think

Andrew Gallant (Jan 09 2020 at 00:32, on Zulip):

Thanks! No worries if not. I'm just always eager to investigate major differences. cargo install is probably fine.

simulacrum (Jan 09 2020 at 00:33, on Zulip):

@Andrew Gallant fwiw, also generally on Zulip such a discussion would be split into a new topic, perhaps linking back/quoting the old one :) I've actually gone ahead and done so now. https://rust-lang.zulipchat.com/#narrow/stream/146229-wg-secure-code/topic/cfnts/near/179675715

Shnatsel (Jan 09 2020 at 00:33, on Zulip):

Really? Seems weird to me, but OK

simulacrum (Jan 09 2020 at 00:33, on Zulip):

since it's unrelated to the previous one (AFAICT)

Shnatsel (Jan 09 2020 at 00:34, on Zulip):

hmm, yeah you're probably right

Andrew Gallant (Jan 09 2020 at 00:34, on Zulip):

@simulacrum oh thanks! Still learning proper etiquette.

simulacrum (Jan 09 2020 at 00:34, on Zulip):

obviously a subjective decision though :)

simulacrum (Jan 09 2020 at 00:34, on Zulip):

No worries! Zulip makes it really easy to fork after going off on a tangent, and we do it a lot :)

simulacrum (Jan 09 2020 at 00:34, on Zulip):

(though admittedly currently you need an admin around, but they're quite common :)

Andrew Gallant (Jan 09 2020 at 00:35, on Zulip):

Is forking possible on the mobile app? I don't see an option for it

Andrew Gallant (Jan 09 2020 at 00:35, on Zulip):

Oh an admin needs to do it?

simulacrum (Jan 09 2020 at 00:35, on Zulip):

I think no, but not sure. Non-admins can edit your own messages topic currently (there's a setting to allow anyone which I want to enable but need to think more about first)

simulacrum (Jan 09 2020 at 00:35, on Zulip):

but editing your own message would just for it whereas I (as an admin) can fork "later" messages

Andrew Gallant (Jan 09 2020 at 00:36, on Zulip):

Gotya. Cool. Thanks!

Shnatsel (Jan 09 2020 at 01:11, on Zulip):

Nevermind, I've fudged the measurement. rg is actually 3x faster. Turns out grep exits early if it detects it's being piped to /dev/null.

HeroicKatora (Jan 10 2020 at 20:42, on Zulip):

Maybe rg could do the same :thinking:

Shnatsel (Jan 13 2020 at 18:40, on Zulip):

@BurntSushi btw thanks for the awesome tool that is ripgrep! It made analyzing millions of test results much easier.

DPC (Jan 19 2020 at 18:24, on Zulip):

ripgrep is so fast that i couldn't believe seeing a topic called "ripgrep slowness" :D

Last update: Apr 06 2020 at 03:15UTC