ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

11 results

Attic Philosophy
Introduction to Type Theory

... https://ko-fi.com/atticphilosophy 00:00 - Intro 00:45 - Simple Example 02:51 - History of Type Theory 07:40 - Lambda Calculus ...

20:23
Introduction to Type Theory

3,177 views

3 days ago

ACM SIGPLAN
[POPL'26] Salle 13 - WITS (Jan 17th)

Full program: https://popl26.sigplan.org/program/program-POPL-2026/

9:11:15
[POPL'26] Salle 13 - WITS (Jan 17th)

341 views

Streamed 2 days ago

TLE Eliminators - by Priyansh
Codeforces Round 1072 (Div. 3) | Video Solutions - A to F | by Vibhaas | TLE Eliminators

Join us live for Codeforces Round 1072 (Div 3) as we break down Problems A, B, C, D, E and F. New to CP or unsure of your ...

1:44:39
Codeforces Round 1072 (Div. 3) | Video Solutions - A to F | by Vibhaas | TLE Eliminators

7,563 views

Streamed 7 days ago

ACM SIGPLAN
[POPL'26] Dortoirs - POPL (Jan 16th)

Full program: https://popl26.sigplan.org/program/program-POPL-2026/

7:11:00
[POPL'26] Dortoirs - POPL (Jan 16th)

243 views

Streamed 3 days ago

Yegor Bugayenko
Shift-M/56: Douglas Crockford about JavaScript, OOP, JSON, Misty, and actors

Douglas Crockford is a software architect and language designer best known for his work on JavaScript, JSON, and for his ...

1:03:45
Shift-M/56: Douglas Crockford about JavaScript, OOP, JSON, Misty, and actors

1,727 views

1 day ago

vishant edu hub
Eigenvalue and eigenvector | concepts and examples

Eigenvalue and eigenvector | concepts and examples linear algebra playlist ...

46:11
Eigenvalue and eigenvector | concepts and examples

81 views

6 days ago

Engineering Mathematics with MK
Maxima Minima & Lagrange's Method of Multipliers| Important Questions| Engineering Mathematics

Notes : https://web.goodnotes.com/s/v6A7tBKXro6HtDDFupyg15 In this video, we study Maxima and Minima and Lagrange's ...

58:04
Maxima Minima & Lagrange's Method of Multipliers| Important Questions| Engineering Mathematics

257 views

2 days ago

Actuators Educational Institute
Derivatives Revision – Part 2 | Exam-Focused Concepts by Priyanka Baheti Maam

Welcome to Derivatives Revision—Part 2, designed for students preparing for actuarial, finance, and risk management ...

2:09:00
Derivatives Revision – Part 2 | Exam-Focused Concepts by Priyanka Baheti Maam

57 views

6 days ago

Aspiring Aces
CUET UG Mathematics 2022 | Detailed PYQ Analysis & Shortcuts | Part-1 | Aspiring Aces

Master your Mathematics preparation for CUET UG 2025/26 with this comprehensive solution of the 2022 Mathematics Question ...

1:10:30
CUET UG Mathematics 2022 | Detailed PYQ Analysis & Shortcuts | Part-1 | Aspiring Aces

40 views

5 days ago

OBINexus
Mmuko OS Boot Sequence Trident Compass via Lambda Polar Caluclus by Net Geometry for Huamn Rights Op
32:49
Mmuko OS Boot Sequence Trident Compass via Lambda Polar Caluclus by Net Geometry for Huamn Rights Op

0 views

3 days ago

VEC Apprenticeship
AC Waveforms

Corrections/Extra explanations: 44:20 Mixed up arcsine with something else. You take sine of the angle to get the ratio and you ...

2:00:56
AC Waveforms

11 views

6 days ago