ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

4,298,223 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,696 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

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

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

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

Dr. Trefor Bazett
Intro to Linear Programming

This optimization technique is so cool!! Get Maple Learn ▻https://www.maplesoft.com/products/learn/?p=TC-9857 Get the free ...

14:23
Intro to Linear Programming

303,778 views

4 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,238 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,577 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 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

2,982 views

8 days ago

Stanford Online
Stanford CS336 Language Modeling from Scratch | Spring 2025 | Lecture 1: Overview and Tokenization

For more information about Stanford's online Artificial Intelligence programs visit: https://stanford.io/ai To learn more about ...

1:18:59
Stanford CS336 Language Modeling from Scratch | Spring 2025 | Lecture 1: Overview and Tokenization

524,348 views

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

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

1 year ago

Richard Southwell
Learning To Code In Lean 4 With A Friend: Starting Out

My friend Avi Cramer and I start learning the Lean 4 functional programming language. This time we cover the basics like ...

50:59
Learning To Code In Lean 4 With A Friend: Starting Out

9,548 views

2 years ago

Ontology Talk with Adam Pease
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference

Presentation by Adam Pease at SRI, Menlo Park, CA. I discuss implementation details of writing an automated theorem prover in ...

44:48
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference

11,265 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

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

374 views

7 months 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,931 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,049 views

3 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

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

Gamma-Opt
MS-E2121 - Linear Optimization - Lecture 1.2

Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...

40:31
MS-E2121 - Linear Optimization - Lecture 1.2

435 views

5 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

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

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

2 years ago