---
aliases:
  - inspo
cssclasses:
  - nolist
date: '2024-10-24'
description: My run-down version of are[dot]na
id: are.na
metadata:
  ebnf: |-
    channel        = "##" , ws , heading , newline , channel_body ;
    channel_body   = [ meta_section , newline ] , block , { block } ;
    block          = list_entry , newline , meta_section , { note_line } ;
    list_entry     = "-" , ws , link , [ ws "--" ws title ] , [ ws "[**]" ] ;
    meta_section   = ws , "-" , ws , "[meta]:" , newline , meta_pair , { meta_pair } ;
    meta_pair      = ws , ws , "-" , ws , key , ":" , ws , value ;
    key            = "date" | "tags" | "pinned" | "later" | "unlocked" | "socials" | "view" | identifier ;
    value          = date | tag_list | boolean | text ;
    tag_list       = "[" , tag , { "," , ws , tag } , "]" ;
    tag            = identifier ;
    date           = digit , digit , "/" , digit , digit , "/" , digit , digit , digit , digit ;
    boolean        = "true" | "false" ;
    note_line      = ws , "-" , ws , text ;
    link           = uri ;
    title          = text ;
    heading        = text ;
    identifier     = letter , { letter | digit | "-" } ;
    text           = { character - newline } ;
    uri            = ? valid http uri ? ;
    letter         = "a".."z" ;
    digit          = "0".."9" ;
    character      = ? any printable ascii except newline ? ;
modified: 2026-09-24 00:14:31 GMT-04:00
permalinks:
  - /website
  - /tweets
  - /resources
socials:
  are.na: https://www.are.na/aaron-pham/channels
  curius: /curius
  home: /
  print: https://print.are.na/
tags:
  - evergreen
  - llm
  - design
  - love
  - friend
  - r/pedagogy
  - alignment
  - philosophy
  - P-Complete
  - interpretability
  - math/linalg
title: '#math'
created: '2024-10-24'
published: '2024-10-24'
pageLayout: default
slug: arena/math
permalink: https://aarnphm.xyz/arena/math.md
generator:
  quartz: v4.6.0
  hostedProvider: Cloudflare
  baseUrl: aarnphm.xyz
full: https://aarnphm.xyz/llms-full.txt
---
# #math

