Proof assistants | Type theory
Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness. (Wikipedia).
7.1: Cellular Automata - The Nature of Code
This video introduces the concepts and algorithms behind Cellular Automata. (If I reference a link or project and it's not included in this description, please let me know!) Read along: http://natureofcode.com/book/chapter-7-cellular-automata/ http://en.wikipedia.org/wiki/Cellular_autom
From playlist The Nature of Code: Simulating Natural Systems
‘Octobot’ is the world’s first soft-bodied robot
Flexible machine goes where no robot has gone before. Learn more: http://www.sciencemag.org/news/2016/08/octobot-world-s-first-soft-bodied-robot
From playlist Robots, AI, and human-machine interfaces
I found the plans for this model on this site (http://scrollsawworkshop.blogspot.com.br/2008/10/marble-automation-machine.html). Free 3D model at https://skfb.ly/o6vRE.
From playlist Marble Machines
Cellular Automata are a fantastic demonstration of how a simple set of rules can elicit a complex emergent behaviour. In this video I show John Conway's Game Of Life implemented in quick and simple C++ at the command line. Github: https://github.com/OneLoneCoder/Javidx9/blob/master/Consol
From playlist Interesting Programming
Robotics is a team sport, bringing together people with varied and sometimes surprising skill sets—from marine helicopter mechanics and machine learning PhDs, to puppeteers and chocolate-makers. Meet some of the X team who are teaching robots how to learn, and hear why diverse perspective
From playlist Robotics
The Autonomic Nervous System: Sympathetic and Parasympathetic Divisions
We've learned quite a bit about the peripheral nervous system, which has a sensory division and a motor division. The latter is the one that tells the body what to do, and this is divided into the somatic nervous system, which involves voluntary motion, and the autonomic nervous system, wh
From playlist Anatomy & Physiology
History of Science and Technology Q&A (June 1, 2022)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
4 - Kick-off afternoon : Xavier Leroy, Proof assistants in computer science research
J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (http://www.youtube.com/editor).
From playlist T2-2014 : Semantics of proofs and certified mathematics
A simple gears mechanism moving a frame structure. Used in robot toys. Free 3D model at https://skfb.ly/o6X7q.
From playlist Walking Machines
Is the future of surgery robotic?
Surgery is a field that requires a lot of focus and precision. Indeed, there can be no mistakes in surgical operating rooms and surgeons can use all the help they can get. This is where surgical robots come into play. Perhaps the most famous surgical robot is the Da Vinci robot. That mac
From playlist Radical Innovations
Live CEOing Ep 562: Language Design in Wolfram Language [Held expressions & MapApply]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram
From playlist Behind the Scenes in Real-Life Software Design
Watch a car park itself! Credits: , HowStuffWorks
From playlist Classic HowStuffWorks