sotolf@amin @thedoctor @rl_dane @mirabilos I think I had it installed, I just never remembered to use it :p
Amin, minor deity of the legume realm@sotolf @thedoctor @rl_dane @mirabilos
I mostly just use it to run rg TODO and see all the spots in a codebase I marked as still needing work.
R.L. Dane 
🍵 
@amin @sotolf @thedoctor @mirabilos
Why is ripgrep better than just grep -R?
kabel42@rl_dane @amin @sotolf @thedoctor @mirabilos it's somehow a lot faster if you want to grep a few GiB of code, like 15 minutes to 30 seconds
@kabel42 @amin @sotolf @thedoctor @mirabilos
Interesting! I wonder what kind of algorithmic optimizations (as opposed to compiler optimizations) they're using to do that, and if regular (GNU/BSD) grep could do the same.
Because I'll wear clown shoes and a tutu before changing to a "rewrite the world in rust!" utility 😂
@rl_dane @amin @sotolf @thedoctor @mirabilos From what little i have read, some assumptions about what you are greping and different defaults. Doing the same in existing grep would probably break compatibility.
@kabel42 @rl_dane @amin @thedoctor @mirabilos Ah, so it's basically cheating, I mean, it does work, and I do it often when I create small tools, with the excuse that "It wasn't meant for that"
@sotolf @rl_dane @amin @thedoctor @mirabilos Is it cheating, if it is the second sentence in you README.md?
"ripgrep will respect gitignore rules and automatically skip hidden files/directories and binary files. (To disable all automatic filtering by default, use rg -uuu.)"
or, you didn't want to grep in .git anyway you are just too lazy to look up the flag to skip that
"ripgrep will respect gitignore rules and automatically skip hidden files/directories and binary files. (To disable all automatic filtering by default, use rg -uuu.)"
or, you didn't want to grep in .git anyway you are just too lazy to look up the flag to skip that
@kabel42 @rl_dane @amin @thedoctor @mirabilos All optimisation are just different ways of cheating ;)
@sotolf @rl_dane @amin @thedoctor @mirabilos doesn't cheating imply that you are dishonest about it?
@kabel42 @rl_dane @amin @thedoctor @mirabilos I don't know, it might be just that my mother-tongue's word for it "jukse" also has a connotation of taking the easy way out or a shortcut instead of doing the whole thing. And I transferred that over to english.
@sotolf @rl_dane @amin @thedoctor @mirabilos could be the same for German, where you have the choice of "Schummeln" and "Betrügen" :)
@kabel42 @rl_dane @amin @thedoctor @mirabilos Yeah, cheating as in Schummeln, not as in Betrügen.
I also saw now when looking the word up that it comes from german "juxen" which is "playing around, having fun" which is kind of a fun way that the word has been wandering :)
mirabilos@sotolf @rl_dane @kabel42 @thedoctor @amin cheating can be Schummeln but I think it is usually somewhat more down the scale towards Betrügen, unless explicit in e.g. game
night context
night context
@mirabilos @sotolf @rl_dane @thedoctor @amin
If using assumptions for optimization is cheating, is using Newtonian physics cheating?
If using assumptions for optimization is cheating, is using Newtonian physics cheating?
@kabel42 @mirabilos @rl_dane @thedoctor @amin I mean, I cheat going to work each day, since I'm taking some shortcuts along the way :)
@sotolf @kabel42 @rl_dane @thedoctor @amin there’s meanings of to take a shortcut that aren’t related to cheating ;)
Consider a Venn diagram between both; they merely overlap, not subset.
@mirabilos @sotolf @rl_dane @thedoctor @amin but both are, using assumptions to use a simpler model, right?
@kabel42 @sotolf @rl_dane @thedoctor @amin it’s more like: if you translate, you have to consider meaning. If you, for example, take the word Quelle (in the meaning of “origin of citation” and translate it to Dutch, you get “bron”. If you translate “bron” back to German, you get Brunnen. This does not mean you could substitute the word Brunnen in the original German text, despite Brunnen and Quelle (in the sense of where water comes from the ground) are the same thing, even in German.
@mirabilos @kabel42 @rl_dane @thedoctor @amin And this is one of the reasons why machine translation is as garbage as it is, it can't keep the context well enough, and find recipe sites with recipies for "Informationskapslen" statt Kekse..
@sotolf @kabel42 @rl_dane @thedoctor @amin „kein Weltraum links auf dem Gerät“. „Pfeife zerbrochen.“
@sotolf @kabel42 @rl_dane @thedoctor @amin (and this is why I run my computers including Smartphone on English, or rather, the original language if I know it)
@mirabilos @kabel42 @rl_dane @thedoctor @amin Yeah, sadly with how the world is now, normally the english translation, if there is one is way better than any other ones, which they do with machine translation or something else, even worse with small languages, some times they just decide that norwegian and danish is basically the same, so we just relabel the translation and that's good enough, or you end up with something that must have been translated with a dictionairy and having never used the language before like this:
@sotolf @mirabilos @rl_dane @thedoctor @amin a good translation would be different for english and american
@kabel42 @mirabilos @rl_dane @thedoctor @amin
English (Traditional)
English (Simplified)
@sotolf @mirabilos @rl_dane @thedoctor @amin yes :)
although there is a lot of simplification still available
although there is a lot of simplification still available
@kabel42 @mirabilos @rl_dane @thedoctor @amin
Yeah the fucker that decided that "ennui" is a good word should be taken behind the shed...
@kabel42 @mirabilos @rl_dane @thedoctor @amin
It says ennui, is pronounced "ahn-wie" and just means "sadness" :p
@sotolf @kabel42 @mirabilos @thedoctor @amin
That's funny, as it mainly means "boredom" in the original French.
Ok, seems that modern French ennui is a cognate to English ennui, not the source. The source is Old French, which has a meaning more similar to the modern English one.
@mirabilos @sotolf @kabel42 @thedoctor @amin
Eh? Boredom is a superpower! Us #GenXers know how to use it. ;)
@mirabilos @sotolf @kabel42 @thedoctor @amin
Well, that's one way of using boredom. Other ways are crafts, hobbies, plotting to take over the world, Pinky...
@kabel42 @mirabilos @sotolf @thedoctor @amin
N—no. Watching media doesn't count. I'm talking about things to do with boredom, not ways to avoid it.
Imagine you're a kid in the 1980s and there's only four channels on TV to watch. You have to find SOMETHING to do with that time. ;)
@rl_dane @kabel42 @sotolf @thedoctor @amin you got four channels, not just three? :þ
But when I read, I don’t have boredom any more. Boredom is awful.
@mirabilos @kabel42 @sotolf @thedoctor @amin
I still think of it as "using your boredom" because it's driving you into positive pursuits, and not just passive vegetation.
@rl_dane @kabel42 @amin @sotolf @thedoctor hm, but it feels not so. I can do something (even read) and be bored at the same time, or I can start reading to get rid of boredom.
@mirabilos @rl_dane @kabel42 @amin @thedoctor Of course yeah it depends a lot on what you're reading :)
@sotolf @mirabilos @kabel42 @amin @thedoctor
I'm almost done with my second novel this week. I honestly thought I was a slow reader, but I think I got that impression from reading very dry things in university.
My latest read is a Star Trek novel from 1990 that has no right being this good. It feels like it was written by someone with a PhD in anthropology, but did his best to "dumb things down" to varying degrees of success.
Just checked my dict.log, and I've looked up 63 words while reading this book. :o
Thanks to Amin for giving me the idea (or leading me toward it, at least) to log my dictionary lookups. :D
@rl_dane @mirabilos @kabel42 @amin @thedoctor
Yeah, at least for me it has a lot to do with the kind of thing I'm reading, when I'm reading rather light books that I enjoy, I get through one in 2-3 days, if it one that I like that is not as light it takes me about a week, and if it's something I like it can take longer, or I just don't finish it because I don't really enjoy it :)
@sotolf @mirabilos @kabel42 @amin @thedoctor
There are some ethical philosophy books I would like to tackle at some point, but I'm not sure if I'll get through them. XD
Maybe I'll warm up with some #Kierkegaard. Yeah. :D