Hello! I plan on making videos on the topics listed below. If you're interested in any of these, please subscribe!
1. Pure Mathematics and Logic
2. Proof Assistants and Formal Verification
3. Functional Programming (and a bit of Category Theory)
4. Applied Mathematics (mostly probability and statistics)
5. AI
For inquires, reach out at [email protected]
6:31
34:35
14:30