Hacker News
- Homotopy Type Theory and Higher Inductive Types http://www.science4all.org/article/homotopy-type-theory/ 31 comments
- How can a function have a well-defined first derivative but not a well-defined second derivative? http://www.science4all.org/le-nguyen-hoang/flat-torus/ 33 comments askscience
- Type Theory: A Modern Computable Paradigm for Math http://www.science4all.org/le-nguyen-hoang/type-theory/ 5 comments math
- The Tortuous Geometry of the Flat Torus http://www.science4all.org/le-nguyen-hoang/flat-torus/ 10 comments math
- The New Big Fish Called Mean-Field Game Theory http://www.science4all.org/le-nguyen-hoang/mean-field-games/ 4 comments math
- The Revolutionary Galois Theory http://www.science4all.org/le-nguyen-hoang/galois-theory/ 17 comments math
- Shannon's Information Theory http://www.science4all.org/le-nguyen-hoang/shannons-information-theory/ 11 comments math
- Proof by Induction with Fun Examples http://www.science4all.org/le-nguyen-hoang/proof-by-induction/ 5 comments math