They need to make a show that creates a generation of autistic programmers in the same way Thomas the Tank Engine created a generation of autistic railfans. Something that isn't afraid to use technical language, but is still appealing to kids. Maybe it could be about robots who battle each other, and sometimes the robots win due to a clever application of lambda calculus or deterministic concurrency.