Thinking of doing competitive programming for this very reason.
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
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.
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?