Have an account? Sign in

Last updated 4 days ago

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.

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.

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