Show threadR.L. Dane    🍵 Feb 8

@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 😂

Show threadkabel42Feb 8
@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.
Show threadsotolfFeb 9
@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"
Show threadkabel42Feb 9
@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
Show threadsotolfFeb 9
@kabel42 @rl_dane @amin @thedoctor @mirabilos All optimisation are just different ways of cheating ;)
Show threadkabel42Feb 9
@sotolf @rl_dane @amin @thedoctor @mirabilos doesn't cheating imply that you are dishonest about it?
Show threadsotolfFeb 9
@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.
Show threadkabel42Feb 9
@sotolf @rl_dane @amin @thedoctor @mirabilos could be the same for German, where you have the choice of "Schummeln" and "Betrügen" :)
Show threadsotolfFeb 9

@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 :)

Show threadmirabilosFeb 9
@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
Show threadkabel42Feb 9
@mirabilos @sotolf @rl_dane @thedoctor @amin
If using assumptions for optimization is cheating, is using Newtonian physics cheating?
Show threadsotolfFeb 9
@kabel42 @mirabilos @rl_dane @thedoctor @amin I mean, I cheat going to work each day, since I'm taking some shortcuts along the way :)
Show threadmirabilosFeb 9

@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.

Show threadkabel42Feb 9
@mirabilos @sotolf @rl_dane @thedoctor @amin but both are, using assumptions to use a simpler model, right?
Show threadmirabilosFeb 9
@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.
Show threadsotolfFeb 9
@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..
Show threadmirabilosFeb 9
@sotolf @kabel42 @rl_dane @thedoctor @amin „kein Weltraum links auf dem Gerät“. „Pfeife zerbrochen.“
Show threadmirabilosFeb 9
@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)
Show threadsotolfFeb 9
@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:
Show threadkabel42Feb 9
@sotolf @mirabilos @rl_dane @thedoctor @amin a good translation would be different for english and american
Show threadsotolfFeb 9

@kabel42 @mirabilos @rl_dane @thedoctor @amin

English (Traditional)
English (Simplified)

Show threadkabel42Feb 9
@sotolf @mirabilos @rl_dane @thedoctor @amin yes :)
although there is a lot of simplification still available
Show threadsotolfFeb 9

@kabel42 @mirabilos @rl_dane @thedoctor @amin

Yeah the fucker that decided that "ennui" is a good word should be taken behind the shed...

Show threadkabel42Feb 9
@sotolf @mirabilos @rl_dane @thedoctor @amin i've never seen that word :)
Show threadsotolfFeb 9

@kabel42 @mirabilos @rl_dane @thedoctor @amin

It says ennui, is pronounced "ahn-wie" and just means "sadness" :p

Show threadkabel42Feb 9
@sotolf @mirabilos @rl_dane @thedoctor @amin so not english? https://dict.leo.org/german-english/ennui
ennui - Translation in LEO’s English ⇔ German Dictionary

Learn the translation for ‘ennui’ in LEO’s ­English ⇔ German­ dictionary. With noun/verb tables for the different cases and tenses ✓ audio pronunciation and relevant forum discussions ✓ free vocabulary trainer ✓

Show threadsotolfFeb 9

@kabel42 @mirabilos @rl_dane @thedoctor @amin

Is english, but a loanword from french, which explains the fucked pronounciation :P

https://www.merriam-webster.com/dictionary/ennui

Definition of ENNUI

Definition of 'ennui' by Merriam-Webster

Show threadkabel42Feb 9
@sotolf @mirabilos @rl_dane @thedoctor @amin it's always the french with the weird spelling, can someone teach french sensible spelling?
Show threadthedoctorFeb 9

@kabel42 Sure because there's absolutely nothing weird about English spelling whatsoever.

@sotolf @mirabilos @rl_dane @amin

Show threadkabel42Feb 9
@thedoctor @sotolf @mirabilos @rl_dane @amin its always* the frensh words, the germanic and celtic words are fine :)
Show threadmirabilosFeb 9
@kabel42 @thedoctor @sotolf @rl_dane @amin and (± what kind of pronunciation you use) the latin ones as well, just not those who took a detour through France
Show threadkabel42Feb 9
@mirabilos @thedoctor @sotolf @rl_dane @amin and then there are the words that used to have sane spelling that got changed because frensh looks high class or something
Show threadmirabilosFeb 9

@kabel42 @thedoctor @sotolf @rl_dane @amin yeah.

Funny thing, I only passed English classes at school because I could derive all¹ the fancy words from Latin, making the teacher think I actually know English…

① a sufficient amount, anyway

Show threadsotolfFeb 9

@mirabilos @kabel42 @thedoctor @rl_dane @amin

I don't actually know german either, I've just pretended enough around people here that they think they understand me :p

Show threadR.L. Dane    🍵 Feb 9

