Watch This
  • Trending
  • Explore

Type-theoretic mathematics: (20) More cats; More nats

https://tsouanas.org/teaching/tt/2526.2

Join Today
The Langlands Program - Numberphile
▶︎

The Langlands Program - Numberphile

Martin Hairer: Do Mathematicians Need Computers?
▶︎

Martin Hairer: Do Mathematicians Need Computers?

Hecke operators and zeta functions
▶︎

Hecke operators and zeta functions

Type-theoretic mathematics: (1) Intro
▶︎

Type-theoretic mathematics: (1) Intro

ENS Oral Exam Re-enactment: MP-MPI-PC-PSI Competitive Exams - Physics Oral
▶︎

ENS Oral Exam Re-enactment: MP-MPI-PC-PSI Competitive Exams - Physics Oral

Gil Strang's Final 18.06 Linear Algebra Lecture
▶︎

Gil Strang's Final 18.06 Linear Algebra Lecture

2026 EMS Lecture Series on Mathematics Education. Lecture 6: Terence Tao
▶︎

2026 EMS Lecture Series on Mathematics Education. Lecture 6: Terence Tao

But what is quantum computing?  (Grover's Algorithm)
▶︎

But what is quantum computing? (Grover's Algorithm)

He Once Worked at Subway. At 58, He Solved An "Impossible" Problem
▶︎

He Once Worked at Subway. At 58, He Solved An "Impossible" Problem

William Dunham, A tribute to Euler
▶︎

William Dunham, A tribute to Euler

The FULL VIDEO of Trump they didn’t want released
▶︎

The FULL VIDEO of Trump they didn’t want released

Terence Tao: Nobody Understands Why AI Actually Works
▶︎

Terence Tao: Nobody Understands Why AI Actually Works

What's NEW at✨SAM'S CLUB✨ + June 2026 INSTANT SAVING!!
▶︎

What's NEW at✨SAM'S CLUB✨ + June 2026 INSTANT SAVING!!

How Divergence and Curl Were Discovered
▶︎

How Divergence and Curl Were Discovered

I Was Right About AI
▶︎

I Was Right About AI

Music Theory Masterclass 1: Drilling the Basics
▶︎

Music Theory Masterclass 1: Drilling the Basics

When an audition changed TV forever
▶︎

When an audition changed TV forever

The Obviously True Theorem No One Can Prove
▶︎

The Obviously True Theorem No One Can Prove

RL for Agents Workshop - Deep Dive on Training Agents with RL and Open Source
▶︎

RL for Agents Workshop - Deep Dive on Training Agents with RL and Open Source

1. The Geometry of Linear Equations
▶︎

1. The Geometry of Linear Equations

AboutContactPrivacyTerms
Made with ❤️ by Abdo