I am attracted to you. I would like to find a way to determine if you are attracted to me given a sufficient amount of information about me that would satisfy your personal criteria. Please respond if you are interested in solving this problem.

The video explain so well. Thank you

That's a nice introduction to Lambda Calculus

Great video Yana, thank you! My daughters also enjoyed it, but we all wondered if you're a "Dwight in Shining Armour" fan (given your moniker)?

FUNCTIONS DESCRIBE THE WORLD!!

Hey good video, really made me understand it

amazing video

You're awesome, @yana!

Please.. more videos.. you have a very good way of explaining.

Awesome explanation!!

This is gold. I'm glad I discovered your channel. Are you a student?

You are the best!!!!! finally got to understand lambda calculus (not totally but much clear now). Keep posting content <3

waiting for more videos

This is better than the computerphile video. Thanks!

You are, The long lost easy to understand math teacher that I never had!🎲🎲

lam a . lam b . a True (And b True) Does this work for Or?

Great explanation. Plus, it's like fun with flags, but with programming.

This is brilliant, thank you heaps. No one explains it this good on yt. Can you make a similar one on the Y combinator? Maybe a bit slower if you have the patience. You inspired me to figure out that there are two equivalent expressions for OR. Say, we follow your logic in decomposing the calculus and for all expressions Lambda is denoted as a forward slash '\'. Then, OR:= \a. \b. a TRUE b; There is also an alternative, which parses another definition: OR:= \a. \b. a a b; - This works a little differently, and it is equivalent to what you find on wikipedia: OR:= \p. \q. p p q. Wiki also gives an alternative for AND: \p. \q. p q p. Cheers

You’re so cool

Autism ❤

Woah, finally! A video that explains it in a way that makes sense! You hit the nail on the head with everyone plugging in existing mathematical expressions to "simplify things" which actually just made it more difficult to figure out what's going on lmao. Exactly what I was looking for.

Yay, now i can recreate Gimp in bash. xD BTW, this was incredibly insightful, thank you.

ok you're the only person who tells me things about lambda calculus anymore, thank you very kindly

as a applied CS guy, WTF?

You explained this so well! I was struggling to Understand how these get applied, and this explained it beautifully!

Which is more accurate "SOME_FUNCTION" or "SOME_LAMBDA"?

Amazing! Thank you so much!

Something similar came to me in a dream I described this to my friend and he pointed me to lamda calculus so turns out I didnt come up with something new

after soo many years in high school to going to read Maths in College. 15 years later i am here to relearn the lambda calculus to understand the basics of computer programming . This is my journey to becoming a cloud Engineer. Thanks for explaining this. I think Companies must allow job seekers to add "College of KZbin" to their RESUME!.

Hello you lovely person looking almost exactly like my highschool crush. When I first found this video 5 months ago in searching for an entry to lambda calculus, I must admit I didn't really understand the replacement system. Two months later I started learning some functional programming in haskell and I thought I was now kind of understanding this video. But now after actually learning about lambda calculus in functional programming.. I finally started to understand how to build NOT and AND and finally the whole video. Thank you Yana!

Wow. You are really cool and good at explaining. I am learning Haskell and this helps :)

This is the best programming theory video ever. Never change.

I just absolutely love your style! ❤️_❤️ And good explanation too!

Good explanation. Fast transitions but we can always pause the video 🙂

Took me a while to understand the bad ass part XD

@5:40 and @6:53 you click on FALSE as if you had a choice of substituting TRUE or FALSE, but by the lambda calculus convention of left association that should be a given, correct?

What is the yellow book?

great visualization, congratulations

yana is best

this is the best video on youtube

Thanks for this video! I had to rewatch it a couple times to understand it but that wouldn't have been possible without your great visuals helping me along :)

Thank you very much! I subscribed, and hope to see more from you!

To whoever just proposed λx.λy.xxy as OR (and then deleted their comment) - I think that works too! (alongside the other one proposed in an earlier comment).

Hey everyone! Thanks for watching! Based on the discussions and thoughts people had in the comments, I just came up with an idea and outline for a sequel video, tentatively titled something like "Lambda Calculus 2: But where is the calculation actually happening? (two and a half semi-satisfying intuitions)". But I kind of want to make another visualization for it. and also making videos is hard. and I'm supposed to be writing a dissertation proposal. So I guess you can look forward to that, but don't hold your breath.

4:44 (after defining an identity function which ignores one of its arguments) "And now we're finally getting somewhere useful!" That's the first video on logic that actually taught me something, thanks! [btw, is "λa.λb. a TRUE b" a valid OR function?]

I have seen that compliments do take time to be genuinely assertive in ways that the person who makes them acknowledges the other person's capacities. This however may not be the case with certain kind of "insecure" people that I had the missfurtune to meet. While its a hassle to be always on track of personal failures, these eventually build up experience, but the kind of attitudes that I'm referring to do have quirk to be always on the spot of any mention of a compliment with the sole objective of taking the conversation to an spotlight of themselves or a dead end EG: Subject 1: Hey; i like the way you write! Subject 2: you know, I'm a bad at everything else Conversation cant continue or if it does, one has to ask "why?" or maybe add some other compliment and then process repeats itself. What im getting at is that unlike the good old "not knowing how to take a compliment"; having conversations with these kind of people is tiresome, and its worse than hitting a wall with your head because of your initial intent of talking to someone, this being much worse if one is "meant to" talk to someone. Now I know that If I spot this I should leave them alone; although its unavoidable in situations like team projects or when a family member (or any social group now that I think about it) pressures you to do it for someone...

Finally, some new channel in which I can barely understand words from. Subscribed.

great video i finally get it! thank you

Yes! I did a lambda calculus and typed lambda calculus interpreter for my bachelors thesis/project. Very cool!

104 subscriber.