@sotolf @mirabilos @kabel42 @thedoctor @amin

So... you're basically speaking Norwegian with a German accent to your coworkers? ;)

Show threadsotolfFeb 10
@rl_dane @mirabilos @kabel42 @thedoctor @amin Not really, I'm speaking Austro-Bavarian German with an accent, it's more a joke on how I got there, it was a lot of faking, just directly translating a norwegian compound word into german and so on, by now I've been here long enough that people have stopped asking me where I'm from, so if I'm not that great at it, at least I'm speaking it confidently enough that people don't feel like telling me how good I am in german, which happens a lot in the beginning :p
Show threadthedoctorFeb 10

@sotolf

Austro-Bavarian German with an accent

That sounds patently terrifying.

@rl_dane @mirabilos @kabel42 @brakeoutgaming

Show threadsotolfFeb 10

@thedoctor @rl_dane @mirabilos @kabel42 @brakeoutgaming

Well, it's a scandinavian accent :p so that's at least something.

Show threadsotolfFeb 10
@thedoctor @rl_dane @mirabilos @kabel42 @brakeoutgaming I mean our accent has been called a lot of stuff, but I don't think terrifying ever was one of them :p
Show threadthedoctorFeb 10

@rl_dane @mirabilos @kabel42 @brakeoutgaming @sotolf I mean more the combo of any accent with Bavarian-Austrian German.

shudder

Show threadkabel42
@rl_dane @mirabilos @brakeoutgaming @sotolf @thedoctor wouldn't it be worse without accent?
Feb 10 at 12:01pmWeb
Show threadsotolfFeb 10
@kabel42 @rl_dane @mirabilos @brakeoutgaming @thedoctor Well, I mean, Wien-Austrian is absolutely hideous no matter how you bend it, but here in Kärnten I will say it's pretty nice :)
Show threadthedoctorFeb 10
@kabel42 @rl_dane @mirabilos @brakeoutgaming @sotolf "Das ist deine Sicht der Dinge."
Show threadsotolfFeb 10

@thedoctor @kabel42 @rl_dane @mirabilos @brakeoutgaming

Ja, sicher ist es meine sicht der dinge, ich kann ja nicht sagen was andere schön finden oder nicht :p Hellsehig bin ich Leider nicht :p

Show threadmirabilosFeb 10
@rl_dane @sotolf @kabel42 @thedoctor @brakeoutgaming true that
Show threadthedoctorFeb 10
@rl_dane @mirabilos @brakeoutgaming @sotolf @kabel42 Dunno? I'd need a few samples to judge.
Show threadsotolfFeb 10
@thedoctor @rl_dane @mirabilos @brakeoutgaming @kabel42 I'll see if I can figure out uploading a recording, the last time I struggled with finding a format that gts accepted :p
Show threadthedoctorFeb 10
@rl_dane @mirabilos @brakeoutgaming @kabel42 @sotolf Huh, doesn't it transcode or something?
Show threadsotolfFeb 10

@thedoctor @rl_dane @mirabilos @brakeoutgaming @kabel42

It was a year or two back, and at the time I don't think it accepted mp3s at all, so that time I ended up posting it on my linux.pizza account, but I guess I can try again today, just have to wait for my break so that I can find a quiet corner to record a short snippet :p

Show threadsotolfFeb 10

@rl_dane @mirabilos @brakeoutgaming @kabel42 @thedoctor

scheiss nervös bin ich gwesen, aber so in etwa :p

Show threadmirabilosFeb 10
@sotolf @rl_dane @brakeoutgaming @thedoctor @kabel42 that sounds like rather mild bavarian, still very understandable but with the alemannic vowel shift
Show threadsotolfFeb 10
@mirabilos @rl_dane @brakeoutgaming @thedoctor @kabel42 Yeah, I'm not having a deep dialect really since I learnt Hochdeutsch first, and it's mostly stuff that I picked up by living here, and aligning myself to fit in as well as I can :)
Show threadkabel42Feb 10
@rl_dane @mirabilos @brakeoutgaming @thedoctor @sotolf nice, ich würde dir glauben dass du von da bist. Ich hatte jetzt eher auf Österreich als Bayern getippt.
Show threadmirabilosFeb 10
@kabel42 @thedoctor @sotolf @rl_dane @brakeoutgaming Österreicher haben mehr Singsang, normalerweise… wobei vielleicht nicht mehr in Kärnten ("Balkanösis", "halbe Slowenen"?)
Show threadsotolfFeb 10

@mirabilos @kabel42 @thedoctor @rl_dane @brakeoutgaming

Schwaben ;)

