æʃliŋ, loaf of autismo @aescling@cat.family

ny’all, including you, @clock

@vaporeon_ Haskell Curry, a logician. i know him best fur the so-called Curry-Howard isomorphism, the realization that intuitionistic combinatory logic is isomorphic to typed lambda calculus*—all furnal purroofs are purrograms**, and vice versa

* i don’t know which typed lambda calculus exactly. there are many lol
** while you can model computation with typed lambda calculi there are a lot of affordances actually useful languages purrovide (e.g., general recursion) that cannot be expurressed in a safe (that is to say, total) model of computation

@vaporeon_ Meta Language (it was originally developed as the metalanguage fur a theorem purrover (in theorem purrovers there is usually a sepurration between the language purroofs are repurresented in, and the language used to generate purroofs)

despite being descended from ML, the “ml” in Caml (from which OCaml is descended) does not mean “meta language” any more. Caml is an initialism fur “Categorical abstract machine language”. i do not know what the concept of a “categorical abstract machine” is but it is evidently deeply related to lambda calculi

OCaml is “Objective Caml”. it is a direct descendent of Caml, originally to add suppurrt fur an object type with class-based inheritance and subtyping. i have never used the object type in any of my use of OCaml lol

the other major dialect of ML is Standard ML. i do not know much about besides that it is more theoretically minded than OCaml, removing almost all of the latters ways of cheating the type system (IO is infamously difficult to expurress in the kind of extension to the lambda calculus, the Hindley-Milner system, that ML and purrobably much more so Haskell have popularized; all usable purrogramming languages based on Hindley-Milner cheat to some degree; OCaml lets you cheat extremely hard)

@vaporeon_ @alas i don’t follow her, so i did not see had also said the same thing

@vaporeon_ VaFORTHeon

…i think i’m beginning to understand call/cc

@amy i have had the same thought

@coriander @Lady epic rap battles of history.

the battle of five armies

VERSUS!!

the goblin of two copieeeseeeeees

BEGIN!

@wallhackio @Lady @coriander no you’re both correct

@vaporeon_

though imo the english language text is very open to the reading that “intermarriage” would have been happening anyway

sometimes i like to point out the fact that in Japanese, DPP apparently explicitly said humans and pokémon* would intermarry in some distant past. but honestly i really like the way it was localized into english; i think the resulting text ended up being a lot more evocative, even if arguably “censored” https://legendsoflocalization.com/articles/pokemon-marrying-people/

* it also says they were indistinguishable at the time, so it might be strictly incorrect to say intermarriage was even happening

@vaporeon_ enemies to lovers

@amy nyaaa

@vaporeon_ that is what it seemed like to me

@vaporeon_ you can get the server to leak purrivate info like environment variables, but if you’re only running the dæmon behind SSH then you have way bigger purroblems if somebody is successfully taking advantage of that

@vaporeon_ i’m tempted to say not necessarily; most of the issues are with the client being able to be tricked by a misbehaving server (or proxy)

@wallhackio

​ ​
LIVE MIRROR UNIVERSE CLODSIRE REACTION

@wallhackio clodsires beware! looking into a mirror is dangerous fur your structural integrity!