today at 3:26 AM
This entire youtube channel is a gem btw.
Delightful video on the lambda calculus and other compution concepts https://www.youtube.com/watch?v=RcVA8Nj6HEo
today at 3:34 AM
Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.
today at 4:17 AM
I miss having the crazy math dreams I used to get when I was in college. If only life could be an endless stream of turning over new stones.
today at 9:02 AM
I wonder if it's an age/brain development thing. I also had crazy math and programming dreams in my early 20s. I don't get those any more, though I still spend a lot of waking time (possibly more now than back then) obsessing over math and programming problems.
today at 5:49 AM
The emergent patterns are... stunning. Especially the ones around 2m35s https://www.youtube.com/watch?v=kL9BTbIGxLg&t=2m35s
today at 9:15 AM
Youtube quality really let's stuff like this down.
today at 4:44 AM
Wow this is stunningly beautiful and extremely cool. And I learned something I had never heard about.
BRB going to go make hyperbolic outer billards art
today at 7:12 AM
I will never cease to be amazed by the range of thought experiments that get published as math papers.
today at 9:20 AM
Great, but audio and audio mix is absolutely horrendous and super turbo 2.0 annoying. So much so I had to turn it off and read CC.
today at 9:23 AM
I liked it, felt right for the video
today at 9:30 AM
I think it might be the mix and the (low) level of voice over background and the stereo image combined with what I am listening on that makes me uncomfortable for some reason.
today at 4:43 AM
Shooting pool with dmt entities right here
today at 7:47 AM
This is math junk food. Pretty though.
today at 9:46 AM
How so? I think applied mathematics is the exception.
today at 9:23 AM
It made me reconsider what I think about mathematics in general. So, if it was junk food, it was a nutritious one at that.
today at 8:26 AM
I would call it art, not junk food.