renzhexiangjiao

duck on a deer

is this the only way your bank does 2FA? mine also allows for use of physical security keys like yubikey etc

20 years ago!! thank you, that was a great watch

blahaj has zero tolerance for misogyny, so I’d recommend any meme communities there, like 196

you’re also very unlikely to find any mysoginistic posts on the .ml instance but that one has occasional tankies

I’ve recently blocked https://lemmy.world/c/memes https://sopuli.xyz/c/memes, some posts on there just have a weird vibe to them, almost like facebook

I didn’t make it :(

training wheels on car?

letting your agent run commands without reviewing them first is peak stupid

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

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?

git rebase -i [hash of your first commit]

ΕΔΤ?

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

just in case you’re not familiar with the name mandelson, last year he was ousted from office for being a good friend of epstein