Terence Tao: A pilot project in universal algebra to explore new ways to collaborate and use machine assistance : math
https://archive.ph/TmpYm
Im still in the process of getting my undergrad in math. Is it worth learning lean? : math
https://archive.ph/CP43Z
Is Math documented... badly? : math
https://archive.ph/JKGFc
What do mathematical physicists do? : math
https://archive.ph/MIqqy
Professional mathematicians, knowing what you know now, what would you change about your learning strategy? : math
https://archive.ph/2E4Fj
How did you come to understand what math is about? : math
https://archive.ph/9XHKa
How do you retain knowledge long-term, especially complex topics? : math
https://archive.ph/cMXHT