If he wants to go in to tech there’s little value in him being at school - nothing he’s gonna learn there will be of much use. Even the Unis in Aus are useless, I’ve been involved with mentoring students at that level and they’re being taught garbage which is totally disconnected from what is needed in the real world so they come out with these huge debts and can’t even perform basic jobs. They’re just there to be indoctrinated.

If he needs structured learning look into things like Saylor Academy https://learn.saylor.org

And Saifedean’s economics courses https://saifedean.com/courses

Even the courses from A Cloud Guru would be worth a look, at least they’re practical https://acloudguru.com

This might seem a bit advanced for 13 but I’m sure you could find a pathway to get him to this stuff (if he’s not there already) and at least it will be challenging, interesting, and give him REAL skills.

I sure wish I’d learned Austrian Economics in my teens. That’s one thing that would have really benefited me greatly but is nowhere to be found in standard curricula.