Comment by 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
2 hours ago
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?