This is a collection of materials I find to be of general importance and interest to mathematicians
- "The Ideal Mathematician"
- Jacob Lurie on the levels of mathematical understanding
- Chris Kapulkin on one of the most interesting projects in mathematics today
- Jeremy Avigad on the interplay between mathematics and philosophy
- Statement on increasing diversity in the HoTT community
- Emily Riehl on the new educational prospects offered by the "dominance" of HoTT