I had a good time at Russian math circle. It was competition math but also math proofs which helped instill rigor as a core concept. Which in turn helped when I started programming because really a lot of programming is about invariants and proofs of sort.