4 ms·
As for the pronunciation, thanks for the tooling, but we’ll take it from here.
by moomin 2y ago
As for the pronunciation, thanks for the tooling, but we’ll take it from here.
- mistrial9 2y agoagree - "grinned" is not at all the feeling I get.."grind" on the other hand, like skating.. yes more like it
- Sesse__ 2y agoAFAIK it's from the old Norse word “grind” meaning fence or gate. It's the entrance to Valhalla.
- perihelions 2y agobecause if you die on a skateboard that's the place you are taken to, it is the etymological root
- kimixa 2y agoAnd the times you end up needing tools like valgrind very much feel like a grind
- cortesoft 2y agoYeah, I feel like this is like GIF… the word takes on a life of its own, and the creator of the name does not get final say.
- nirvdrum 2y agoA key difference, to me at least, is that it's not a made up word (well, no more than any other established word). Ambiguity over its pronunciation comes from lack of familiarity with the source language. That's fine, we all need to learn, but to insist the native speaker is pronouncing it wrong seems a bit odd to me.
- cortesoft 2y agoAll sorts of words are pronounced differently by native speakers depending on their accent.
- jepler 2y agoat $OLD_JOB I literally joked that we used a fork of valgrind just to fix the pronunciation. of course, our fork was also years behind the official version. these days, since I am doing bare metal embedded, I barely use valgrind; but it is game changing in the situations where it's useful.
- ahartmetz 2y agoNo trouble at all here (German) - it's simply pronounced as if it was a German word.
- ahartmetz 2y ago(Well, its original nordic pronunciation probably has a more o-like or anyway different 'a', a pointier 'i' sound, and a stronger 'r' than in German. But it seems to be accepted practice between Germanic languages to pronounce everything as if it was your native language - it's easy and ~always intelligible.)
- Sesse__ 2y agoIf the “a” is supposed to be as in “value” (i.e. closer to ä in some but not all German dialects), that doesn't match typical German pronunciation, does it? (The -grind part is fine.)
- deleted 2y ago[deleted]