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

Notes

• 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.

Links

• ​What does it feel like to invent math?​

• ​How to read Mathematics​

• ​The Banach–Tarski Paradox​

• ​John Conway: Genius Behind The Numbers​

• ​Moiré pattern in JavaScript - Beautiful.

• ​Tools for thought​

• ​Making things with maths​

• ​The Map of Mathematics​

• ​How to self learn math​

• ​Math books​

• ​Mathematics for Computer Science: Readings​

• ​mathematicalmonk YouTube playlists - A lot of stuff covered.

• ​How Grothendieck Simplified Algebraic Geometry​

• ​A new “Mathematician’s Apology”​

• ​Interesting theorems​

• ​Ask HN: How do I learn math/physics in my thirties?​

• ​Napkin Project​

• ​Learn Math Fast - Curated list of awesome mathematics resources.

• ​Russian wiki on math & finance​

• ​Math for CS MIT Course​

• ​MSC2010 - Huge catalog of math topics.

• ​Cambridge math notes​

• ​Mathematics as thought​

• ​Penrose - Language-based platform for creating beautiful mathematical diagrams.