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

Follow

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

@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

@jordyd @iitalics names ranked from coolest to least cool:
Skolem
Tarski
Löwenheim
Milner
Hindley
Gödel

@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

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!