Hacker News Reader

Thinking of doing competitive programming for this very reason.

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

Why not just contribute to an open source project?

i'm afraid the open source project would be better served if i made my contributions to it using AI

Lean the language?

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