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
Thanks! No worries if not. I'm just always eager to investigate major differences. cargo install is probably fine.
@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
Really? Seems weird to me, but OK
since it's unrelated to the previous one (AFAICT)
hmm, yeah you're probably right
@simulacrum oh thanks! Still learning proper etiquette.
obviously a subjective decision though :)
No worries! Zulip makes it really easy to fork after going off on a tangent, and we do it a lot :)
(though admittedly currently you need an admin around, but they're quite common :)
Is forking possible on the mobile app? I don't see an option for it
Oh an admin needs to do it?
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)
but editing your own message would just for it whereas I (as an admin) can fork "later" messages
Gotya. Cool. Thanks!
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.
rg could do the same :thinking:
@BurntSushi btw thanks for the awesome tool that is ripgrep! It made analyzing millions of test results much easier.
ripgrep is so fast that i couldn't believe seeing a topic called "ripgrep slowness" :D