One problem I see here is the desire to learn to code in some abstract sense, to prove something, even to understand CS, rather then starting from a simple proj

One problem I see here is the desire to learn to code in some abstract sense, to prove something, even to understand CS, rather then starting from a simple project and asking yourself what you absolutely need to learn to do it.