I do courses when I can, try some CS theory, some free resources here https://functionalcs.github.io/curriculum/ https://functionalcs.github.io/curriculum/ such

I do courses when I can, try some CS theory, some free resources here https://functionalcs.github.io/curriculum/ https://functionalcs.github.io/curriculum/ such as these undergraduate complexity theory lectures https://www.youtube.com/playlist?list=PLm3J0oaFux3YL5vLXpzOyJiLtqLp6dCW2 https://www.youtube.com/playlist?list=PLm3J0oaFux3YL5vLXpzOy... or this intro to dbms course https://www.youtube.com/playlist?list=PLSE8ODhjZXjYutVzTeAds8xUt1rcmyT7x https://www.youtube.com/playlist?list=PLSE8ODhjZXjYutVzTeAds... then try using a SQL automated prover http://cosette.cs.washington.edu/ http://cosette.cs.washington.edu/ Some more VIM resources, Vim as an IDE https://blog.jez.io/vim-as-an-ide/ https://blog.jez.io/vim-as-an-ide/ Lecture notes, entire course on vim and horrors that is vimscript http://www.contrib.andrew.cmu.edu/~haoxuany/vim/ http://www.contrib.andrew.cmu.edu/~haoxuany/vim/ Great stackoverflow post on grokking vi to understand vim https://stackoverflow.com/questions/1218390/what-is-your-most-productive-shortcut-with-vim/1220118#1220118 https://stackoverflow.com/questions/1218390/what-is-your-mos...