Lean, Univalent foundations and Type Theory are interesting. And 3Blue1Brown has incredible explanations for various math topics.

Math can be learned, it's just a bit silly to dive into a homotopy type theory book and expect to get a firm grasp of things. It's like picking up a Chinese news paper and expecting to get an idea of what its content is about.

Without understanding the domain, you cant read a text well. Without understanding the grammar you cant read a text. Without understanding the symbols you cant even figure out the grammar.

The prevailing view in modern mathematics is that structure is all that matters. i.e. isomorphic objects are really the same, they don't just look the same or act the same, they really are the same thing.

There's a set of basics that you will want no matter which direction you go: calculus/real analysis, linear algebra, differential equations/dynamical systems, and sets, groups, rings, and lattices.

Calculus: learn to extract qualitative information about a function (it goes up here, has a maximum there, goes down there, oscillates with an increasing period, goes to this value at infinity...) and to numerically compute quantitative information about it (its value at 3 is blah, its integral over this interval is blah, its maximum value is blah).

Linear algebra: vector spaces and linear operators, and their representation as vectors and matrices. Functions as forming infinite dimensional spaces, and Banach and inner product spaces.

Differential equations and dynamical systems: extending what we did for calculus to differential equations. Phase space, orbits, Fourier and Laplace transforms, sets of linear differential equations, numerical integration, some partial differential equations. You do not need all the little tricks for special kinds of equations that you will find in, say, Boyce and dePrima. They're not helpful.

Sets, groups, rings, and lattices. Mathematics today is written in terms of set theory. You need to understand the basics of manipulating sets and functions between them. Then you should know something about groups, rings, and lattices, which are the most ubiquitously useful algebraic structures besides vector spaces.

After that, where you go is going to vary enormously. Based on what you're aiming to do.

Some topics and books to learn from:

Topology (book by Munkres)

Real Analysis and Measure Theory (book series by Stein Shakarchi)

Algebra (book by Aluffi)

Linear Algebra (book by Friedberg Insel)

Measure Theoretic Probability (book by Cinlar)

Differential Geometry (book Smooth Manifolds by Lee)

Numerical Analysis (book by Quarteroni)

Set Theory and Propositional Logic (books by Goldrei)

Or these books for more fundamental basic knowledge:

Higher algebra - Hall and Knight

Trigonometry I - Loney

Coordinate geometry - Loney

Calculus of one variable - Maron

Moiré pattern in JavaScript - Beautiful.

mathematicalmonk YouTube playlists - A lot of stuff covered.

Learn Math Fast - Curated list of awesome mathematics resources.

MSC2010 - Huge catalog of math topics.

How to Science [Part 2: Our Universe = Math?] - Amazing series.

Curv - Language for making art using mathematics.

Beautiful Math - New book shows off spectacular works of art inspired by mathematical principles.

CoCalc - Collaborative Calculation in the Cloud.

nLab - Wiki-lab for collaborative work on Mathematics, Physics and Philosophy — especially from the n-point of view: in so far as these subjects are usefully treated with tools and notions of category theory or higher category theory.

MIT Mathematics for Computer Science course (2015) - Serves as an introduction to discrete mathematics, probability, and mathematical thinking for computer scientists.

Mathpendium - Discover the world of mathematics.

Fields Institute - International centre for scientific research in mathematical sciences at the University of Toronto.

Intuitive Explanations - Understand, don't memorize. (Code)

Math3ma - Math blog by Tai-Danae Bradley.

Project MOSAIC - Community of educators working to develop a new way to introduce mathematics, statistics, computation and modeling to students in colleges and universities.

BetterExplained - Clear, intuitive lessons about imaginary numbers, exponents, and more. (HN)

Imaginary - Place for Open and Interactive Mathematics.

Math Vault - Learn Higher Mathematics The Online Way.

MIT Math GitHub - Educational materials for MIT math courses.

Metamath - Tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.

Gurobi - Powerful mathematical optimization solver.

Maxima - Computer Algebra System.

Isomorphism - Mathematics of Programming book - Introduces the mathematics behind computer programming.

Algebraic Stacks Project - Collaborative web-based project writing a text book on algebraic stacks and the algebraic geometry that is needed to define them. (Code)

Mathcha - Online Math Editor.

Taught Course Centre - Collaboration between the Mathematics Departments of top UK universities. (Current Courses)

CalcuLaTeX - Pretty printing calculator language. (Code) (HN)

Byrne’s Euclid - First Six Books of The Elements of Euclid With Coloured Diagrams and Symbols.