ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

70 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,130 views

2 days ago

Papers2Code
Lagrangian Constrains: The math behind Regularization | L1 and L2 norms

Generally when we talk about regulerization in deep learning, we just say "Oh, lets add the weights to the loss and scale it with ...

13:57
Lagrangian Constrains: The math behind Regularization | L1 and L2 norms

18 views

4 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

Infinite Machine
MIRA新伝統 - Riding the Cycles [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

3:09
MIRA新伝統 - Riding the Cycles [Audio]

108 views

4 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,548 views

Streamed 7 days ago

Deep Book Reviews
The Art of Functional Programming - Deep Book Review

he Art of Functional Programming serves as a comprehensive guide for mastering the functional programming paradigm by ...

15:20
The Art of Functional Programming - Deep Book Review

14 views

7 days ago

Dr. Insightful
Theory of Computation Explained | Automata, Turing Machines & P vs NP

... of computation, including Gödel's Incompleteness Theorems, Turing Machines, Lambda Calculus, and the Chomsky Hierarchy.

5:53
Theory of Computation Explained | Automata, Turing Machines & P vs NP

17 views

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

242 views

Streamed 3 days ago

Mathematics Untold
Let |a|= 5 and - 2 ≤ lambda ≤ 1 Then, the range of | λ a | is #cbse #mathspyqs

Let |a|= 5 and - 2 ≤ lambda ≤ 1 Then, the range of | λ a | is #cbsepyqs #mathspyqs #cbse2025paper #cbsepyqs ...

3:41
Let |a|= 5 and - 2 ≤ lambda ≤ 1 Then, the range of | λ a | is #cbse #mathspyqs

189 views

4 days ago

Mathematics Eduserv
Consider the lines x(3λ+1)+y(7λ+2)=17λ+5, λ being a parameter, all passing through a point P .One of

Consider the lines x(3λ+1)+y(7λ+2)=17λ+5, λ being a parameter, all passing through a point P . One of these lines (say L) is ...

10:43
Consider the lines x(3λ+1)+y(7λ+2)=17λ+5, λ being a parameter, all passing through a point P .One of

0 views

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

1 day ago

Infinite Machine
MIRA新伝統 - The Riddle of Pendeli [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

3:08
MIRA新伝統 - The Riddle of Pendeli [Audio]

63 views

4 days ago

Infinite Machine
MIRA新伝統 - Circus in Town [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

3:20
MIRA新伝統 - Circus in Town [Audio]

31 views

4 days ago

Infinite Machine
MIRA新伝統 - Terraformers [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

2:53
MIRA新伝統 - Terraformers [Audio]

29 views

4 days ago

Infinite Machine
MIRA新伝統 - Magic Variables [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

3:15
MIRA新伝統 - Magic Variables [Audio]

30 views

4 days ago

Infinite Machine
MIRA新伝統 - The Fall of Metatron [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

3:19
MIRA新伝統 - The Fall of Metatron [Audio]

18 views

4 days ago

Infinite Machine
MIRA新伝統 - Cordyceps [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

2:38
MIRA新伝統 - Cordyceps [Audio]

26 views

4 days ago

Vinay Ahlawat
Three infinitely long wires with linear charge density λ are placed along the x−axis y−axis z−axis

Three infinitely long wires with linear charge density λ are placed along the x−axis,y−axis, and z− axis respectively. Which of ...

10:22
Three infinitely long wires with linear charge density λ are placed along the x−axis y−axis z−axis

27 views

3 days ago

Infinite Machine
MIRA新伝統 - Ignore The Signs [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

2:07
MIRA新伝統 - Ignore The Signs [Audio]

0 views

4 days ago

Infinite Machine
MIRA新伝統 - Thesmophoria [Audio]

Download & Stream: https://kud.li/im123 Subscribe: https://sb.kud.li/UCfCmzYWFYUqCZbKxZpqQS3A Official stream from Infinite ...

2:16
MIRA新伝統 - Thesmophoria [Audio]

16 views

4 days ago