i recently found out that i was running 5 year old graphics drivers, and the reason i found out was that a newish (less than 5 yo) game kept crashing a few minutes after startup, with no exception. turns out updating your drivers does sometimes matter

mmmm beetlejuice

For many this change was for the worse!

you mean for the nazis?

thinks functional programming = bad

opposite and equally absurd proposals

like respect for human dignity?

Γ is typically used to denote the context, or the type environment for an expression. It is a mapping from variables to types. for example we could have

Γ = x:A, y:B, z:C

then

Γ |- y: B

is a typing judgment. Means “In the context of Γ, y has type B.”

Type derivation is a process where you start with an expression and an empty context and then figure out what the type of that expression is by building it up from scratch using typing rules. It’s what compilers do to figure out whether your program is correct.

definition of social media (from Merriam Webster):

forms of electronic communication (such as websites for social networking and microblogging) through which users create online communities to share information, ideas, personal messages, and other content (such as videos)

lemmy fits this definition perfectly, what are you on about?

zip but it has to be plastic. can’t stand metal zippers

ΕΔΤ?

We can even walk in most stores with our backpacks.

what? there’s some stores you can’t?

is this bait?

we’ve always been at war with eastasia

to me, “Chinese characters” means a certain writing system that is used by several languages (and not just Japanese and Mandarin, but also Cantonese, Korean, Vietnamese etc.), but doesn’t inherently belong to any one of them. So, in my opinion, Japanese variants or 国字 are totally valid Chinese characters.

whether kana are also Chinese characters is a very interesting question. I think the main thing that makes them distinct is the purpose they serve, as they no longer convey any meaning by themselves but are instead used to write language phonetically. but I wouldn’t be so sure when it comes to 万葉がな. although manyogana was used the same way as modern kana it retained the shape of chinese characters. so maybe it’s the combination of both the evolved shape + different purpose that makes kana distinct from kanji?

零 isn’t too bad as far as chinese characters are concerned. you should see the character for depression. or the biang biang noodles character, although that one is kind of a meme

when you say “Chinese characters” do you mean kyuujitai? all kanji are chinese characters, that’s what 漢字 literally means

I’m not sure about China but in Japan there’s 〇 which can be used like so: ハ〇〇円 to mean 800 yen, in a restaurant menu for example

kanji are not a stylistic choice, but an integral part of the writing system

also I think you mean the syllabaries (hiragana, katakana) are ultimately derived from chinese characters, japanese kanji are largely the same as chinese hanzi

Glesga

sucking should be there too

I’m sure this is just some figure of speech, right?