Ask HN: Programming / Mathematical Software for Children?

Anyone have 'gamified' introductions to programming or mathematics, or even general problem solving? My kid is extremely young (he turns one soon) so I know I'm getting ahead of myself, but I wanted to know what educational software HN folks have deployed with success. These can be hand rolled solutions too. Just curious what works, what doesn't.