Comment by cuebits

3 hours ago

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

3 comments

cuebits

Reply

tcfhgj 3 hours ago

Why not just contribute to an open source project?

cuebits 2 hours ago

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

akkad33 3 hours ago

Lean the language?