Он сам смышленый, но боюсь что книги для "больших дядей" могут быть слишком сложными для него.
Нет.
Смышленый ребенок вполне должен справиться с обычной документацией. Это очень важно научить ребенка читать документацию, а не книги.
Сейчас для него важнее изучить программирование в том виде, в котором он может писать что-либо рабочее, а не работу в команде или чистый код или кучи всякого другого.
Ведь 10 лет это еще математика 3-4 класса, для него будет в принципе открытием работа с массивами, списками, кортежами, понимание как работает http, банально понимание байтов, битов, кодировка, стек - вот это все.
Сейчас главное не книги ддя детей, а его мотивация что-либо делать и доводить до конца, чтобы он видел результаты своих попыток.
Будьте с ним чаще. Интересуйтесь и радуйтесь достижениям. Подсказывайте какие-то вещи.
А главное научите пользоваться поиском, правильными ресурсами и нетэтикету