Ask HN: Challenging math software for 8yo kid? · HackerTrans