ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

4,300,357 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,736 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

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

376 views

8 months 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

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

401,076 views

1 year 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

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,056 views

3 years ago

balticruby
"Mathematical Programming in Ruby"

SPEAKER: TOMASZ JÓŹWIK. When using math programming, we can achieve optimal solutions for complex problems by ...

35:18
"Mathematical Programming in Ruby"

69 views

1 year 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

582 views

Streamed 2 weeks ago

People also watched

ZUCCMAP
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

In this talk, Luis will explore the inner workings of interactive proof assistants such as Lean4 and discover a profound connection ...

43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

3,833 views

1 year 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,193 views

1 year 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,130 views

2 months ago

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,362 views

2 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,584 views

5 years ago

The Modern Software Developer
The Build System: Multi-Agent Workflows with Micah Villmow, Research Engineer at IFM

In this episode of The Build System, we sit down with Micah Villmow, Senior Research Engineer at the Institute for Foundation ...

1:42:18
The Build System: Multi-Agent Workflows with Micah Villmow, Research Engineer at IFM

3,047 views

9 days 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)

348,464 views

9 months 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,410 views

4 years ago

Lex Clips
Learning New Programming Languages | Brian Kernighan and Lex Fridman

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

3:22
Learning New Programming Languages | Brian Kernighan and Lex Fridman

102,209 views

5 years 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,674 views

3 years ago

AI with Andy
Math You Need for Machine Learning | Intro to Language Models & Embeddings

Let's walk through the most famous language model of all — Word2Vec. We'll build an intuition for how language modelling works ...

17:54
Math You Need for Machine Learning | Intro to Language Models & Embeddings

1,637 views

2 years 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,621 views

2 years ago

Greg Durrett
Mathematics of Language Modeling (NLP for High School)

Part of a series of videos on Natural Language Processing aimed at introducing high school students to language modeling.

6:11
Mathematics of Language Modeling (NLP for High School)

772 views

2 years ago

The University of Melbourne
Dragonspeech 101 - Modeling Discrete Optimization

Learn how to solve impossible problems at the University of Melbourne's School of Magic ...

4:21
Dragonspeech 101 - Modeling Discrete Optimization

4,697 views

10 years ago

Joma Tech
why you NEED math for programming

Get the JomaClass membership: https://joma.tech/dsa First 100 people get 15% off the yearly subscription with promo code ...

5:03
why you NEED math for programming

9,649,924 views

5 years ago

Ridvan Gedik
Modeling Mathematical Models in Excel Solver Part 1

In this video we are going to understand how we can actually um model new programming models in ms excel solver in which we ...

7:26
Modeling Mathematical Models in Excel Solver Part 1

1,122 views

4 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

The Operations Research Guru
Deriving a Mathematical Programming Model

Hey everyone I'm Akash Joshi I'm the aura Guru and today we're going to be talking about mathematical programming models so ...

6:26
Deriving a Mathematical Programming Model

43 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

Super Data Science: ML & AI Podcast with Jon Krohn
Can Mathematical Optimization Be Used for NLP (Natural Language Processing)?

Learn why mathematical optimization should be known to every data scientist. In this episode, @JonKrohnLearns speaks to Jerry ...

2:55
Can Mathematical Optimization Be Used for NLP (Natural Language Processing)?

201 views

2 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