Sometimes once I understand something I forget the misconceptions I had in the first place

It's so obvious. How could past me from one hour ago not see this

Show thread

@jordyd @nonphatic i remember my prof was saying how it took forever for people to get substitution right but now it seems pretty trivial

*cough* dynamic scope *cough*

@iitalics @nonphatic This is not really related but I’m tired so now it is. Take a look at this spicy quote

@jordyd @iitalics He's one to speak, I remember downloading Hindley's and Milner's papers on this and Hindley's was incomprehensible
Then again I guess his background was more logic

@nonphatic @iitalics You ever think about how cool the name “Tarksi” is

@jordyd @iitalics names ranked from coolest to least cool:


@jordyd @iitalics omg Tarski wasn't even his original last name
"In 1923, Alfred Teitelbaum and his brother Wacław changed their surname to "Tarski"."
I have to say I like Tarski a lot more than Teitelbaum

Sign in to participate in the conversation

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!