YetanotherHackerNewsdigest.com
HN Theater | HN Academy | HN Books

HN Theater @HNTheaterMonth

The best talks and videos of Hacker News.
Rankings: this week · month (mar/apr) · year (2024) · all time
digests · search

Hacker News Comments on
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

PyCon 2019 · Youtube · 1 HN points · 8 HN comments
HN Theater has aggregated all Hacker News stories and comments that mention PyCon 2019's video "David Beazley - Lambda Calculus from the Ground Up - PyCon 2019".
Youtube Summary
"Speaker: David Beazley

These days, programming style guides are all the rage. However, what if your style guide was so restrictive that it only gave you single-argument functions and nothing else? No modules, no classes, no control flow, no data structures, and not even any primitives like integers or regular expressions. Just functions. Could you actually program anything at all? Surprisingly, the answer is yes. In this tutorial, you'll learn how as you work through a ground-up derivation of the lambda calculus in Python.

You will learn nothing practically useful in this tutorial. No packaging. No tools. No libraries. No deployment. No magic Python programming techniques. And certainly learn nothing you would ever want to apply to a real project. You will, on the other hand, have a lot of fun, be completely amazed, and learn some foundational computer science that is a jumping off point for further explorations of functional programming, type theory, programming languages, and more.



Slides can be found at: https://speakerdeck.com/pycon2019 and https://github.com/PyCon/2019-slides"
HN Theater Rankings

Hacker News Stories and Comments

All the comments and stories posted to Hacker News that reference this video.
⬐
May 23, 2022 · henrydark on Programming with Nothing
David Beazley did a nice workshop in this vein with python: https://youtu.be/pkCLMl0e_0k
⬐
Good workshop/lecture in PyCon by David Beazley https://youtu.be/pkCLMl0e_0k
For someone fluent in Python, David Beazley gives a brilliant introduction to lambda calculus here: https://www.youtube.com/watch?v=pkCLMl0e_0k This is great fun to follow through on a rainy afternoon!
This talk by David Beazley (Lambda Calculus from the Ground Up) might be useful: https://youtu.be/pkCLMl0e_0k

Zero and one come in around the 35 minute mark (after booleans).

⬐ sitkack
David Beazley talks are like albums or fine meals and should be consumed from beginning to end.
Jan 07, 2020 · 1 points, 0 comments · submitted by trishmapow2
He has a lambda calculus talk in python[0] that is just as good. Just a great educator.

[0] https://www.youtube.com/watch?v=pkCLMl0e_0k

⬐ raincom
U of Chicago, I believe, denied him tenure, when he was an assistant prof there.
⬐ jules
How good of an educator you are may not even be in the top 5 most important things to get tenure, unfortunately.
⬐
Aug 22, 2019 · sethgecko on One-lined Python
If you want your mind to blow up I recommend watching this year's "Lambda Calculus from the Ground Up" PyCon talk by the wizard David Beazley https://www.youtube.com/watch?v=pkCLMl0e_0k
⬐ kiddico
Followed by watching the rest of his videos! Each one is gold.
⬐
Just watched his PyCon 2019 where he derives lambda calculus from scratch in Python, and he had similar shell magics going on there too. Great tutorial if you've never seen lambda calculus before, definitely brain twister.

https://www.youtube.com/watch?v=pkCLMl0e_0k

David Beazley just gave a tutorial on Lambda Calculus at PyCon, definitely worth the 3+ hours https://youtu.be/pkCLMl0e_0k
HN Theater is an independent project and is not operated by Y Combinator or any of the video hosting platforms linked to on this site.
~ yaj@
;laksdfhjdhksalkfj more things
yahnd.com ~ Privacy Policy ~
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.