Hacker News Reader

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?