LEGO is a proof assistant developed by at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the (GCC) and the (UTT). (Wikipedia).
Lego is a line of plastic construction toys that consists of variously coloured interlocking bricks and a wide variety of gears, figurines, and other parts. Lego pieces can be assembled to construct many varied objects, including vehicles like a real-life Bugatti Chiron or a Toyota Camry
From playlist Radical Innovations
Meet Nathan Sawaya, LEGO Brick Artist and Master Model Builder
Nathan Sawaya buys millions of LEGO pieces and assembles them into incredible sculptures, one brick at a time. At his Art of the Brick museum exhibit, Nathan chats with us about his process of sculpting with LEGO, how he earned the title of Master Model Builder, and what advice he has for
From playlist LEGOS!!!
How the LEGO Voltron was Designed!
In our first look at the new LEGO Voltron set, we chat with one of the set's designers who adapted the winning LEGO Ideas submission to a buildable Voltron model that meets LEGO's rigorous build and play standards. We also take a look at some of the early prototypes for this set that help
From playlist LEGOS!!!
The Truth About Making Lego Bricks | Secret World of Lego | Spark
In The Secret World of Lego, we follow Justin, a young design student, as he travels to Lego headquarters in pursuit of one of the most hotly contested jobs in the world - a brick set designer. We meet Matthew, who undertook the same process and has now risen to Vice President of Design. W
From playlist Vehicles And Engineering | Spark X On The Move
Making Lego Car CLIMB Obstacles
Testing a Lego car against different obstacles and improving it until it becomes a capable climber. Demonstrates what you need to consider: wheel diameter, gear ratio, 4-wheel drive, tire grip, breakover angle, weight distribution. Enjoy! Base rules for all builds: -4 wheels -no steer
From playlist Robotics
Talking LEGO - This is Only a Test 624 - 11/4/21
This week, we're joined by special guest Brent Waller, a LEGO fan designer who's had several of his creations turned into official LEGO sets (including the Ghostbusters Ecto-1 and Seinfeld apartment). Brent joins us to talk about our halloween adventures, his journey submitting successful
From playlist This Is Only a Test
LEGO with Friends: Carl Merriam, Part 1
For this week's LEGO with Friends series, we're joined by a very special guest: LEGO product designer Carl Merriam! Carl, who we first met at a local LEGO convention, is visiting all the way from Denmark, where he works on the LEGO Minecraft team. We chat with him about what it's like work
From playlist Tested Premium Preview
Lego Mindstorms EV3 Robotics Lesson 2 - Explanation of input and output
In this series of videos you will learn how to build and program robots with the Lego Mindstorms EV3 robotics kit. Complete beginner friendly. In this particular video, we explain the concept of the programmable brick, and how it accepts input by using the sensors and produces output by u
From playlist Lego Robotics
In this video I introduce the Lego EV3 robot. I cover what is new in this generation of robot, what the different kits are, how to access the instructions for the 17 home models, how to obtain and use the software and I unbox and EV3 and build a demo robot.
From playlist Robotics
Rasa Algorithm Whiteboard - Diet Architecture 2: Design Decisions
In the previous video we've discussed the "how" the model works. In this video we hope to explain "why" the architecture looks this way. We will highlight some of the design decisions and also why this model is so flexible.
From playlist Algorithm Whiteboard
EmberConf 2019 - No Bad Legos: A Toy Box For Everybody by Howie Bollinger
No Bad Legos: A Toy Box For Everybody by Howie Bollinger People often like to think of a piece of software as greater than the some of its parts. But what if the individual parts are garbage? Using component driven development, we can make sure the building blocks of our applications are
From playlist EmberConf 2019
Building The World's Largest LEGO Sculpture | A Big Lego Christmas | Spark
A Big LEGO Christmas offers viewers a sneak peek inside the legendary toy empire. Visit the famously-secretive LEGO headquarters in Billund, Denmark as the team pulls out all the stops to stage the biggest LEGO Christmas ever. Head to London’s Leicester Square for the grand opening of the
From playlist Spark Top Docs
Gathering in Remembrance of Vladimir Voevodsky
https://www.ias.edu/events/gathering-remembrance-vladimir-voevodsky More videos on http://video.ias.edu
From playlist Mathematics
Our Reboot Fears - This is Only a Test 518 - 9/19/19
This week, we dive into the recent news of TV show and movie reboots, early iPhone 11 reviews, Donkey Kong record holder drama, and anticipation for the Switch Lite. Plus, a pre-OC6 edition of The VR Minute where we talk about HTC's Vive Cosmos and going hands-on with Tilt5! Subscribe for
From playlist This Is Only a Test
There’s an Artificially Intelligent Crew Member on the ISS… Wait What? (Part 3 of 3)
Cutting-edge technology is used every day on the ISS, including an artificially intelligent robot assistant. What else are we experimenting with up there? Part 1 of 3 - https://youtu.be/AFZqgKshU3U Part 2 of 3 - https://youtu.be/4U5UWSFD5D4 Read More: Floating robot Cimon sent to
From playlist Seeker Plus
Goodbye Story Studio - This is Only a Test 399 - 5/11/17
Norm, Jeremy, and guest Sean meet up to talk about Amazon's new Echo Show smart assistant, disagree about Guardians of the Galaxy, and lament the closing of Oculus Story Studio. Plus, some breaking VR news while we podcast, and Sean's adventures at a 3D printing conference! Subscribe for
From playlist This Is Only a Test
Bitcoin Elements of Trust: Unleashing Creativity With Building Blocks of Trust
This Bitcoin talk by Andreas M. Antonopoulos was ReMastered in 2021: https://www.youtube.com/watch?v=Nst2MCLBSZQ Bitcoin, ethereum, and other open blockchainers are using their imaginations to create all sorts of new things - things that have never existed before. Watch this talk to see w
From playlist English Subtitles - aantonop Videos with subtitles in English
Adam Savage Builds the LEGO NASA Apollo Saturn V!
Get the LEGO NASA Apollo Saturn V set here: https://amzn.to/2vfH5uy Adam, Norm, and Will work together to build the LEGO NASA Apollo Saturn V, a massive model that's beautifully designed and structurally impressive. We've been eagerly waiting to build this new LEGO Ideas set since we firs
From playlist LEGOS!!!
LLESA Author Series: Lego Master Dan Steininger
Dan Steininger, former LEGO master builder, shares details about what it takes to become a LEGO master builder, the process for creating master builder models and what it's like to have the dream job of millions of children (and even some adults). LLNL-VIDEO-838362
From playlist LLESA Author Series