ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

15,433 results

Lex Clips
How to learn Lean programming language | Terence Tao and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...

4:27
How to learn Lean programming language | Terence Tao and Lex Fridman

23,705 views

9 months ago

Lex Clips
Mathematical Programming With AMPL | Brian Kernighan and Lex Fridman

Full episode with Brian Kernighan (Jul 2020): https://www.youtube.com/watch?v=O9upVbGSBFo Clips channel (Lex Clips): ...

7:53
Mathematical Programming With AMPL | Brian Kernighan and Lex Fridman

8,496 views

5 years ago

Larry Snyder
AMPL Tutorial

A tutorial on the algebraic modeling language AMPL, which is used for mathematical optimization. The tutorial assumes you have ...

53:56
AMPL Tutorial

42,512 views

6 years ago

Krell Institute
DOE CSGF 2016: JuMP -- A Modeling Language for Mathematical Optimization

View more information on the DOE CSGF Program at http://www.krellinst.org/csgf JuMP is an open-source software package in ...

18:16
DOE CSGF 2016: JuMP -- A Modeling Language for Mathematical Optimization

1,115 views

9 years ago

The Julia Programming Language
Julia: The Type of Language for Mathematical Programming | Madeleine Udell | JuliaCon 2017

Visit http://julialang.org/ to download Julia. Time Stamps: 00:00 Welcome! 00:10 Help us add time stamps or captions to this video!

29:53
Julia: The Type of Language for Mathematical Programming | Madeleine Udell | JuliaCon 2017

7,151 views

8 years ago

Eyesomorphic
Programming with Math | The Lambda Calculus

The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...

21:48
Programming with Math | The Lambda Calculus

400,964 views

1 year ago

Computerphile
Automated Mathematical Proofs - Computerphile

Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ...

18:02
Automated Mathematical Proofs - Computerphile

106,051 views

3 years ago

People also watched

Tom S
The Art of Linear Programming

A visual-heavy introduction to Linear Programming including basic definitions, solution via the Simplex method, the principle of ...

18:56
The Art of Linear Programming

903,253 views

2 years ago

Alex Kontorovich
How Mathematicians can Get Started with Lean

Instructions from the video: Step 1: Open a free account on https://github.com/ Step 2: Google "Mathlib4" or navigate to ...

31:47
How Mathematicians can Get Started with Lean

14,137 views

1 year ago

LaurieWired
Your Programming Language Can't Understand You...

Compilers and Humans have the same problem. We're all terrible at understanding each other. Many programming bugs are ...

30:15
Your Programming Language Can't Understand You...

336,387 views

4 months ago

Brainqub3
Before You Build Another Agent, Understand This MIT Paper

Work with us: https://brainqub3.com/ ✓ AI Fact Checker: https://check.brainqub3.com/ Following on from my first video on the ...

17:47
Before You Build Another Agent, Understand This MIT Paper

59,109 views

2 months ago

Quanta Magazine
The Man Who Revolutionized Computer Science With Math

Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field ...

7:50
The Man Who Revolutionized Computer Science With Math

3,503,207 views

3 years ago

Lex Clips
Brian Kernighan's Programming Setup | Lex Fridman

Full episode with Brian Kernighan (Jul 2020): https://www.youtube.com/watch?v=O9upVbGSBFo Clips channel (Lex Clips): ...

4:57
Brian Kernighan's Programming Setup | Lex Fridman

31,579 views

5 years ago

Lex Clips
What programming languages should everyone learn? | Charles Hoskinson and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=FKh8hjJNhWc Please support this podcast by checking out ...

8:37
What programming languages should everyone learn? | Charles Hoskinson and Lex Fridman

396,409 views

4 years ago

The Julia Programming Language
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017

Visit http://julialang.org/ to download Julia. Time Stamps: 00:00 Welcome! 00:10 Help us add time stamps or captions to this video!

19:12
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017

7,307 views

8 years ago

Harry Connor AI
The Math Needed for AI/ML (Complete Roadmap)

The essential math skills you need in artificial intelligence and machine learning, including linear algebra, calculus, probability, ...

6:08
The Math Needed for AI/ML (Complete Roadmap)

347,985 views

9 months ago

SimonDev
What Kind of Math Should Game Developers Know?

Math is important for game developers, but how much math do you really need? And is it really as difficult as it seems?

19:39
What Kind of Math Should Game Developers Know?

684,497 views

1 year ago

Aaron Gray
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...

47:15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

375 views

8 months ago

Optimization4All
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

In this hands-on session, we'll explore the art of mathematical optimization modeling through a practical worker-task scheduling ...

1:53:49
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

573 views

Streamed 2 weeks ago

Fireship
10 Math Concepts for Programmers

Learn 10 essential math concepts for software engineering and technical interviews. Understand how programmers use ...

9:32
10 Math Concepts for Programmers

2,230,506 views

2 years ago

AMPL Optimization
Modeling, not Programming

AMPL Resources: The AMPL Book is available free at https://ampl.com/resources/the-ampl-book/ Get a full trial of AMPL and ...

30:10
Modeling, not Programming

1,198 views

5 years ago

Daryl Ono
Mathematical Programming - Introduction & Demonstration

This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.

59:36
Mathematical Programming - Introduction & Demonstration

338 views

3 years ago

PIFOP
Math Programming IDE for Academics - Optimization in the Web with PIFOP

Meet PIFOP: a mathematical programming IDE that will make your life as an optimization teacher, student or researcher much ...

2:17
Math Programming IDE for Academics - Optimization in the Web with PIFOP

300 views

3 years ago