Alok Singh - Invidious

Alok Singh

alok.github.io

View channel on YouTube

Switch Invidious Instance

Livestreams

newest

oldest

popular

46:51

12/7/25

Alok Singh

Shared 1 week ago

4 views

32:52

fortnite stream 2

Alok Singh

Shared 3 weeks ago

12 views

2:41:26

Lean 4 Monad Transformer

Alok Singh

Shared 10 months ago

47 views

1:50:54

Codebuff and Gwern.net

Alok Singh

Shared 1 year ago

103 views

1:40:49

trying out external models for LeanDojo

Alok Singh

Shared 1 year ago

42 views

2:44:52

SF Tech Week Github Hackathon: 4D Snake Game

Alok Singh

Shared 1 year ago

78 views

51:50

A random integer cubed

Alok Singh

Shared 1 year ago

6 views

1:18:00

Hybrid dynamics physics engine

Alok Singh

Shared 1 year ago

8 views

1:51:40

derivative of a discontinuous function

Alok Singh

Shared 1 year ago

18 views

46:32

modular form activation function

Alok Singh

Shared 1 year ago

95 views

18:32

Diffusion as hyperfinite depth

Alok Singh

Shared 1 year ago

7 views

1:03:54

Porting a paper with o1

Alok Singh

Shared 1 year ago

38 views

3:07:57

llm.c dataloader in c and lean 4

Alok Singh

Shared 1 year ago

72 views

1:59:08

ARENA curriculum

Alok Singh

Shared 1 year ago

9 views

1:17:53

Micrograd in Python and Lean 4

Alok Singh

Shared 1 year ago

14 views

5:18:59

Micrograd in Lean 4 and Python 3

Alok Singh

Shared 1 year ago

20 views

1:29:05

PyTorch 100

Alok Singh

Shared 1 year ago

749 views

31:58

Variational Calculus

Alok Singh

Shared 1 year ago

12 views

1:41:59

Infinitely big numbers and infinitesimals in Lean 4

Alok Singh

Shared 1 year ago

44 views

5:44:35

Levi Civita Field

Alok Singh

Shared 1 year ago

37 views

2:30:18

Levi Civita Field in Lean 4

Alok Singh

Shared 1 year ago

6 views

8:27

Levi Civita Field in Lean 4

Alok Singh

Shared 1 year ago

9 views

2:25:48

Lean autograd: backpropagation

Alok Singh

Shared 1 year ago

8 views

2:36:43

Lean autograd

Alok Singh

Shared 1 year ago

30 views

4:05:34

Karpathy llm.c in Lean 4

Alok Singh

Shared 1 year ago

201 views

6:04:30

Lean autograd

Alok Singh

Shared 1 year ago

9 views

1:38:18

Teaching Elliot Glazer Programming

Alok Singh

Shared 1 year ago

72 views

1:14:26

GDP of language families

Alok Singh

Shared 1 year ago

17 views

3:05:04

ARENA ray tracer with Elliot

Alok Singh

Shared 1 year ago

7 views

1:35:11

Lean 4 dev

Alok Singh

Shared 1 year ago

25 views

1:58:59

Testing out HVM and Bend @VictorTaelin

Alok Singh

Shared 1 year ago

318 views

8:19

Vision Pro dev: Irrational Torus

Alok Singh

Shared 1 year ago

9 views

1:56:55

What do Swift and Lean 4 and Rust have in common, plus some math

Alok Singh

Shared 1 year ago

101 views

1:13:55

17 dimensional rotations

Alok Singh

Shared 1 year ago

35 views

1:16:43

Vision Pro dev

Alok Singh

Shared 1 year ago

8 views

2:49:42

Neel Nanda MATS app part 5

Alok Singh

Shared 1 year ago

16 views

7:15:43

Neel Nanda MATS app part 4

Alok Singh

Shared 1 year ago

25 views

3:41:55

Neel Nanda MATS app part 3

Alok Singh

Shared 1 year ago

13 views

1:49:43

Neel Nanda MATS app part 2

Alok Singh

Shared 1 year ago

8 views

2:02:30

AI interpretability research: Neel Nanda MATS app part 0

Alok Singh

Shared 1 year ago

34 views

29:08

Vision Pro dev and Metal

Alok Singh

Shared 1 year ago

20 views

46:57

Alok's Stream: testing out Claude 3

Alok Singh

Shared 1 year ago

3 views

2:48

Derivative of a DISCONTINUOUS Function

Alok Singh

Shared 1 year ago

21 views

35:05

Alok Singh's Stream

Alok Singh

Shared 1 year ago

22 views

1:55:05

Alok Singh Live Stream

Alok Singh

Shared 1 year ago

72 views

18:32

visionOS game dev

Alok Singh

Shared 1 year ago

10 views

33:16

visionOS game dev

Alok Singh

Shared 1 year ago

16 views

1:07:25

Advent of Code 2023 Day 3 in Lean 4

Alok Singh

Shared 2 years ago

49 views

1:23:22

More Advent of Code 2023 Day 2 in Lean 4

Alok Singh

Shared 2 years ago

40 views

31:00

Advent of Code 2023 Day 2 in Lean 4

Alok Singh

Shared 2 years ago

102 views