@azimir
All I will say is your kid is smart and you should be a very proud man :)
I suggest as a linux dude myself, keep encouraging him :D and as an extra suggestion if he wants to learn more about Linux see if he wants to try out arch linux because that has taught me a lot over the time I have used it :D