Bookmarks
2026-09-013
2026-08-314
2026-08-24
2026-07-23
2026-07-162
2026-07-02
2026-05-285
2026-05-08
2026-05-066
2026-04-29
2026-04-28
2026-04-182
2026-04-165
2026-04-052
2026-04-03
2026-03-26
2026-03-233
2026-03-032
2026-02-06
2026-01-282
2026-01-17
2026-01-164
2026-01-122
2026-01-11
2026-01-10
2026-01-09
2025-12-292
2025-12-2512
- Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
- Markov blankets and Bayesian mechanics (Karl Friston)
- Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness
- Something strange happens when you look at the primes
- Bourbaki vs. Category Theory: What is Mathematics About?
- Sporadic Groups - Prof Richard Borcherds - The Archimedeans
- Pierre Deligne | What is the Hodge conjecture?
- AGITTOC pseudolecture 1 (welcome; philosophy; some category theory)
- Grigori Perelman documentary
- Grothendieck Conference - Kevin Buzzard
- A Practical guide to representation theory
- From Triangles To Manifolds
2025-12-133
2025-12-09
2025-11-172
2025-11-09
2025-11-062
2025-11-052
2025-10-062
2025-08-26
2025-08-197
- Gödel’s Incompleteness Theorems
- What Alan T. did for his PhD
- Lecture 3: Gödel, Turing, and Friends
- The Complete Idiot's Guide to the Independence of the Continuum Hypothesis: Part 1 of <=Aleph_0
- A Semitechnical Introductory Dialogue on Solomonoff Induction
- Occam's Razor and the Universal Prior
- Derivative Zoo
2025-08-12
2025-08-112
2025-08-05
2025-08-04
2025-07-302
2025-07-29
2025-07-26
2025-07-25
2025-07-2410
- Is pool actually just mathematics?
- Japan 🇯🇵 Math Olympiad Question | Find X
- 2022 - Non-Euclidean Doom: what happens to a game when pi is not 3.14159…
- these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi
- The First Real Application of Category Theory #SoME3
- Unsolved Problems in Calculus
- Kan Academy: Introduction to Limits
- A Brief Overview of Sheaf Theory - Part 1
- A Swift Introduction to Geometric Algebra
- What Is an Interactive Theorem Prover? | Kevin Buzzard
2025-07-22104
- Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]
- What is a TENSOR? (Really this time!)
- A Crash Course in Category Theory - Bartosz Milewski
- Category Theory, The essence of interface-based design - Erik Meijer
- "Categories for the Working Hacker" by Philip Wadler
- Category Theory for the Working Hacker by Philip Wadler
- Imaginary numbers aren't imaginary
- Category Theory by Tom LaGatta
- Applied Category Theory
- David Spivak - Category Theory - Part 1 of 6 - λC 2017
- Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
- Programming with Categories - Lecture 0
- Why algebraic data types are important - Bartosz Milewski - code::dive 2018
- Proofs in mathematics
- THE THREE MATH BOOKS THAT CHANGED MY LIFE
- Algebra - It's not what you think it is!
- Universal Construction | Category Theory and Why We Care 1.2
- All of Multivariable Calculus in One Formula
- The Language of Categories | Category Theory and Why We Care 1.1
- What did category theory ever do for us (functional programmers)?
- From Category Theory to the Large Hadron Collider....and beyond.
- Category Theory for Programmers: Chapter 5 - Products and Coproducts
- C++Now 2019: Ben Deane “Identifying Monoids: Exploiting Compositional Structure in Code”
- This Will Make You Better at Mathematics FOREVER
- Solving the Binomal Option Pricing Model - Financial Engineering and Risk Management
- set theory fundamentals
- Euler's proof: there are an infinite number of primes!
- Lambda World 2019 - A categorical view of computational effects - Emily Riehl
- Understanding Measure Theory and the Lebesgue Integral
- Prove if x ≠ 0, then (x^-1)^-1 = x (ILIEKMATHPHYSICS)
- The shocking connection between complex numbers and geometry.
- What is algebraic geometry?
- Category theory (2022-23): Lecture 1
- A Look at Some Higher Level Math Classes | Getting a Math Minor
- Algebraic Topology 19: Category Theory
- Limits of Logic: The Gödel Legacy
- The Greatest Mathematician Who Ever Lived
- This is why you're learning differential equations
- Algebraic topology: Fundamental group
- What is...homotopy?
- 1. History of Algebraic Topology; Homotopy Equivalence - Pierre Albin
- Into the Realm Categorical
- The soundness and completeness of logic
- Fractals are typically not self-similar
- When Proof By Induction Fails
- Information Theory, Lecture 1: Defining Entropy and Information - Oxford Mathematics 3rd Yr Lecture
- When CAN'T Math Be Generalized? | The Limits of Analytic Continuation
- The Man Who Should Be As Famous As Einstein
- Let's code math | Lean4 | Theorem prover
- What is category theory?
- Yann LeCun "Mathematical Obstacles on the Way to Human-Level AI"
- Your proofs are TRASH! Episode 1: Roasting myself
- Your proofs are TRASH! Episode 3 [ReUpload]
- Watching the Best Linear Algebra Videos on YouTube to Prep for MIT Exam - Part 1
- "Propositions as Types" by Philip Wadler
- The idea that won the 2025 "Nobel Prize in Statistics”
- Formalizing a proof in Lean using Github copilot and canonical
- Formalizing a proof in Lean using Claude and o4
- Applied Linear Algebra (part 7) Matrix Multiplication Actually Makes Sense (Here’s Why)
- A Concrete Introduction to Tensor Products
- I never intuitively understood Tensors...until now!
- The Story of Information Theory: from Morse to Shannon to ENTROPY
- The Key Equation Behind Probability
- Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
- What is the Deep Meaning of Probability? | Episode 2206 | Closer To Truth
- Why do Power Laws Work so Widely? | Episode 2207 | Closer To Truth
- John Conway: Surreal Numbers - How playing games led to more numbers than anybody ever thought of
- Day 3 - Interview to Terence Tao - Umberto Bottazzini
- The Invention That Saved Science
- The Beautiful Math of Deformation | My #SoME4 Submission
- Information field theory for solving Bayesian inverse problems || Jun 27, 2025
- What is...homotopy of spheres?
- Terence Tao - Machine-Assisted Proofs (February 19, 2025)
- Information Theory for Language Models: Jack Morris
- Ravi Vakil: Algebraic geometry and the ongoing unification of mathematics
- Type Theory in Computer Science, Linguistics, Logic
- 02. Algebraic geometry - Sheaves and morphisms (Diana Carolina Castañeda)
- The Lab That Invented The 21st Century
- What's the big deal with the Yoneda Lemma?
- The Most Useful Curve in Mathematics [Logarithms]
- The Intuition behind Hilbert Spaces and Fourier Series
- True Meaning of 2nd Derivative Test | Symmetric Tensors, Spectral Theorem, Principal Axes Theorem
- What is Jacobian? | The right way of thinking derivatives and integrals
- Galois Theory Explained Simply
- Lambda Calculus vs. Turing Machines (Theory of Computation)
- A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks
- How to self study pure math - a step-by-step guide
- But what is the Central Limit Theorem?
- Entropy is not what you think!
- Mystery of Entropy FINALLY Solved After 50 Years? (STEPHEN WOLFRAM)
- "Self-regularizing Property of Nonparametric Maximum Likelihood Estimator" —Yury Polyanskiy (MIT)
- Po-Shen Loh: Mathematics, Math Olympiad, Combinatorics & Contact Tracing | Lex Fridman Podcast #183
- Feynman's Lost Lecture (ft. 3Blue1Brown)
- The unreasonable effectiveness of linear algebra.
- Bayes theorem, the geometry of changing beliefs
- Stephen Wolfram | My Discovery Changes Everything
- Why can't you multiply vectors?
- The Test That Terence Tao Aced at Age 7
- The World's Best Mathematician (*) - Numberphile
- What is e and ln(x)? (Euler's Number and The Natural Logarithm)
- A Sensible Introduction to Category Theory
- What is Group Theory? — Group Theory Ep. 1
- Algebraic Topology 1: Homotopy Equivalence
- A Short Introduction to Entropy, Cross-Entropy and KL-Divergence
2025-07-16
2025-07-10
2025-06-27
2025-06-26
2025-06-05
2025-05-03
2025-04-272
2025-04-19
2025-03-182
2025-02-25
2025-01-25
2025-01-112
2025-01-10
2024-12-24
2024-12-225
2024-12-175
2024-12-162
2024-12-11
2024-12-07
2024-12-04
2024-12-036
2024-11-29
2024-11-21
2024-11-18
2024-11-12
2024-11-11
2024-08-21
2024-07-29
2024-07-272
2024-07-15
2024-07-02
2024-06-17
2024-06-123
2024-06-062
2024-05-27
2024-05-252
2024-04-06
2024-03-062
2024-02-16
2024-02-145
2024-01-31
2024-01-07
2024-01-054
2024-01-01
Subcategories
- algebraic_geometry (9)
- algebraic_topology (9)
- analysis (9)
- category_theory (74)
- education (4)
- entropy (8)
- geometry (1)
- group_theory (9)
- history (16)
- information_theory (36)
- learning_resources (11)
- linear_algebra (25)
- logic (66)
- measure_theory (4)
- non_euclidean_geometry (2)
- number_theory (1)
- numerical_analysis (2)
- statistics (16)
- symplectic_geometry (1)
- topology (5)