- [wikipedia/en/Implicit\_function![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Implicit_function) — Implicit function

  - \[meta]:

    - date: 09/21/2026
    - tags: \["calculus","implicit functions"]
    - later: true

- [wikipedia/en/Morphism![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Morphism) — Morphism

  - \[meta]:

    - date: 09/21/2026
    - tags: \["category theory"]
    - later: true

- <https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf> — The Two Cultures of Mathematics

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math"]
    - later: true

- <https://onlinelibrary.wiley.com/doi/abs/10.1002/cpa.3160410508> — Unique continuation in geometry

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math"]
    - later: true

- <https://link.springer.com/book/10.1007/978-3-662-71224-5> — Elliptic Functions and Modular Forms

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math"]
    - later: true

- <https://math.andrej.com/wp-content/uploads/2006/05/kleene-tree.pdf> — Konig’s Lemma and Kleene Tree

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math"]
    - later: true

- <https://virtualmath1.stanford.edu/~vakil/0708-216> — Math 216: Foundations of algebraic geometry 2007-08

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math"]
    - later: true

- <https://courses.maths.ox.ac.uk/pluginfile.php/111561/mod_resource/content/1/Note_to_tutors.pdf> — Complex Analysis: Note to Tutors

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math","complex analysis"]
    - later: true

- <https://www.maths.ox.ac.uk/members/students/undergraduate-courses/teaching-and-learning/part-b-students/projects/part-b-projects> — Part B Projects | Mathematical Institute

  - \[meta]:

    - date: 09/15/2026
    - tags: \["math"]
    - later: true

- <https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/> — A Severe Misalignment of AI in Mathematics

  - \[meta]:

    - date: 09/12/2026
    - tags: \["ai","mathematics"]
    - later: true

- <https://mathandai.org/> — Math and AI Declaration

  - \[meta]:

    - date: 09/12/2026
    - tags: \["ai","mathematics"]
    - later: true

- <https://leidendeclaration.ai/> — Leiden Declaration on Artificial Intelligence and Mathematics

  - \[meta]:

    - date: 09/12/2026
    - tags: \["ai","mathematics"]
    - later: true

- <https://www.economist.com/science-and-technology/2026/09/11/top-mathematicians-are-outraged-by-openais-methods> — Top mathematicians are outraged by OpenAI’s methods

  - \[meta]:

    - date: 09/12/2026
    - tags: \["openai","mathematics"]
    - later: true

- [wikipedia/en/Barnsley\_fern![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Barnsley_fern) — Barnsley fern

  - \[meta]:

    - date: 08/26/2026
    - tags: \["fractals","iterated function systems"]
    - later: true

- [2311.03658![arXiv](/static/favicons/arxiv.avif)](https://arxiv.org/abs/2311.03658) ([Park et al., 2024](#bib-park2024linearrepresentationhypothesisgeometry)) — The Linear Representation Hypothesis and the Geometry of Large Language Models

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math","language models"]
    - later: true

- [https://en.m.wikipedia.org/wiki/Euler’s\_formula![Wikipedia](/static/favicons/wikipedia.svg)](https://en.m.wikipedia.org/wiki/Euler's_formula) — Euler’s formula - Wikipedia

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/> — Computer Scientists Combine Two Beautiful Proof Methods | Quanta Magazine

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://web.math.princeton.edu/~nsher/ricciflow.pdf> — ricciflow

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- [docs.google.com/1Ag\[...\]re0](https://docs.google.com/spreadsheets/u/1/d/1Agt4FBDX6IYRpjaGFumrn9OL9ttx8UxPpw2lgE98re0/htmlview) — The Mathematics of Banana Farms (Bloons TD 6)

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://research.colfax-intl.com/wp-content/uploads/2024/01/layout_algebra.pdf> — layout algebra

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf> — unit distance proof

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://ncatlab.org/nlab/show/category+theory> — category theory in nLab

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://www.jmilne.org/math/CourseNotes/AG.pdf> — AG

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://www.cs.utexas.edu/~dahlin/bookshelf/hamming.html> — Dr. R. W. Hamming’s Advice on Research

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://openai.com/index/ten-advances-in-mathematics/> — ten advances in mathematics

  - \[meta]:

    - date: 08/25/2026
    - tags: \["math"]
    - later: true

- <https://lionellevine.github.io/math-for-AI-safety__lionel-levine__cornell-oliver-club-talk__2024-08-29.pdf> — Math for AI safety

  - \[meta]:

    - date: 08/20/2026
    - tags: \["ai safety","mathematics"]
    - later: true

- <https://epoch.ai/frontiermath/open-problems/hadamard> — Hadamard Matrix of Order 668

  - \[meta]:

    - date: 08/20/2026
    - tags: \["hadamard matrices","open problems"]
    - later: true

- [wikipedia/en/Jacobian\_conjecture![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Jacobian_conjecture) — Jacobian conjecture

  - \[meta]:

    - date: 07/31/2026
    - tags: \["algebra","conjecture"]
    - later: true

- [youtube/v=MaOLt7gr7xY](https://www.youtube.com/watch?v=MaOLt7gr7xY) — Begin Proof - Daniel Litt

  - \[meta]:

    - date: 08/07/2026
    - tags: \["proofs","mathematics"]
    - later: true

- [youtube/v=3N9R0QIwDDQ](https://www.youtube.com/watch?v=3N9R0QIwDDQ) — AI solves ten major open math problems, OpenAI announces all ten in one single announcement

  - \[meta]:

    - date: 08/07/2026
    - tags: \["math","ai"]
    - later: true

- [youtube/v=sXZYo9pPaaA](https://www.youtube.com/watch?v=sXZYo9pPaaA) — Terry Tao’s GPT chatlog re: Jacobian conjecture

  - \[meta]:

    - date: 08/07/2026
    - tags: \["terence tao","jacobian conjecture"]
    - later: true

- <https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/> — A digestion of the Jacobian conjecture counterexample

  - \[meta]:

    - date: 07/31/2026
    - tags: \["jacobian conjecture","algebra"]
    - later: true

- [2607.24136![arXiv](/static/favicons/arxiv.avif)](https://arxiv.org/abs/2607.24136) ([Schwer, 2026](#bib-schwer2026readmathematicsstudyguide)) — How to read Mathematics? A study guide

  - \[meta]:

    - date: 07/28/2026
    - tags: \["math","study guide"]
    - later: true

- [youtube/v=tY7jac-iPA4](https://www.youtube.com/watch?v=tY7jac-iPA4) — how to understand all of lie algebras with one picture

  - \[meta]:

    - date: 07/04/2026
    - tags: \["lie algebras","math"]
    - later: true

- [youtube/v=triNEat764M](https://www.youtube.com/watch?v=triNEat764M) — How Compactness Was Invented

  - \[meta]:

    - date: 07/04/2026
    - tags: \["compactness","topology"]
    - later: true

- [youtube/v=bD8kjpynF6A](https://www.youtube.com/watch?v=bD8kjpynF6A) — Algebra - It’s not what you think it is!

  - \[meta]:

    - date: 07/04/2026
    - tags: \["algebra","math"]
    - later: true

- [youtube/v=roP\_HC7tiXw](https://www.youtube.com/watch?v=roP_HC7tiXw) — What is a Monad? Math vs Computer Science

  - \[meta]:

    - date: 07/04/2026
    - tags: \["monads","category theory"]
    - later: true

- [youtube/v=td7Nz9ATyWY](https://www.youtube.com/watch?v=td7Nz9ATyWY) — The Concept So Much of Modern Math is Built On: Compactness

  - \[meta]:

    - date: 07/04/2026
    - tags: \["compactness","math"]
    - later: true

- [youtube/v=oCNQhTpyMgE](https://www.youtube.com/watch?v=oCNQhTpyMgE) — Kan Academy: Intro to Colimits

  - \[meta]:

    - date: 07/04/2026
    - tags: \["colimits","category theory"]
    - later: true

- [youtube/v=p2bFLG\_Q7Lo](https://www.youtube.com/watch?v=p2bFLG_Q7Lo) — WTF is Sheafification??

  - \[meta]:

    - date: 07/04/2026
    - tags: \["sheafification","category theory"]
    - later: true

- [youtube/v=oVaSA\_b938U](https://www.youtube.com/watch?v=oVaSA_b938U) — Factorials, prime numbers, and the Riemann Hypothesis

  - \[meta]:

    - date: 07/04/2026
    - tags: \["riemann hypothesis","number theory"]
    - later: true

- [youtube/v=ZErN6SBJGUk](https://www.youtube.com/watch?v=ZErN6SBJGUk) — the famous goat problem

  - \[meta]:

    - date: 07/04/2026
    - tags: \["problem solving","math"]
    - later: true

- [youtube/v=kCTpfqRJ2kk](https://www.youtube.com/watch?v=kCTpfqRJ2kk) — Algebraic Topology 0: Cell Complexes

  - \[meta]:

    - date: 07/04/2026
    - tags: \["algebraic topology","cell complexes"]
    - later: true

- [youtube/v=XxFGokyYo6g](https://www.youtube.com/watch?v=XxFGokyYo6g) — History of Algebraic Topology; Homotopy Equivalence

  - \[meta]:

    - date: 07/03/2026
    - tags: \["algebraic topology","homotopy"]
    - later: true

- [youtube/v=PXIcas22MtQ](https://www.youtube.com/watch?v=PXIcas22MtQ) — Topology - Bruno Zimmerman - Lecture 01

  - \[meta]:

    - date: 07/03/2026
    - tags: \["topology","lecture"]
    - later: true

- [youtube/v=BPSEpDq6QYc](https://www.youtube.com/watch?v=BPSEpDq6QYc) — Lecture 1 | Mean curvature flow

  - \[meta]:

    - date: 07/03/2026
    - tags: \["mean curvature flow","geometry"]
    - later: true

- [youtube/v=JHEO7cplfk8](https://www.youtube.com/watch?v=JHEO7cplfk8) — Formalizing a proof in Lean using Claude Code

  - \[meta]:

    - date: 07/03/2026
    - tags: \["lean","proof"]
    - later: true

- [youtube/v=Q8Fkpi18QXU](https://www.youtube.com/watch?v=Q8Fkpi18QXU) — Terence Tao on how the world’s top mathematician uses AI

  - \[meta]:

    - date: 07/03/2026
    - tags: \["terence tao","ai"]
    - later: true

- [youtube/v=GcbLL4C3VwY](https://www.youtube.com/watch?v=GcbLL4C3VwY) — Computational Complexity and Explanations in Physics

  - \[meta]:

    - date: 07/02/2026
    - tags: \["complexity","physics"]
    - later: true

- [youtube/v=60z\_hpEAtD8](https://www.youtube.com/watch?v=60z_hpEAtD8) — A Swift Introduction to Geometric Algebra

  - \[meta]:

    - date: 07/02/2026
    - tags: \["geometric algebra","math"]
    - later: true

- [youtube/v=tprlQMClSYQ](https://www.youtube.com/watch?v=tprlQMClSYQ) — Maryam Mirzakhani, Dynamics Moduli Spaces of Curves I

  - \[meta]:

    - date: 07/02/2026
    - tags: \["mirzakhani","moduli spaces"]
    - later: true

- [youtube/v=ScX2aBFyrVU](https://www.youtube.com/watch?v=ScX2aBFyrVU) — Information Theory, Lecture 1

  - \[meta]:

    - date: 07/02/2026
    - tags: \["information theory","entropy"]
    - later: true

- [youtube/v=IfClFdFq2gE](https://www.youtube.com/watch?v=IfClFdFq2gE) — Hyperbolic Manifolds, Their Submanifolds and Fundamental Groups

  - \[meta]:

    - date: 07/02/2026
    - tags: \["hyperbolic manifolds","geometry"]
    - later: true

- [youtube/v=I3GWzXRectE](https://www.youtube.com/watch?v=I3GWzXRectE) — Introductory Calculus: Oxford Mathematics 1st Year Student Lecture

  - \[meta]:

    - date: 07/02/2026
    - tags: \["calculus","lecture"]
    - later: true

- <https://x.com/arnal_charles/status/2060009395107377282> — ATLAS Lean 4 formalization corpus

  - \[meta]:

    - date: 05/28/2026
    - tags: \["lean","formalization"]
    - later: true

- <https://scottaaronson.blog/?p=9875> — 50 Years of Aumann’s Agreement Theorem

  - \[meta]:

    - date: 06/30/2026
    - tags: \["game theory","common knowledge"]
    - later: true

- <https://web.archive.org/web/20131204014112/http://nautil.us/issue/5/fame/the-twin-prime-hero> — The Twin Prime Hero

  - \[meta]:

    - date: 06/28/2026
    - tags: \["number theory","biography"]
    - later: true

- <https://alisawuffles.notion.site/math-notes#3737eb873605809ca215e58da9e184f6> — Math Notes

  - \[meta]:

    - date: 06/28/2026
    - tags: \["math","notes"]
    - later: true

- <https://ncatlab.org/nlab/show/algebra+over+a+monad> — algebra over a monad

  - \[meta]:

    - date: 06/28/2026
    - tags: \["category theory","monads"]
    - later: true

- <https://www.reddit.com/r/math/comments/ap25mr/a_monad_is_a_monoid_in_the_category_of/> — A monad is a monoid in the category of endofunctors, what’s the problem?

  - \[meta]:

    - date: 06/28/2026
    - tags: \["category theory","monads"]
    - later: true

- <https://x.com/Math_files/status/2017819748801909247> — Matiyasevich formula for pi and Fibonacci numbers

  - \[meta]:

    - date: 02/01/2026
    - tags: \["fibonacci","pi"]
    - later: true

- <https://x.com/davidbessis/status/2010598547008454863> — failing math is not IQ

  - \[meta]:

    - date: 01/12/2026
    - tags: \["learning","mathematics"]
    - later: true

- <https://x.com/getjonwithit/status/2010917591682810024> — becoming a pure mathematician

  - \[meta]:

    - date: 01/13/2026
    - tags: \["mathematics","career"]
    - later: true

- <https://x.com/gro_tsen/status/2011821205737582796> — Serre group anecdote

  - \[meta]:

    - date: 01/15/2026
    - tags: \["mathematics","naming"]
    - later: true

- [wikipedia/en/Abelian\_group![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Abelian_group) — Abelian group

  - \[meta]:

    - date: 06/22/2026
    - tags: \["algebra","group theory"]
    - later: true

- [wikipedia/en/Sheaf\_(mathematics)![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Sheaf_\(mathematics\)) — Sheaf

  - \[meta]:

    - date: 06/22/2026
    - tags: \["topology","algebraic geometry"]
    - later: true

- [wikipedia/en/Clopen\_set![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Clopen_set) — Clopen set

  - \[meta]:

    - date: 06/22/2026
    - tags: \["topology"]
    - later: true

- [wikipedia/en/Set-builder\_notation![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Set-builder_notation) — Set-builder notation

  - \[meta]:

    - date: 06/22/2026
    - tags: \["set theory","notation"]
    - later: true

- [wikipedia/en/Sprague–Grundy\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Sprague%E2%80%93Grundy_theorem) — Sprague-Grundy theorem

  - \[meta]:

    - date: 06/22/2026
    - tags: \["game theory","combinatorics"]
    - later: true

- [wikipedia/en/Nim![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Nim) — Nim

  - \[meta]:

    - date: 06/22/2026
    - tags: \["game theory","combinatorics"]
    - later: true

- [wikipedia/en/Cantor's\_intersection\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Cantor%27s_intersection_theorem) — Cantor’s intersection theorem

  - \[meta]:

    - date: 06/22/2026
    - tags: \["topology","real analysis"]
    - later: true

- [wikipedia/en/Zermelo–Fraenkel\_set\_theory![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory) — Zermelo-Fraenkel set theory

  - \[meta]:

    - date: 06/22/2026
    - tags: \["set theory","logic"]
    - later: true

- [wikipedia/en/Algebra\_over\_a\_field![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Algebra_over_a_field) — Algebra over a field

  - \[meta]:

    - date: 06/22/2026
    - tags: \["algebra","field theory"]
    - later: true

- [wikipedia/en/Voronoi\_diagram![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Voronoi_diagram) — Voronoi diagram

  - \[meta]:

    - date: 06/22/2026
    - tags: \["geometry","computational geometry"]
    - later: true

- [wikipedia/en/Bijection,\_injection\_and\_surjection![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Bijection,_injection_and_surjection) — Bijection, injection and surjection

  - \[meta]:

    - date: 06/22/2026
    - tags: \["set theory","functions"]
    - later: true

- [https://en.wikipedia.org/wiki/Ordered\_pair#Kuratowski’s\_definition![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Ordered_pair#Kuratowski's_definition) — Ordered pair

  - \[meta]:

    - date: 06/22/2026
    - tags: \["set theory","foundations"]
    - later: true

- [wikipedia/en/Einstein\_notation![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Einstein_notation) — Einstein notation

  - \[meta]:

    - date: 06/22/2026
    - tags: \["tensor calculus","notation"]

- [wikipedia/en/Cantor's\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Cantor%27s_theorem) — Cantor’s theorem

  - \[meta]:

    - date: 06/22/2026
    - tags: \["set theory","cardinality"]

- [wikipedia/en/Poincaré–Bendixson\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Poincar%C3%A9%E2%80%93Bendixson_theorem) — Poincare-Bendixson theorem

  - \[meta]:

    - date: 06/22/2026
    - tags: \["dynamical systems"]
    - later: true

- [https://en.wikipedia.org/wiki/Perron–Frobenius\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Perron%E2%80%93Frobenius_theorem) — Perron-Frobenius theorem

  - \[meta]:

    - date: 06/22/2026
    - tags: \["linear algebra","matrix"]
    - later: true

- [weisberg\_vob.pdf](/thoughts/pdfs/weisberg_vob.pdf) — Varieties of Bayesianism

  - \[meta]:

    - date: 06/18/2026
    - tags: \["probability","life"]

- <https://www.grantstenger.com/local-minima> — Why Local Minima Are Rare in High-Dimensional Landscapes

  - \[meta]:

    - date: 06/17/2026
    - tags: \["matrix","linear algebra"]

- [mat67\_course\_notes.pdf](/thoughts/pdfs/mat67_course_notes.pdf) — Linear Algebra As an Introduction to Abstract Mathematics

  - \[meta]:

    - date: 06/17/2026
    - tags: \["linear algebra"]

- [wikipedia/en/Conformal\_map![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Conformal_map) — Conformal map

  - \[meta]:

    - date: 06/11/2026
    - tags: \["complex analysis"]
    - later: true

- [wikipedia/en/Extreme\_value\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Extreme_value_theorem) — Extreme value theorem

  - \[meta]:

    - date: 06/11/2026
    - tags: \["real analysis"]
    - later: true

- [wikipedia/en/Meijer\_G-function![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Meijer_G-function) — Meijer G-function

  - \[meta]:

    - date: 06/11/2026
    - tags: \["special functions"]
    - later: true

- [wikipedia/en/Latent\_and\_observable\_variables![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Latent_and_observable_variables) — Latent and observable variables

  - \[meta]:

    - date: 06/11/2026
    - tags: \["statistics","modeling"]
    - later: true

- [wikipedia/en/Lindemann–Weierstrass\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem) — Lindemann-Weierstrass theorem

  - \[meta]:

    - date: 06/11/2026
    - tags: \["number theory","transcendence"]
    - later: true

- [wikipedia/en/Sesquilinear\_form![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Sesquilinear_form) — Sesquilinear form

  - \[meta]:

    - date: 06/11/2026
    - tags: \["linear algebra"]
    - later: true

- [wikipedia/en/Euler\_spiral![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Euler_spiral) — Euler spiral

  - \[meta]:

    - date: 06/11/2026
    - tags: \["geometry","curves"]
    - later: true

- [wikipedia/en/Special\_linear\_Lie\_algebra![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Special_linear_Lie_algebra) — Special linear Lie algebra

  - \[meta]:

    - date: 06/11/2026
    - tags: \["lie algebra"]
    - later: true

- [wikipedia/en/Correlation![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Correlation) — Correlation

  - \[meta]:

    - date: 06/11/2026
    - tags: \["statistics"]
    - later: true

- [wikipedia/en/Miller–Rabin\_primality\_test![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test) — Miller-Rabin primality test

  - \[meta]:

    - date: 06/11/2026
    - tags: \["number theory","algorithm"]
    - later: true

- [wikipedia/en/Pollard's\_rho\_algorithm![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Pollard%27s_rho_algorithm) — Pollard’s rho algorithm

  - \[meta]:

    - date: 06/11/2026
    - tags: \["number theory","algorithm"]
    - later: true

- [wikipedia/en/Stern–Brocot\_tree![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Stern%E2%80%93Brocot_tree) — Stern-Brocot tree

  - \[meta]:

    - date: 06/11/2026
    - tags: \["number theory","fractions"]
    - later: true

- [wikipedia/en/Naive\_set\_theory![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Naive_set_theory) — Naive set theory

  - \[meta]:

    - date: 06/11/2026
    - tags: \["set theory"]
    - later: true

- [wikipedia/en/Differential\_geometry![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Differential_geometry) — Differential geometry

  - \[meta]:

    - date: 06/11/2026
    - tags: \["geometry","manifolds"]
    - later: true

- [wikipedia/en/Open\_set![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Open_set) — Open set

  - \[meta]:

    - date: 06/11/2026
    - tags: \["topology"]
    - later: true

- [wikipedia/en/Set\_(mathematics)![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Set_\(mathematics\)) — Set

  - \[meta]:

    - date: 06/11/2026
    - tags: \["set theory"]
    - later: true

- [wikipedia/en/Bradley–Terry\_model![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Bradley%E2%80%93Terry_model) — Bradley-Terry model

  - \[meta]:

    - date: 06/11/2026
    - tags: \["statistics","ranking"]
    - later: true

- [wikipedia/en/Lagrange\_polynomial![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Lagrange_polynomial) — Lagrange polynomial

  - \[meta]:

    - date: 06/10/2026
    - tags: \["interpolation","polynomial"]
    - later: true

- [wikipedia/en/Sinkhorn's\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Sinkhorn%27s_theorem) — Sinkhorn’s theorem

  - \[meta]:

    - date: 06/10/2026
    - tags: \["matrix","scaling"]
    - later: true

- [wikipedia/en/Haar\_measure![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Haar_measure#The_modular_function) — Haar measure

  - \[meta]:

    - date: 06/10/2026
    - tags: \["measure theory","groups"]
    - later: true

- [wikipedia/en/Hyperhomology![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Hyperhomology) — Hyperhomology

  - \[meta]:

    - date: 06/10/2026
    - tags: \["homological algebra"]
    - later: true

- [wikipedia/en/Marginal\_distribution![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Marginal_distribution) — Marginal distribution

  - \[meta]:

    - date: 06/10/2026
    - tags: \["probability","statistics"]
    - later: true

- [wikipedia/en/Serre\_group![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Serre_group) — Serre group

  - \[meta]:

    - date: 06/10/2026
    - tags: \["algebraic geometry","groups"]
    - later: true

- [wikipedia/en/Rouché's\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Rouch%C3%A9%27s_theorem) — Rouché’s theorem

  - \[meta]:

    - date: 06/10/2026
    - tags: \["complex analysis"]
    - later: true

- [wikipedia/en/Gale–Shapley\_algorithm![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Gale%E2%80%93Shapley_algorithm) — Gale-Shapley algorithm

  - \[meta]:

    - date: 06/10/2026
    - tags: \["matching","algorithm"]
    - later: true

- [wikipedia/en/Neumorphism![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Neumorphism) — Neumorphism

  - \[meta]:

    - date: 06/10/2026
    - tags: \["category theory"]
    - later: true

- [wikipedia/en/Fundamental\_group![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Fundamental_group) — Fundamental group

  - \[meta]:

    - date: 06/10/2026
    - tags: \["topology","algebra"]
    - later: true

- [wikipedia/en/Birth–death\_process![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Birth%E2%80%93death_process) — Birth-death process

  - \[meta]:

    - date: 06/10/2026
    - tags: \["stochastic process"]
    - later: true

- [wikipedia/en/Estimation\_lemma![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Estimation_lemma) — Estimation lemma

  - \[meta]:

    - date: 06/10/2026
    - tags: \["complex analysis"]
    - later: true

- [https://www.lesswrong.com/w/arithmetical-hierarchy?lens=arithmetical-hierarchy-if-you-don-t-read-logic![LessWrong](/static/favicons/lesswrong.avif)](https://www.lesswrong.com/w/arithmetical-hierarchy?lens=arithmetical-hierarchy-if-you-don-t-read-logic) — Arithmetical hierarchy

  - \[meta]:

    - date: 06/09/2026
    - tags: \["logic"]
    - later: true

- [lesswrong/the-crackpot-offer![LessWrong](/static/favicons/lesswrong.avif)](https://www.lesswrong.com/posts/qRWfvgJG75ESLRNu9/the-crackpot-offer) — The Crackpot Offer

  - \[meta]:

    - date: 06/09/2026
    - tags: \["math","epistemology"]
    - later: true

- [lesswrong/the-solomonoff-prior-is-malign![LessWrong](/static/favicons/lesswrong.avif)](https://www.lesswrong.com/posts/Tr7tAyt5zZpdTwTQK/the-solomonoff-prior-is-malign) — The Solomonoff Prior is Malign

  - \[meta]:

    - date: 06/09/2026
    - tags: \["solomonoff","agency"]
    - later: true

- <https://cse442-17f.github.io/LinUCB/> — Multi-Armed Bandit Theory

  - \[meta]:

    - date: 06/08/2026
    - tags: \["economics","game theory"]

- <https://ncatlab.org/nlab/show/homotopy+theory> — Homotopy Theory

  - \[meta]:

    - date: 06/08/2026
    - tags: \["math","topology"]
    - later: true

- [wikipedia/en/De\_Finetti's\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/De_Finetti%27s_theorem) — De Finetti’s theorem

  - \[meta]:

    - date: 06/05/2026
    - tags: \["probability"]

- [open-spaced-repetition/awesome-fsrs](https://github.com/open-spaced-repetition/awesome-fsrs/wiki/The-Algorithm) — FSRS algorithm

  - \[meta]:

    - date: 06/05/2026
    - socials: {"wikipedia":"wikipedia/en/Spaced\_repetition"}
    - tags: \["memory","pedagogy"]

- [wikipedia/en/L-system![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/L-system) — Lindenmayer system \[\*\*]

  - \[meta]:

    - date: 06/04/2026
    - socials: {"aip":"https\://www\.aip.org/inside-science/uncovering-da-vincis-rule-of-the-trees"}
    - tags: \["grammar","formal system"]
    - highlighted: true

- <https://oeis.org/A036561> — The Online Encyclopedia of Integer Sequences

  - \[meta]:

    - date: 06/04/2026
    - tags: \["foundry"]

- <https://www.abelianpi.dev/post/lean-prove-1080-sets> — Using Lean to prove 1080 sets

  - \[meta]:

    - date: 05/27/2026
    - tags: \["formal proof","sets"]
    - later: true

- [youtube/v=P2HZelQm7Lw](https://www.youtube.com/watch?v=P2HZelQm7Lw) — Legrendre Transform

  - \[meta]:

    - date: 05/25/2026
    - tags: \["algebra","static analysis"]

- [wikipedia/en/Rule\_110![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Rule_110) — Rule 110

  - \[meta]:

    - date: 05/25/2026
    - tags: \["automata"]

  - <https://content.wolfram.com/sites/13/2018/02/15-1-1.pdf>

- [wikipedia/en/Stable\_matching\_problem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Stable_matching_problem) — Stable matching problem

  - \[meta]:

    - date: 05/25/2026
    - tags: \["optimization"]
    - pinned: true

  - [https://en.wikipedia.org/wiki/Gale–Shapley\_algorithm![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Gale%E2%80%93Shapley_algorithm)

- [wikipedia/en/Perceptron![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Perceptron) — Perceptron

  - \[meta]:

    - date: 05/25/2026
    - tags: \["information theory"]

- [wikipedia/en/Euler\_characteristic![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Euler_characteristic) — Euler characteristics

  - \[meta]:

    - date: 05/25/2026
    - tags: \["topology"]

- <https://x.com/joincolossus/status/1981323901192843612> — Taste in Math

  - \[meta]:

    - date: 10/24/2025
    - tags: \["math"]

  - <https://x.com/klyap_/status/1981529243189465163>

- <https://x.com/jeremyphoward/status/1980973242438570325> — Learning math through the act of working through ML problems.

  - \[meta]:

    - date: 10/24/2025
    - tags: \["math"]

  - imitation learning

  - see also: <https://x.com/TacoCohen/status/1981278509663129912>

- <https://x.com/cloneofsimo/status/1988752407799689616> — Gaussian is the best form of signal and noise provider

  - \[meta]:

    - date: 11/12/2025
    - tags: \["math"]

- <https://x.com/_Dave__White_/status/1947461492783386827> — OpenAI IMO news hits mathematicians

  - \[meta]:

    - date: 12/04/2025
    - tags: \["logic","math"]

- <https://x.com/jessemhan/status/2000659168773202340> — mechanized proof for definition of a mathematicians to be then widen

  - \[meta]:

    - date: 12/15/2025
    - tags: \["math","agi"]

- <https://x.com/MathGuyTFL/status/2003805778088714487> — transformations of functions

  - \[meta]:

    - date: 12/26/2025
    - tags: \["lagrangian","series"]

- [youtube/v=\_Hp11d1Z-78](https://www.youtube.com/watch?v=_Hp11d1Z-78) — Lagrangian vs Newtonian Mechanics

  - \[meta]:

    - date: 01/26/2026
    - tags: \["physics","math","theory"]

- <https://ffbandf.wordpress.com/> — Forking, Forcing and back\&Forthing

  - \[meta]:

    - date: 01/13/2026
    - tags: \["math"]
    - later: true

- [https://en.wikipedia.org/wiki/Bradley–Terry\_model![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Bradley%E2%80%93Terry_model) — Bradley–Terry model \[\*\*]

  - \[meta]:

    - date: 05/25/2026
    - tags: \["bayesian","probability"]
    - highlighted: true

- [https://en.wikipedia.org/wiki/Lindemann–Weierstrass\_theorem![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem) — Lindemann-Weierstrass theorem

  - \[meta]:

    - date: 05/17/2026
    - tags: \["number theory"]
    - pinned: true

- [wikipedia/en/Schanuel's\_conjecture![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Schanuel%27s_conjecture) — Schanuel’s conjecture

  - \[meta]:

    - date: 05/17/2026
    - tags: \["number theory"]
    - pinned: true

- <https://mathstodon.xyz/@tao/116438112449752681> — Framing towards math, Terrence Tao

  > “The history of every major galactic civilization tends to pass through three distinct and recognizable phases, those of Survival, Inquiry and Sophistication, otherwise known as the How, Why, and Where phases. For instance, the first phase is characterized by the question ‘How can we eat?’, the second by the question ‘Why do we eat?’ and the third by the question, ‘Where shall we have lunch?’” (Douglas Adams, “The Hitchhiker’s Guide to the Galaxy”)

  - \[meta]:

    - date: 04/29/2026
    - tags: \["maths"]

- <https://x.com/davidbessis/status/2015756436081357110> — Lifecycle of a pure math theorem

  - \[meta]:

    - date: 01/26/2026
    - tags: \["proof","conjecture"]

- [youtube/v=Xd0YBQUre4w](https://www.youtube.com/watch?v=Xd0YBQUre4w) — Information Theory, Lecture 8: Tunstall’s code

  - \[meta]:

    - date: 01/20/2026
    - socials: {"wikipedia":"wikipedia/en/Tunstall\_coding"}
    - tags: \["information theory","math"]

- <https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html> — Broken proofs and broken provers \[\*\*]

  - \[meta]:

    - date: 01/17/2026
    - tags: \["verification","errors"]
    - highlighted: true
    - importance: 7

  - > A close examination of almost any proof published in a mathematics journal will identify errors. Most are easy to fix, but the persistence of errors must undermine our confidence in published mathematics.

  - > The result of Problem 11 contradicts the results announceed by Levy \[1963b]. Unfortunately, the construction presented there cannot be completed.
    >
    > The transfer to ZF was also claimed by Marek \[1966] but the outlined method appears to be unsatisfactory and has not been published
    >
    > A contradicting result was announced and later withdrawn by Truss \[1970]
    >
    > The example in Problem 22 is a counterexample to another condition of Mostowski, who conjectured its sufficiency and singled out this example as a test case.
    >
    > The independence result contradicts the claim of Felgner \[1969] that the Confinality Principle imples the Axiom of Choice. An error has been found by Morris (see Felgner's corrects to \[1969])
    >
    > T.J. Jech, _The Axiom of Choice_

  - In my corner of the world of interactive theorem proving, we take soundness seriously. Mike Gordon strongly promoted a _definitional approach_: no axioms ever, all proof developments built upon pure higher-logic from definitions alone, to avoid any danger of inconsistency

- <https://www.erdosproblems.com/forum/thread/397> — Erdos problems 397, solved with GPT-5.2

  - \[meta]:

    - date: 01/14/2026
    - tags: \["agentic","mathematics"]
    - importance: 9

- <https://x.com/getjonwithit/status/2009602836997505255> — Mathematics is not a closed systems

  - \[meta]:

    - date: 01/10/2026
    - tags: \["arguments","mathematics","longtermism"]
    - pinned: true

- <https://pages.jh.edu/rrynasi1/FoundationsOFMath/Literature/Topology/Vickers1989TopologyViaLogic.pdf> — Topology via logic

  - \[meta]:

    - date: 01/03/2026
    - tags: \["topology"]

- <https://projecteuclid.org/journals/rocky-mountain-journal-of-mathematics/volume-19/issue-3/Fundamentals-of-analysis-over-surreal-number-fields/10.1216/RMJ-1989-19-3-565.pdf#page=3> — Fundamentals of analysis over surreal numbers fields

  - \[meta]:

    - date: 01/02/2026
    - tags: \["number theory","field theory"]
    - later: true

  - The Tarski Principle informs us that, concerning first order statements, all real-closed fields are created equal. Thus the field R of all real-numbers and the field R0​ of all real-algebraic numbers have the same first order theory; however, their higher order theories are quite different. For example, R is Dedekind-complete and is a vast transcendental extension of its prime field, whereas R0​ is not Dedekind-complete and is an algebraic extension of its prime field. The surreal number fields ξNo are all real-closed. They have extraordinary higher order properties, which allow one to do analysis over them, as we will see below.

- [youtube/v=4ykbHwZQ8iU](https://www.youtube.com/watch?v=4ykbHwZQ8iU) — Terrence Tao on future of mathematics

  - \[meta]:

    - date: 01/01/2026
    - tags: \["solver","proofs"]

- <https://www.quantamagazine.org/toward-a-grand-unified-theory-of-snowflakes-20191219/> — Toward a Grand Unified Theory of Snowflakes

  - \[meta]:

    - date: 12/26/2025
    - tags: \["physics","generalisation"]

- <https://tsvibt.github.io/theory/pages/bl_24_07_25_09_52_56_652909.html> — Algebraicness

  - \[meta]:

    - date: 12/18/2025
    - tags: \["complexity theory"]
    - later: true

- <https://web.archive.org/web/20220913080819/https://forum.azimuthproject.org/discussion/2247/lecture-44-chapter-3-categories-functors-and-natural-transformations/p1> — Categories, Functors, and Natural Transformations

  - \[meta]:

    - date: 12/18/2025
    - tags: \["category theory"]

- <https://www.umsu.de/blog/2025/823> — Gödel, Mechanism, Paradox

  - \[meta]:

    - date: 12/17/2025
    - tags: \["set theory"]

- <https://mathcs.holycross.edu/~ahwang/print/calc.pdf> — Calculus for Matehmaticians, Computer Scientists, and Physicists

  - \[meta]:

    - date: 12/11/2025
    - tags: \["abstract algebra"]
    - later: true

- [youtube/v=eEGNdjdxeG8](https://www.youtube.com/watch?v=eEGNdjdxeG8\&t=38s) — Linial—Meshulam Complexes, Michael Chapman

  - \[meta]:

    - date: 12/08/2025
    - tags: \["topology"]

- [youtube/v=nygzk8FU8MQ](https://www.youtube.com/watch?v=nygzk8FU8MQ) — Robert Lipshitz - Computing a square on Khovanov homology

  - \[meta]:

    - date: 12/03/2025
    - tags: \["homology"]

- <https://math.mit.edu/~goemans/18433S13/matching-notes.pdf> — Lectures notes on bipartite matching

  - \[meta]:

    - date: 12/02/2025
    - tags: \["graph theory","optimization"]

- <https://leokayser.github.io/assets/pdf/papers/Groebner_Bases_and_Their_Complexity.pdf> — Groebner Bases and their Complexity

  - \[meta]:

    - date: 11/30/2025
    - tags: \["linear algebra","cs"]

- <https://www.feynmanlectures.caltech.edu/II_18.html> — The Maxwell Equations

  - \[meta]:

    - date: 11/30/2025
    - tags: \["physics"]

- [wikipedia/en/Submodular\_set\_function![Wikipedia](/static/favicons/wikipedia.svg)](https://en.wikipedia.org/wiki/Submodular_set_function) — Submodular set function

  - \[meta]:

    - date: 11/15/2025
    - tags: \["sets","tcs"]

- [youtube/v=FfT5VTfHj\_s](https://www.youtube.com/watch?v=FfT5VTfHj_s) — Stanford AA228 Decision Making Under Uncertainty | Autumn 2025 | Bayesian Structure Learning

  - \[meta]:

    - date: 11/13/2025
    - tags: \["statistics","todo","ml"]

- [youtube/v=0641zdeGsN8](https://www.youtube.com/watch?v=0641zdeGsN8) — 2025 Hamilton Lecture: ‘My romance with the warped side of our universe’

  - \[meta]:

    - date: 11/12/2025
    - tags: \["string theory","topology"]

- [youtube/v=HpRi3OQtyLk](https://www.youtube.com/watch?v=HpRi3OQtyLk) — Refined THH Over ku and Habiro Cohomology - Ferdinand Wagner

  - \[meta]:

    - date: 11/04/2025
    - tags: \["topology"]

- [youtube/v=4Iejh8qTPJ4](https://www.youtube.com/watch?v=4Iejh8qTPJ4) — Chris Skinner, The Birch—Swinnerton-Dyer Conjecture: a millennium prize problem at 25

  - \[meta]:

    - date: 11/03/2025
    - tags: \["problem","conjecture","pde"]

- [youtube/v=BaDxv5Z4LkU](https://www.youtube.com/watch?v=BaDxv5Z4LkU) — An update on [Navier-Stokes](/thoughts/Navier-Stokes-equations) Problem

  - \[meta]:

    - date: 10/31/2025
    - tags: \["millenium problem"]

- [youtube/v=60X5M1FhmUc](https://www.youtube.com/watch?v=60X5M1FhmUc\&t=164s) — Michael Freedman | The Poincaré Conjecture and Mathematical Discovery

  - \[meta]:

    - date: 10/29/2025
    - tags: \["topology"]

- [youtube/v=oIhdrMh3UJw](https://www.youtube.com/watch?v=oIhdrMh3UJw) — Symmetric Derivative and Generalized Pseudoderivative

  - \[meta]:

    - date: 10/27/2025
    - tags: \["linear algebra"]

- <https://www.ma.imperial.ac.uk/~buzzard/maths/research/notes/sp2n.pdf> — Overconvergent Siegel Modular Symbols

  - \[meta]:

    - date: 10/24/2025
    - tags: \["papers","modular form"]

- [youtube/v=44hfoihYfJ0](https://www.youtube.com/watch?v=44hfoihYfJ0) — Towards a Geometric Theory of Deep Learning \[\*\*]

  - \[meta]:

    - date: 10/12/2025
    - tags: \["dl"]
    - highlighted: true

- [youtube/v=f4NDXEQhBvo](https://www.youtube.com/watch?v=f4NDXEQhBvo) — The shape of mathematics \[\*\*]

  - \[meta]:

    - date: 10/12/2025
    - tags: \["ml","geometric theory"]
    - highlighted: true

- [youtube/v=60X5M1FhmUc](https://www.youtube.com/watch?v=60X5M1FhmUc) — Michael Freedman | The Poincaré Conjecture and Mathematical Discovery

  - \[meta]:

    - date: 10/12/2025
    - tags: \["math"]

- <https://userweb.ucs.louisiana.edu/~isb9112/dept/phil341/subsymbol/subsymbol.html> — wtf is a subsymbol?

  - \[meta]:

    - date: 10/08/2025
    - tags: \["math","ml"]

  - Smolensky view

- <https://leimao.github.io/blog/Tensor-Calculus-Layout-Conventions/> — Tensor Calculus Layout Conventions

  - \[meta]:

    - date: 10/07/2025
    - tags: \["tensor calculus"]

- <https://leimao.github.io/article/Automatic-Differentiation/> — [Automatic Differentiation](/thoughts/Automatic-Differentiation)

  - \[meta]:

    - date: 10/07/2025
    - tags: \["autograd"]

  - see also:

    - <https://leimao.github.io/blog/Automatic-Differentiation-Revisited/>
    - <https://leimao.github.io/blog/Compute-Hessian-Automatic-Differentiation/>

- <https://www.yudhister.me/2025-08-20/> — linear contracts as optimally robust

  - \[meta]:

    - date: 10/05/2025
    - tags: \["linear algebra"]

  - Motivating example: w(y)=αy always guarantees the principal Alice positive worst-case payoff, for α∈\[0,1]. This analysis holds independently of the possible technology A due to the nontriviality assumption we impose on A0​

    _proof_: Rewrite y−w(y) as αw(y)​−w(y)=α1−α​w(y). Lower bound EF​\[w(y)] (the expected payment of Bob the agent) with

    EF​\[w(y)]≥EF​\[w(y)]−c=VA​(w∣A),

    which is ≥VA​(w∣A0​) (because adding more actions to the agent can’t decrease the optimal outcome given A0​).

    Combining the two gives

    EF​\[y−w(y)]≥α1−α​EF​\[w(y)]≥α1−α​VA​(w∣A0​),

    which gives

    VP​(w)≥α1−α​VA​(w∣A0​).

    Given the nontriviality assumption VA​(w∣A0​)>0, this means that this gives Alice a positive lower bound on the worst-case outcome independent of the choice of technology A! ​

- [youtube/v=-j8PzkZ70Lg](https://www.youtube.com/watch?v=-j8PzkZ70Lg) — Laplace Transform, demystified

  - \[meta]:

    - date: 10/06/2025
    - tags: \["math","ode"]

- <https://jiha-kim.github.io/posts/reducing-probability-to-arithmetic/> — Reducing Probability to Arithmetic \[\*\*]

  - \[meta]:

    - date: 10/06/2025
    - tags: \["math","probability"]
    - highlighted: true

  - reduce aspects of probability and set theory to algebraic arithmetic?

- <https://quantum.country/qcvc> — Quantum computing for the very curious \[\*\*]

  - \[meta]:

    - date: 10/05/2025
    - tags: \["quantum"]
    - highlighted: true

  - By Andy Matuschak and Michael Nielsen

- <https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/> — Category Theory, Illustrated, Natural transformations

  - \[meta]:

    - date: 10/05/2025
    - tags: \["category theory"]

  - see also [category theory](/thoughts/category-theory)

- [youtube/v=e1xo6qWTmoc](https://www.youtube.com/watch?v=e1xo6qWTmoc\&ab_channel=OxfordMathematics) — Thesis Competition at Oxford Mathematics

  - \[meta]:

    - date: 07/29/2025
    - tags: \["topology","research"]

  - <https://youtu.be/e1xo6qWTmoc?si=U3esZ-Zq_DJy5Is1&t=134> — Surgery presentation on [bordism bicategories](/thoughts/bordism-bicategories)

- <https://www.benparry.ca/euler-integration-lotka-volterra> — Euler Integration & Lotka-Volterra

  - \[meta]:

    - date: 10/02/2025
    - tags: \["calculus"]

- <https://www.benparry.ca/lorenz-system> — The Lorenz System

  - \[meta]:

    - date: 10/02/2025
    - tags: \["chaos theory"]

- [youtube/v=O8WZVR3eCNQ](https://www.youtube.com/watch?v=O8WZVR3eCNQ\&ab_channel=InstituteforAdvancedStudy) — The adjoint Brascamp-Lieb inequality - Terence Tao

  - \[meta]:

    - date: 08/28/2025
    - tags: \["conjecture","algebra"]

- [youtube/v=PgPNfPhG4Wc](https://www.youtube.com/watch?v=PgPNfPhG4Wc\&ab_channel=StanfordOnline) — AA228/CS248 Decision Making Under Uncertainty | Policy Gradient Estimation & Optimization

  - \[meta]:

    - date: 08/28/2025
    - tags: \["ml","statistics"]

- [youtube/v=B83yIIaTq\_s](https://www.youtube.com/watch?v=B83yIIaTq_s\&ab_channel=SimonsFoundation) — Lisa Piccirillo: Exotic Phenomena in Dimension 4

  - \[meta]:

    - date: 07/29/2025
    - tags: \["topology"]

  - also [youtube/v=BXwALAkPubc](https://www.youtube.com/watch?v=BXwALAkPubc\&ab_channel=HarvardMathematicsDepartment)

  - Conway knot problem

- [youtube/v=i2acsy7Zzfo](https://www.youtube.com/watch?v=i2acsy7Zzfo\&ab_channel=HarvardMathematicsDepartment) — Random Matrix Statistics and Airy Line Ensembles, Jiaoyang Huang

  - \[meta]:

    - date: 08/28/2025
    - tags: \["statistics"]

- [youtube/v=QauoO0j9Y9Y](https://www.youtube.com/watch?v=QauoO0j9Y9Y\&ab_channel=InstituteforPure%26AppliedMathematics%28IPAM%29) — Terence Tao: The Erdős Discrepancy Problem

  - \[meta]:

    - date: 08/28/2025
    - tags: \["conjecture"]

- <https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/> — The Ruliology of Lambdas \[\*\*]

  - \[meta]:

    - date: 10/02/2025
    - tags: \["lambda calculus"]
    - highlighted: true