Thinking of doing competitive programming for this very reason.

maxall4 an hour ago | parent | next [-]

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

cuebits 3 hours ago | parent | prev [-]

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 | parent | next [-]

Why not just contribute to an open source project?

	▲	cuebits 2 hours ago \| parent [-]
		i'm afraid the open source project would be better served if i made my contributions to it using AI

akkad33 2 hours ago | parent | prev [-]

Lean the language?