Things I’m Learning
This is just where I dump (keep track of) my learning progress before they turn into actual projects.
Math
Natural Number Game
Looking into proof assistant for formalizing mathematics. I think model theory (and mathematical logic in general) is “under-formalized”!
Programming
C++
Even though C++ has always been my main language, I’ve never gotten the time to properly learn it in depth. That is about to change!
Robotics
Finished the course Modern Robotics on Coursera
The math is a little “incorrect” in the book, I prefer the book by Murray, Li, and Sastry called A Mathematical Introduction to Robotics Manipulation. Neither book talks about Lagrangian mechanics in any depth, and for that I recommend the all the classic Mathematical Methods of Classical Mechanics by Arnold!
Unity’s animation system
Resources:
-
Playlist on YouTube (~3 hours)
Physics Engines
Resources:
- Ian Millington’s book
- Real Collision Detection (to read)
Cool to play with: