Likewise, I have started doing Project Euler problems for fun, and to further my mathematics education.

also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether