SKI: The Secret Language of Computation

[@charseraph9175]

The graphic transitions/music to the Standard Sentence Diagram to SKI was awesome. Love the enthusiasm too!

[@the33rdguy]

Making this was a real pleasure. Thank you DN for the opportunity!

[@lotsoflambdas]

also ive independently invented the idea of syntax graphs a few weeks ago,but did not find any way to express one of them while preserving locality,because thats not possible

[@duvallj]

A friend linked me to this, I love it, it's so cursed Graph-like representation of sentences is a neat idea, and choosing SKI with a horrifying phonology tops it off

[@lotsoflambdas]

btw ski doesn't actually need the i,which is apparently what the sample text shows,but someone forgot to mention that in the other parts of the video

[@Taly_5]

You know i didn't understand anything but still watched the whole video and the main reason for that is because i watched the little thing moving in the top left corner for 8 minutes GGs!

[@MatthewConnellan-xc3oj]

We ran out of x’s, Jeremy!

[@talezshadid]

The33rdGuy is a cool person and im here just to say this 👍

[@erikyes]

I ain’t watching allat 😹😹😹😹😹😹‼️‼️‼️ nvm i did watch it, and it was very interesting. However, i believe all the information will leave my head somewhere in the next 4 minutes.

[@talezshadid]

It's silksong lore bruv

[@usuyus]

how does the tree at 5:21 work? f doesn't take 2 arguments? i would have thought it would have been a single chain of f's with x off at infinity...?

[@Double-Negative]

f does take 2 arguments. When you see it with only one, that means a function made by currying f with only one input

[@usuyus]

@@Double-Negative oh so it's f(f', x) where recursive calls to f are f', right?

[@Double-Negative]

@@usuyus It's like f' = L x. f(f', x) Yf = f'

[@eddievhfan1984]

That was a lot to take in, but rather cool. Does this make SKI a context-free grammar?

[@Double-Negative]

I think the language of valid SKI expressions is context free. all you really need to make sure of is that the parens are balanced

[@stanz47]

2:47 I'm just playin silksong right now I guess

[@nzeu725]

My excuse for not understanding is that english is not my mother language.

[@xarin42]

I'm a be honest. I tried, but I just don't get it >~

[@the33rdguy]

It's hard to understand lol

[@knsc2]

Its good yet im not interested, i wish i was.

[@the33rdguy]

L

[@talezshadid]

L

[@larrythecarry1441]

L

[@maxo6496]

L

[@AxtonKincaidILM]

L