Reputation
2,617
Top tag
Next privilege 3,500 Rep.
Protect questions
Badges
13 32
Newest
 Yearling
Impact
~33k people reached

Nov
13
revised Deutsche Bezeichnungen für Begriffe aus der Typtheorie
added 105 characters in body
Nov
13
comment Deutsche Bezeichnungen für Begriffe aus der Typtheorie
Gattung could be quite confusing I think. People already use "Ordnung" and "Klasse" to mean somewhat different concepts. You should always coin terms as conservatively as possible, and Artentypen works because it explains itself. Some of the translations in computer science are very awkward indeed: Think of the world Instanz (ein Objekt ist eine Instanz einer Klasse): It's been translated literally, and the result is a word which is pretty much wrong. Yet the "correct" term (Exemplar) is just not used in the the real world. In short: stick to words people are familiar with, in context.
Nov
12
comment Deutsche Bezeichnungen für Begriffe aus der Typtheorie
Good call. There's way to little humour in type theory papers anyway. :)
Nov
12
revised Deutsche Bezeichnungen für Begriffe aus der Typtheorie
added 26 characters in body
Nov
12
comment Deutsche Bezeichnungen für Begriffe aus der Typtheorie
@FUZxxl I think I've found a reasonable translation for that too. But it's my own, without any reference to it. And a google search for "Artentypen" yields no relevant results. Use with care. :)
Nov
12
revised Deutsche Bezeichnungen für Begriffe aus der Typtheorie
added 305 characters in body
Nov
12
revised Deutsche Bezeichnungen für Begriffe aus der Typtheorie
added 281 characters in body
Nov
12
revised Deutsche Bezeichnungen für Begriffe aus der Typtheorie
added 100 characters in body
Nov
12
revised Deutsche Bezeichnungen für Begriffe aus der Typtheorie
added 211 characters in body
Nov
12
answered Deutsche Bezeichnungen für Begriffe aus der Typtheorie
Sep
16
awarded  Quorum
Sep
6
comment Polite ways to swear when something went completely wrong?
I currently like "huch" (oops) and "um himmels Willen" (heavens! or for heaven's sake, depending on the accentuation) Both are very polite indeed (in my estimation)
Sep
6
comment Polite ways to swear when something went completely wrong?
How rude are these really? I think you're massively overestimating them. But then I'm not from the south.
Aug
30
revised When do suffixes “-able” or “-ible” translate with “-bar” vs. “-lich”?
added 217 characters in body
Aug
30
revised When do suffixes “-able” or “-ible” translate with “-bar” vs. “-lich”?
added 183 characters in body
Aug
30
revised Is 30-60 minutes per day enough to get fluent in eight months?
edited tags
Aug
30
revised When do suffixes “-able” or “-ible” translate with “-bar” vs. “-lich”?
added 584 characters in body
Aug
30
answered When do suffixes “-able” or “-ible” translate with “-bar” vs. “-lich”?
Jul
23
comment How is the prefix “uber-” differently used in German vs. English?
Nietzsche's word Übermensch was also used by the Nazis in their rhetoric about the Herrenrasse (the master race). Further, the opposite term, Untermensch, was used in eugenics. So to the non-native speakers: be very careful when using it. It does have a very dark connotation outside of philosophical circles.
Jul
13
revised “Wie lange” und “Wie lang”
added 277 characters in body