AWESOME antigravity electromagnetic levitator (explaining simply)
Physics levitron (science experiments)
From playlist ELECTROMAGNETISM
We Need a Bigger Definition of Creativity
► Please Subscribe to My Channel Here - http://bit.ly/spencervideos When you the word “creative,” you might think of a painter or a playwright or an author or a photographer or a filmmaker or a chef. In other words, you might think of people who make things. I think it’s what we mean wh
From playlist What Is Creativity?
Clojure Conj 2012 - Typed Clojure
Typed Clojure by: Ambrose Bonnaire-Sergeant Ambrose Bonnaire-Sergeant presents Typed Clojure, which brings optional static type checking to Clojure. He shows the practical aspects of Typed Clojure, including better error messages, null-safe and array-covariance-safe Java interop, and fin
From playlist Clojure Conf 2012
[Rust Programming] Crafting Interpreters: Day 30, Chapter 24 (Part 2)
In this video we continue to look at the Crafting Interpreters book, and learn how to port it to Rust. Since I'm a Rust beginner, the intent is that it will help me learn the language more in-depth than before. The book: https://craftinginterpreters.com/contents.html More refactoring wor
From playlist Rust Ports
[Rust Programming] Crafting Interpreters: Day 11
In this video we continue to look at the Crafting Interpreters book, and learn how to port it to Rust. Since I'm a Rust beginner, the intent is that it will help me learn the language more in-depth than before. The book: https://craftinginterpreters.com/contents.html Today we worked on f
From playlist Rust Ports
Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
Malabika Pramanik: Lacunarity, Kakeya type sets and directional maximal operators
The lecture was held within the framework of the Hausdorff Trimester Program Harmonic Analysis and Partial Differential Equations. 15.7.2014
From playlist HIM Lectures: Trimester Program "Harmonic Analysis and Partial Differential Equations"
[Rust Programming] Crafting Interpreters: Day 31, Chapter 24 (Part 3)
In this video we continue to look at the Crafting Interpreters book, and learn how to port it to Rust. Since I'm a Rust beginner, the intent is that it will help me learn the language more in-depth than before. The book: https://craftinginterpreters.com/contents.html Today we got functio
From playlist Rust Ports
What kind of atheist are you? | Clay Routledge
This interview is an episode from The Well, our new publication about ideas that inspire a life well-lived, created with the John Templeton Foundation. Subscribe to The Well on YouTube ► https://bit.ly/thewell-youtube Up Next ► Supernatural thinking: Your brain’s anti-anxiety mode https:/
From playlist Welcome to The Well
How to do arithmetic with tree diagrams | Understand math and philosophy better
Tree diagrams are a key tool for philosophical analysis. In this video, I show how to apply them to math. This can help you understand math concepts better and help you get more comfortable using trees in a variety of ways. Critical Fallibilism is a rational philosophy developed by Elliot
From playlist Summer of Math Exposition 2 videos
Itay Neeman: Reflection of clubs, and forcing principles at ℵ2
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Logic and Foundations
Ieke Moerdijk: An Introduction to Dendroidal Topology
Talk by Ieke Moerdijk in the Global Noncommutative Geometry Seminar (Americas) https://globalncgseminar.org/talks/an-introduction-to-dendroidal-topology/ on April 23, 2021.
From playlist Global Noncommutative Geometry Seminar (Americas)
Factor Graphs 1 - Constraint Satisfaction Problems | Stanford CS221: AI (Autumn 2019)
For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/2ZmzIQT Topics: Factor Graphs Percy Liang, Associate Professor & Dorsa Sadigh, Assistant Professor - Stanford University http://onlinehub.stanford.edu/ Associate P
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2019