← Back to context Comment by ridiculous_leke 2 hours ago Thinking of doing competitive programming for this very reason. 5 comments ridiculous_leke Reply maxall4 1 hour ago Likewise, I have started doing Project Euler problems for fun, and to further my mathematics education. cuebits 2 hours ago also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether tcfhgj 2 hours ago Why not just contribute to an open source project? cuebits 1 hour ago i'm afraid the open source project would be better served if i made my contributions to it using AI akkad33 2 hours ago Lean the language?
maxall4 1 hour ago Likewise, I have started doing Project Euler problems for fun, and to further my mathematics education.
cuebits 2 hours ago also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether tcfhgj 2 hours ago Why not just contribute to an open source project? cuebits 1 hour ago i'm afraid the open source project would be better served if i made my contributions to it using AI akkad33 2 hours ago Lean the language?
tcfhgj 2 hours ago Why not just contribute to an open source project? cuebits 1 hour ago i'm afraid the open source project would be better served if i made my contributions to it using AI
cuebits 1 hour ago i'm afraid the open source project would be better served if i made my contributions to it using AI
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?