13:16

On expected gradient and score d/dx log(p)

04:25

Gilmore Girls Review

04:09

against the preface skippers

12:19

Conference vlog

04:53

smol diffusion

24:48

Shitty stochastics notation and currying

11:13

SoftMax: On derivations of its derivations, ∂σ/∂x

05:01

Diffusion Geometry (paper pointer)

31:57

The Platonic Representation Hypothesis (paper review)

31:28

Pierce's law, Consequentia Mirabilis, ¬¬-Elimination and LEM without Explosion

55:30

Surjections from ℕ onto ℝ. Surjections from S ⊂ ℕ onto ℕ^ℕ. All that.

47:02

Reflecting on Extropic & manually sampling from any distribution

44:57

Stock market price prediction via deep learning (Review)

19:07

Things you should know: async io

07:31

Top 10 most bangable mathematicians

23:46

Computing all polynomials via just ReLU activations (no learning needed), Part 2 of 2

36:27

Computing all polynomials via just ReLU activations (no learning needed), Part 1 of 2

01:02:10

Neural Networks as Quantum Field Theories (NNGP, NKT, QFT, NNFT)

46:48

Implementation of backprop / autograd for 1x1 tensors

34:36

Casino strategies and some pytorch for you to work with

39:14

Zolotarev's lemma: Proof by example

27:24

Copious Secret Santa: Theorem and coding challenges

28:37

Four freebies of constructive arithmetic

02:26

1902

52:21

Absorption probabilities in finite Markov chains

01:05:34

Axiom of Regularity (Foundation) vs. Induction

01:14:25

Regularity and non-standard models of arithmetic #PaCE1

01:54:17

Axiom of Choice and Regularity each imply LEM

53:44

Failure of the computable weak Kőnig's lemma

37:11

Coding the matrix exponential on so(3)

01:26:36

Torque-free motion of a prolate rigid body anime

44:10

\int Accelerationism dt = Velocerationism

36:22

You don't know shit about function concatenation

28:30

Going from private to public key on the elliptic curve

48:14

Models of Superdeterminism

39:59

The spherical pendulum in the Hamiltonian formalism

48:13

The Spherical Pendulum animation explained

40:26

My 21 books for 2021

57:14

Pauli matrices vs. su(2) basis vs. quaternions

01:15:22

SU(2) actions for spherical coordinates

56:58

Euclid rationalizing Lie groups: SO(2, ℚ) ⊂ U(1)

37:50

Streaming Cauchy sequences in π

38:24

Semirings that are finite and have infinity

41:59

Heyting algebras and Negation

27:21

Topoi 4: Power and Negation

31:20

Topoi 3: The definition of a topos

39:34

Squashing theories into Heyting algebras

40:03

Topoi 2: The Subobject Classifier diagram

46:01

Topoi 1: Predicates vs. subsets

40:53

The Continuum Hypothesis

02:27:51

All the Axioms of Mathematics

01:37:28

Galilean group cohomology in classical mechanics

53:42

Poisson tensors in non-commutative gravity

01:03:42

|ω| computable bijections from ω to ω^ω

50:53

Understanding and computing the Riemann zeta function

01:05:41

Euler's formulas, Rodrigues' formula

01:12:19

The Campbell-Baker-Hausdorff and Dynkin formula and its finite nature

01:16:25

The virgin rotation matrix vs. the Chad axis–angle

37:13

Raw pixel processing in Python

57:23

B. L. van der Waerden's life before Quantum Mechanics