Show threadmirabilosFeb 10
@kabel42 @brakeoutgaming @sotolf @thedoctor @rl_dane Schwaben versteh ich nicht. (Stuttgart und so.)
Show threadsotolfFeb 10
@mirabilos @kabel42 @brakeoutgaming @thedoctor @rl_dane Hmm, jetzt habe ich wieder falsch gedacht, die Windischen war die die ich gemeint habe, die halb balkaneser :)
Show threadkabel42Feb 10
@mirabilos @thedoctor @rl_dane @brakeoutgaming @sotolf ist Schwaben nicht nördlich von Bayern?
Show threadmirabilosFeb 10
@kabel42 @thedoctor @rl_dane @brakeoutgaming @sotolf westlich
Show threadsotolfFeb 10

@kabel42 @rl_dane @mirabilos @brakeoutgaming @thedoctor

Ja ich bin ja auch in österreich, die österreichischen dialekte so wie der Kärntnerdialekt stammt lei ab von die Bayerische, und werden desweng Austrobayerisch genannt, zumindest im englischen :p

Show threadkabel42Feb 10
@rl_dane @mirabilos @brakeoutgaming @thedoctor @sotolf wieder was gelernt 
Show threadsotolfFeb 10

@kabel42 @rl_dane @mirabilos @brakeoutgaming @thedoctor

But that both of you were saying nice things about it makes me happy :) I'm always a bit self-concious speaking german, not quite sure if I'm doing well, most people are too polite to say anything anyway :p But that it sounds at least not very foreign is nice to know :0

Show threadR.L. Dane    🍵 Feb 10

@sotolf @mirabilos @brakeoutgaming @kabel42 @thedoctor

To my obviously very untrained ear, it sounded like you were weaving back and forth between a Scandinavian language and German. ;)

Show threadmirabilosFeb 10
@rl_dane @sotolf @brakeoutgaming @kabel42 @thedoctor hm, I heard just a mild bavarian, sounding native.
Show threadthedoctorFeb 10

@sotolf I'll admit that I'm not good at all at identifying dialects but if I didn't know better, I'd have thought you were Swiss :D

@rl_dane @mirabilos @brakeoutgaming @kabel42

Show threadkabel42Feb 10
@thedoctor @sotolf @rl_dane @mirabilos @brakeoutgaming that's still generally southern german, they do sound somewhat similar
Show threadthedoctorFeb 10

@kabel42 Eh, not my corner of the world, I just can't tell.

@sotolf @rl_dane @mirabilos @brakeoutgaming

Show threadmirabilosFeb 10
@thedoctor @kabel42 @sotolf @rl_dane @brakeoutgaming I know enough people from all around :/
Show threadmirabilosFeb 10
@thedoctor @brakeoutgaming @rl_dane @sotolf @kabel42 not enough "ch" but rather close, yes
Show threadR.L. Dane    🍵 Feb 10

@thedoctor @sotolf @mirabilos @brakeoutgaming @kabel42

Hah, that's fun. :D

Show threadsotolfFeb 11
@thedoctor @rl_dane @mirabilos @brakeoutgaming @kabel42 Ah, appearantly you're not the only one, because I've gotten that a couple of times :p
Show threadmirabilosFeb 10

@brakeoutgaming @rl_dane @thedoctor @kabel42 @sotolf no, GtS always serves the original, unlike Mastdarm which lossily transcodes. It does remove metadata like GPS positions.

They did add support for a lot of formats recently, though.

Show threadR.L. Dane    🍵 Feb 10

@mirabilos @brakeoutgaming @thedoctor @kabel42 @sotolf

Like #AVIF!!! (Which unfortunately Mastodon does not support, even for viewing, so I can't use it. 😒)

Show threadR.L. Dane    🍵 Feb 10

@thedoctor @mirabilos @brakeoutgaming @kabel42 @sotolf

No, #GtS is mostly meant for single-user and small instances, so it just trusts whatever you give it (as long as it supports the format, that is)

Mastodon will hilariously take a high-resolution hand-optimized PNG and reduce the resolution, causing the file size to balloon. XD

Show threadAmin, minor deity of the legume realmFeb 10

@sotolf @thedoctor @rl_dane @mirabilos @brakeoutgaming @kabel42

That might've been before they added support for basically anything ffmpeg accepts.

Show threadsotolfFeb 10

@amin @thedoctor @rl_dane @mirabilos @brakeoutgaming @kabel42

Probably yeah, this time it went without a problem :)

Show threadmirabilosFeb 10

@amin @sotolf @thedoctor @rl_dane @brakeoutgaming @kabel42 … that’s what you think. It’s not true. I still have to convert iOS videos because it chokes on the metadata streams at least. I use ffmpeg to convert. ;)

They have a whitelist of formats and the likes. They explicitly DO NOT trust what you upload, they limit it to what they can trust to give out to recipients.

Show threadmirabilosFeb 10
@brakeoutgaming @sotolf @thedoctor @kabel42 @rl_dane … Pest, Cholera?