Big goals:
- the pursuit of AGI
- physics simulations, including scientific visualization software
- formalization of mathematics
Just art:
- useless mathy stuff
- incredibly nifty little tools that are just so satisfying to use it is mind blowing:
- media related stuff
- FFmpeg one liners!