Things I’m Learning
This is just where I dump (keep track of) my learning progress before they turn into actual projects.
Math
Model Theory
Trying to understand a paper on applying a restricted case of Zilber’s Trichotomy to the field of complex numbers
Natural Number Game
Looking into proof assistant for formalizing mathematics. I think model theory (and mathematical logic in general) is “under-formalized”!
Programming
Robotics
Speed running the course Modern Robotics on Coursera
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: