Proof assistants

LEGO (proof assistant)

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).

Video thumbnail

Top 9 LEGO creations

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

Video thumbnail

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!!!

Video thumbnail

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!!!

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Lego EV3 Introduction

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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!!!

Video thumbnail

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

Related pages

Proof assistant